Tropos 1 at the Age of Eight: On-going Research at FBK, UniTN and UT (2009)
Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Abstract. The Tropos project was launched in the Spring of 2000. Its aim has been to establish a methodology for building agent-oriented software systems. The methodology that has emerged is founded...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, James R. Cordy, John Mylopoulos
The increasing complexity of software systems and growing demand for regulations compliance require effective methods and tools to support requirements analysts activities. Internationalization of...
Automating the Extraction of Rights and Obligations for Regulatory Compliance (2009)
Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, ...
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, companies and...
Information Systems Analysis and Design csc340 (2009)
Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos
Information Acquisition � The term “Information Acquisition ” should not suggest that the information needed by the analyst is explicitly available somewhere (document, someone’s head,...)...
Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Pistore, Marco Roveri, Paolo Traverso
afuxman,liu,jm�
Neil A. Ernst, Greg A. Jamieson, John Mylopoulos
Analysis (CWA) framework) could be applied in requirements engineering. We introduce an existing RE toolkit, the ι * modeling framework, and compare it with the CWA framework. The paper concludes...
08412 Seminar Outlines and Working Group Summaries (2009)
Jarke, Matthias, Lyytinen, Kalle, Mylopoulos, John, Kappel, Gerti, Mark, Gloria, ...
This document gives a motivation for this perspective seminar within the Science of Design initiative, as well as an outline of the participants, agenda, sessions, and presentations. Furthermore, the...
Jarke, Matthias, Lyytinen, Kalle, Mylopoulos, John
This document gives a brief motivation for and summary of the perspectives workshop "Science of Design - High-Impact Requirements for Software-Intensive Systems". The workshop was held in Schloss...
The Logic of Requirements (2009)
Requirements consist of (a) domain assumptions, (b) hard goals, (c) quality constraints, (d) possibly prioritized preferences. The very core of Requirements Engineering consists of the following...
08412 Manifesto -- High-Impact Requirements for Software-Intensive Systems (2009)
Jarke, Matthias, Loucopoulos, Pericles, Lyytinen, Kalle, Mylopoulos, John, Robinson, William
Despite its undoubted success in the last two decades, requirements engineering (RE) needs a better alignment between its research focus and its grounding in practical needs as these needs have...
Jarke, Matthias, Lyytinen, Kalle, Mylopoulos, John
From 08.10. to 11.10.2008, the Dagstuhl Seminar 08412 ``Science of Design : High-Impact Requirements for Software-Intensive Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics....
Conceptual Modeling CSC2507 (2008)
Alex Borgida, John Mylopoulos, Alex Borgida, John Mylopoulos, Alex Borgida, John Mylopoulos, ...
■ Gottlob Frege studied them first in the late 1890s, followed by Bertrand Russell and others [Feigl49]. ■ A description refers to things in the application; descriptions may be definite or...
Conceptual Modeling CSC2507 (2008)
Bowen Hui, Sotirios Liaskos, John Mylopoulos, Stephen Fickas
Software for for Oi Oi Polloi Polloi ■ We are interested in designing software that is usable by any member of a user community, e.g., � An email system for people with a brain injury; � An...
Use Use Case Case Diagrams Diagrams (2008)
■ UML was conceived as a language for modeling software. Since this includes requirements, UML supports world modeling (...at least to some extend). ■ UML offers a variety of diagrammatic...
John Mylopoulos, John Mylopoulos, John Mylopoulos, John Mylopoulos
� The Extended Entity-Relationship (EER) model is a conceptual (or semantic) data model, capable of describing the data requirements for a new information system in a direct and easy to understand...
Information Systems Analysis and Design csc340 (2008)
Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos
� The term “Information Information Acquisition ” Acquisition should not suggest that the information needed by the analyst is explicitly available somewhere (document, someone’s head,...)...
ABSTRACT An Automated Approach to Monitoring and Diagnosing Requirements (2008)
Yiqiao Wang, Yijun Yu, John Mylopoulos
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Requirement Engineering...
Information Systems Analysis and Design csc340 (2008)
Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos
Information Acquisition � “Information acquisition ” refers to the task of capturing all sorts of relevant information about how things are currently done, including: �Information flow...
Information Systems Analysis and Design csc340 (2008)
Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos, Jaelson Castro, John Mylopoulos
Information Acquisition � “Information acquisition ” refers to the task of capturing all sorts of relevant information about how things are currently done, including: �Information flow...
Literature programming – tool support for authoring and reviewing a scientific paper (2008)
Yijun Yu, Markus Strohmaier, Greg Mcarthur, Jianguo Lu, John Mylopoulos
Abstract. Authoring or reviewing a scientific paper is tedious to avoid or to locate presentational errors. Errors such as spelling, grammar can be checked by existing tools, whereas structural...
Tomas: a system for adapting mappings while schemas evolve (2008)
Yannis Velegrakis, Renée J. Miller, Lucian Popa, John Mylopoulos
A broad variety of data is available on the Web in distinct heterogeneous sources, stored under different formats: database formats (relational), document formats (SGML/XML), browser formats (HTML),...
-- structuring facilities, assertions, time, influenced by SADT™; never implemented, but widely referenced. ■ CML:Conceptual CML:Conceptual Modeling Modeling Language Language [Stanley86,...
Yuan An, Alex Borgida, John Mylopoulos
There is general agreement that the problem of data semantics has to be addressed for XML data to become machine-processable. This problem can be tackled by defining a semantic mapping between an XML...
Categories and Subject Descriptors (2008)
Ivan J. Jureta, Wamberto Vasconcelos, Martin Kollingbaum, John Mylopoulos, Stéphane Faulkner
The engineering of heterogenous distributed systems is a complex task. Traditional software engineering methods fail to account for new demands of flexibility and adaptability in the construction of...
Goal-Oriented Conceptual Database Design (2008)
Lei Jiang, Thodoros Topaloglou, Alex Borgida, John Mylopoulos
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goal analysis to...
Managing Knowledge for Strategic Business Analysts: The Executive Information Portal (2008)
John Mylopoulos, Attila Barta, Raoul Jarvis, Patricia Rodriguez-gianolli, Shun Zhou
Abstract. Strategic business analysts keep track of trends that are relevant to their organization and its strategic objectives. To accomplish their mission, they monitor news stories and other...
From Goals to High-Variability Software Design (2008)
Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos
Abstract. Software requirements consist of functionalities and qualities to be accommodated during design. Through goal-oriented requirements engineering, stakeholder goals are refined into a space...
Abstract Tracing and Validating Goal Aspects (2008)
Yijun Yu, John Mylopoulos, Nan Niu, Steve Easterbrook
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects identified during...
John Mylopoulos, John Mylopoulos Er
� Information models offer primitives for modeling (information about) an application. � Physical (information) models offer computer-inspired primitives, such as file, record, pointer,… �...
ABSTRACT From Stakeholder Intentions to Agent Capabilities (2008)
Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
Agents behavior at run time is influenced by the environment within which they operate, so designing agents able to behave in an effective way should benefit from a deep knowledge of that...
Weidong Kou, David Lauzon, Kelvin Cheung, Richard Gregory, Kostas Kontogiannis, Teo Loo See, ...
In this paper, we discuss an electronic business application framework and its related architecture. The framework is presented in the form of a prototype system which illustrates how XML tools can...
Data semantics revisited (2008)
Abstract. The problem of data semantics is establishing and maintaining the correspondence between a data source and its intended subject matter. We review the long history of the problem in...
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
We are interested in peer-to-peer (P2P) computing, where a P2P application consists of a (wireless) network of nodes (peers), and assumes full peer autonomy, no global control, and intermittent...
Abstract Information Modeling in the Time of the Revolution 1 (2008)
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understandable and useful to...
Deriving Multi-Agent Organisational Architectures from Requirements (2008)
Jaelson Castro, John Mylopoulos, Trento Italy
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. Our aim is to be able...
ToMAS: Mapping Adaptation Under Evolving Schemas ∗ (2008)
Yannis Velegrakis, Renée J. Miller, Lucian Popa, John Mylopoulos
To achieve interoperability, modern information systems and e-commerce applications use mappings to translate data from one representation to another. In dynamic environments like the Web, data...
AN OVERVIEW OF A PROCEDURAL APPROACH TO SEMANTIC NETWORKS (2008)
Hector J. Levesque, John Mylopoulos
The purpose of this short paper is to summarize the salient features of a formalism for the construction and use of a model representing knowledge of some domain. For a much more detailed exposition,...
From Early Requirements to Late Requirements: A goal-based approach 1 (2008)
Alicia Martínez, Oscar Pastor, John Mylopoulos, Paolo Giorgini
Abstract. At present, the software engineering community places emphasis on the relevance of understanding the organizational context before starting the development of an information system. In this...
Conceptual Modelling and Telos 1 (2008)
We review basic premises underlying the application of conceptual modelling to the development of information systems and point out a fundamental problem arising from the broad range of concepts that...
Improving the build architecture of legacy C/C++ software systems (2008)
Homayoun Dayani-fard, Yijun Yu, John Mylopoulos, Periklis Andritsos
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loosely defined by a set...
The VLDB Journal 5: 238–263 (1996) Building knowledge base management systems (2008)
John Mylopoulos, Vinay Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou
Abstract. Advanced applications in fields such as CAD, software engineering, real-time process control, corporate repositories and digital libraries require the construction, efficient access and...
References [1] Jean-Raymond Abrial. The B-Book: Assigning Programs to Meanings. (2008)
Sten Agerhold, Peter Gorm, Larsen The, Ifad Vdm Lightweight, Werner Stephan, Paolo Traverso, ...
problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10):785–798, 1995. [8] E.J.H. Chang and R. Roberts. An improved algorithm for decentralized extrema-finding in...
Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Pistore, Marco Roveri, Paolo Traverso
afuxman,liu,jm�
Lei Jiang, Alex Borgida, Thodoros Topaloglou, John Mylopoulos
Abstract: We present a design process for incorporating data quality requirements into database schemas that is rooted in goal-oriented requirements analysis techniques, developed in the Requirement...
Neil A. Ernst, Greg A. Jamieson, John Mylopoulos
Analysis (CWA) framework) could be applied in requirements engineering. We introduce an existing RE toolkit, the ι * modeling framework, and compare it with the CWA framework. The paper concludes...
AGENT CAPABILITY: AUTOMATING THE DESIGN TO CODE PROCESS (2008)
Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as well as to user...
Object-Oriented Modeling-- 2 Conceptual Modeling CSC2507 (2008)
■ OOA is a collection of like-minded requirements modeling and analysis techniques for software systems. ■ Proposed in the late ‘80s, such techniques have been influenced primarily by...
Tropos 1 at the Age of Eight: On-going Research at FBK, UniTN and UT (2008)
Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Abstract. The Tropos project was launched in the Spring of 2000. Its aim has been to establish a methodology for building agent-oriented software systems. The methodology that has emerged is founded...
John Mylopoulos, Philip A. Bernstein
TAXIS, a language for the design of interactive information systems (e.g., credit card verification, student-course registration, and airline reservations) is described. TAXIS offers (relational)...
Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik
Large knowledge bmes that are intended for applications such as CAD, corporate repositories or process control will have to be shared by multiple users. For these systems to scale up, to give...
Quality-Based Software Reuse (2008)
Julio Cesar, Sampaio Prado Leite, Yijun Yu, Lin Liu, John Mylopoulos
Abstract. Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common view. We...
Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey
is being developed to establish a framework for the recognition of time varying signals of a complex repetitive nature, such as electrocardiograms (ECGs). Using a stratified knowledge base the CAA...
Abstract. Decision Making in Uncertain Real-World Domains Using DT-Golog 1 (2008)
Mikhail Soutchanski, Huy Pham, John Mylopoulos
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decision Processes (MDPs)...
Semantic Web Services: Facts and Fiction (2008)
John Mylopoulos, Maria E. Orlowska
Panel co-chairs Semantic web services are web services with associated semantic descriptions. These descriptions will make it possible for other programs to select, compose and monitor web services...
Using Goals, Rules, and Methods to Support Reasoning (2008)
Abstract One step towards a more systematic approach to the design of business processes is to develop models that provide appropriate representations of the knowledge that is needed for...
� Socio-Technical Approach (2008)
Fabio Massacci, John Mylopoulos, Nicola Zannone
� Data processing � Data protection � Data security An Ontology for Secure Socio-Technical Systems i Security is often compromised by exploiting vulnerabilities in the interface between the...
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
We are interested in peer-to-peer (P2P) computing, where a P2P application consists of a (wireless) network of nodes (peers), and assumes full peer autonomy, no global control, and intermittent...
Computer-Aided Support for Secure Tropos (2008)
Fabio Massacci, John Mylopoulos, Nicola Zannone
Abstract. In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of security...
Data Sharing in the Hyperion Peer Database System (2008)
Patricia Rodríguez-gianolli, Maddalena Garzetti, Lei Jiang, Anastasios Kementsietsidis, Iluju Kiringa, Mehedi Masud, ...
This demo presents Hyperion, a prototype system that supports data sharing for a network of independent Peer Relational Database Management Systems (PDBMSs). The nodes of such a network are assumed...
● Architectural design ● Detailed design (2008)
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone, An Extensional Database
A CASE tool for securityaware software
Making XML document markup international (2008)
Yijun Yu, Jianguo Lu, John Mylopoulos, Jing-hao Xue, Erik H. D’holl
In name and in practice, the World-Wide Web (hereafter Web) is used around the World beyond English-speaking areas. This creates a tremendous need to internationalize standard terminology used in the...
Fernanda Alencar Jaelsoncastro, A Alencar, Gilberto Cysneiros, John Mylopoulos
Requirements capture has been acknowledged as a critical phase of software development, precisely because it is the phase which deals not only with technical knowledge, but also with organizational,...
Towards Agent-Oriented Software Development (2008)
Jaelson Castro, Manuel Kolp, John Mylopoulos
Agent-oriented computing is emerging as a powerful new paradigm that might be the cornerstone for the next generation of software like e-business systems. Naturally, defining accurate development...
March Vol No, Data Mining, Techniques Personalization, Charu C. Aggarwal, Philip S. Yu, Personal Views, ...
This paper discusses an overview of data mining techniques for personalization. It discusses some of the standard techniques which are used in order to adapt and increase the ability of the system to...
Higher Order Generalization and Its Application in Program Verification (2007)
Jianguo Lu John, John Mylopoulos, Masateru Harao, Masami Hagiya
This paper discusses syntactic higher order generalization in a higher order language 2[1]. Based on the application ordering,
Alex Borgida, John Mylopoulos, Raymond Reiter
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem which is particularly...
The Local Relational Model: Model and Proof Theory (2007)
Scientifica E Tecnologica, Serafini L, Giunchiglia F, Mylopoulos J, Bernstein P. A, Luciano Sera Ni, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Model Checking Early Requirements Specifications in Tropos (2007)
Scientifica E Tecnologica, Fuxman A, Pistore M, Mylopoulos J, Traverso P, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
The Tropos Software Development Methodology: Processes, Models and Diagrams (2007)
Scientifica E Tecnologica, Giunchiglia F, Mylopoulos J, Perini A, Fausto Giunchiglia, John Mylopoulos, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Towards an Agent Oriented approach to Software Engineering (2007)
Scientifica E Tecnologica, Perini A, Bresciani P, Giorgini P, Giunchiglia F, Mylopoulos J, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Istituto Trentino di Cultura, 2001 LIMITED DISTRIBUTION NOTICE (2007)
Scientifica E Tecnologica, Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Information Systems Engineering: The Tropos Project (2007)
Jaelson Castro, Manuel Kolp, John Mylopoulos
Information systems of the future will have to perform well within ever-changing organizational environments. Unfortunately, existing software development methodologies (object-oriented, structured...
Manuel Kolp, Paolo Giorgini, John Mylopoulos
We propose architectural styles for multi-agent systems motivated by organization theory. One of them is discussed in the paper. Categories and Subject Descriptors
The Challenge of Change (2007)
Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Mike Papazoglou, ...
Dealing with change is one of the most fundamental challenges facing information systems professionals today. Business process restructuring, shifting alliances and new competitors, deregulation and...
Agent-Oriented Software Development: A Case Study (2007)
Scientifica E Tecnologica, Giorgini P, Perini A, Mylopoulos J, Giunchiglia F, Bresciani P, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
A Knowledge Level Software Engineering Methodology for Agent Oriented Programming (2007)
Scientifica E Tecnologica, Perini A, Giunchiglia F, Mylopoulos J, Bresciani P, Giorgini P, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani
We are developing a methodology, called Tropos, for building agent-oriented software systems. The methodology covers five software development phases: early requirements analysis, late requirements...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
a transformation based approach
Towards requirements-driven software development methodology: The tropos project (2007)
Jaelson Castro, Manuel Kolp, John Mylopoulos
We propose a software development methodology which is founded on concepts used to model early requirements. Our proposal adopts the i * modeling framework [21], which offers the notions of actor,...
Complexity and Criticality Analysis (2007)
Scientifica E Tecnologica, Garzetti M, Giorgini P, Mylopoulos J, Sannicolo F, Maddalena Garzetti, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
A Alencar, Gilberto Cysneiros, John Mylopoulos
Abstract. Requirements capture has been acknowledged as a critical phase of software development, precisely because it is the phase which deals not only with technical knowledge, but also with...
Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Pistore, Marco Roveri, Paolo Traverso
afuxman,liu,jm�
Abstract Information Systems as Social Structures (2007)
Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos
Organizations are changing at an ever-faster pace, as they try to keep up with globalization and the information revolution. Unfortunately, information systems technologies do not support system...
Specifying and Analyzing Early Requirements: Some Experimental Results (2007)
Scientifica E Tecnologica, Fuxman A, Liu L, Pistore M, Roveri M, Mylopoulos J, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
John Mylopoulos, Ariel Fuxman, Paolo Giorgini
Abstract. Modeling social settings is becoming an increasingly important activity in software development and other conceptual modeling applications. In this paper, we review i * [Yu95], a conceptual...
Abstract Software Architectures as Organizational Structures (2007)
This paper proposes a set of concepts for describing a software architecture as an organization. These social structures consist of actors who have goals to fulfil and social dependencies describing...
Specifying and Analyzing Early Requirements in Tropos (2007)
Scientifica E Tecnologica, Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Pistore, ...
This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its...
Requirements-driven design and configuration management of business processes (2007)
Alexei Lapouchnian, Yijun Yu, John Mylopoulos
Abstract. The success of a business process (BP) depends on whether it meets its business goal as well as non-functional requirements associated with it. BP specifications frequently need to...
J.R.: A lightweight approach to semantic annotation of research papers (2007)
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, John Mylopoulos, James R. Cordy
Abstract. This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Requirements-driven design and configuration management of business processes (2007)
Alexei Lapouchnian, Yijun Yu, John Mylopoulos
Abstract. The success of a business process (BP) depends on whether it meets its business goal as well as non-functional requirements associated with it. BP specifications frequently need to...
Designing security requirements models through planning (2006)
Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone
Abstract. The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mechanisms...
Risk Modelling and Reasoning in Goal Models (2006)
John Mylopoulos, Yudistira Asnar, Yudistira Asnar, Paolo Giorgini, Paolo Giorgini
In software engineering, risks are usually considered and analysed during, or even after, the design of the system. This approach can lead to the problem of accommodating necessary countermeasures in...
Requirements-Driven Design of Autonomic Application Software (2006)
Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are...
Requirements analysis for socio-technical systems: Exploring and evaluating alternatives (2006)
Volha Bryl, Paolo Giorgini, John Mylopoulos, Volha Bryl, Paolo Giorgini
Early requirements analysis focuses on stakeholders and their goals, and explores alternative ways of fulfilling them through networks of actor delegations. The i * modeling framework is a popular...
A Multi-View Framework for Organizational Patterns (2006)
Enzo Colombo, John Mylopoulos, Enzo Colombo, John Mylopoulos
Abstract. From the original work proposed by Gamma, design patterns have provided an important contribution to the development of well-structured software systems. This paper studies patterns...
Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations (2006)
John Mylopoulos, Nicola Zannone
The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy-aware technologies. Among...
Detecting Conflicts of Interest (2006)
Paolo Giorgini Fabio, Fabio Massacci, John Mylopoulos, Nicola Zannone
System vulnerabilities are often caused by the presence of conflicts within the organization where the system-to-be will eventually operate. In particular, conflicts of interest are very harmful...
Requirements Engineering for Trust Management: Model, Methodology, and Reasoning (2006)
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizational level, as opposed to an...
From Hippocratic Databases to Secure Tropos: A Computer-Aided Re-Engineering Approach (2006)
Fabio Massacci, John Mylopoulos, Nicola Zannone
this paper is to propose a re-engineering approach and algorithms for automatically extracting privacy requirements from policy statements stored in existing Hippocratic databases. These are then...
Designing Security Requirements Models (2006)
Through Planning Volha, Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mechanisms for...
Designing Security Requirements Models through (2006)
Planning Volha Bryl, Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process.
Text Mining through Semi Automatic Semantic Annotation (2006)
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos
The Web is the greatest information source in human history.
Detecting Conflicts of Interest (2006)
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
System vulnerabilities are often caused by the presence of conflicts within the organization where the system-to-be will eventually operate. In particular, conflicts of interest are very harmful...
Designing cooperative IS: Exploring and evaluating alternatives (2006)
Volha Bryl, Paolo Giorgini, John Mylopoulos
Abstract. At the early stages of the cooperative information system development one of the major problems is to explore the space of alternative ways of assignment and delegations of goals among...
A Tropos Model-Driven Development Environment. CAiSE 2006 Forum proceedings (2006)
Davide Bertolini, Loris Delpero, John Mylopoulos, Aliaksei Novikau, Loris Penserini, Anna Perini, ...
Abstract. This short paper illustrates a development environment supporting the use of the Tropos methodology for building complex Multi-Agent Systems, starting from the early requirements...
On Goal-based Variability Acquisition and Analysis (2006)
Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Eric Yu, John Mylopoulos
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based on the semantic...
Requirements-Driven Design of Autonomic Application Software (2006)
Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are...
Building semantic mappings from databases to ontologies (2006)
A recent special issue of AI Magazine (AAAI 2005) was dedicated to the topic of semantic integration — the problem of sharing data across disparate sources. At the core of the solution lies the...
Designing cooperative IS: Exploring and evaluating alternatives (2006)
Volha Bryl, Paolo Giorgini, John Mylopoulos
Abstract. At the early stages of the cooperative information system development one of the major problems is to explore the space of alternative ways of assignment and delegations of goals among...
Discovering the Semantics of Relational Tables Through Mappings (2006)
Yuan An, Alex Borgida, John Mylopoulos
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relationship...
Fabio Massacci, John Mylopoulos, Nicola Zannone, Fabio Massacci, John Mylopoulos, Nicola Zannone
The protection of customer privacy is a fundamental issue in today’s corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy-aware technologies. Among...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone, Paolo Giorgini, John Mylopoulos, ...
When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social levels define the structure of...
Tropos: A Requirements-Driven Methodology for Agent-Oriented Software (2005)
Jaelson Castro, Paolo Giorgini, Manuel Kolp, John Mylopoulos
Software systems of the future will have to perform well within ever-changing organizational environments. Unfortunately, existing software development methodologies (object-oriented, structured or...
Yuan An, Alex Borgida, John Mylopoulos
Abstract. There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual model or...
Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Yijun Yu
4. Towards autonomic computing systems
Towards requirements-driven autonomic systems design (2005)
Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Yijun Yu
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are...
Yijun Yu, Yiqiao Wang, Sotirios Liaskos, Alexei Lapouchnian, John Mylopoulos, Ying Zou, ...
Proceedings of the 1 st International Workshop on Proceedings of the 1st International Workshop on
Constructing Complex Semantic Mappings Between XML Data and Ontologies (2005)
Yuan An, Alex Borgida, John Mylopoulos
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. Interpretation is...
General Information-- 1 (2005)
John Mylopoulos, Conceptual Modelling, C Sc, John Mylopoulos, Conceptual Modelling, ...
� Survey paper covers a topic and includes material from 2-3 (or more) papers. The paper should be ≤15 pages long, and should be written for a non-expert on the topic (I.e., include examples,...
RETR: reverse engineering to requirements (2005)
Yijun Yu, John Mylopoulos, Ying Zou, Marin Litiou, Yiqiao Wang, ...
Reverse engineering aims at extracting many kinds of information from existing software and using this information for system renovation and program under-standing. The goal of this full day...
Modeling Security Requirements Through Ownership, Permission and Delegation (2005)
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone, Paolo Giorgini, Fabio Massacci, ...
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements phase. Methodologies in...
Semi-Automatic Semantic Annotations for Web Documents (2005)
Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos
Semantic annotation of the web documents is the only way to make the Semantic Web vision a reality. Considering the scale and dynamics of worldwide web, the largest knowledge base ever built, it...
Informatica 29 (2005) 401--408 401 (2005)
The Tropos Metamodel, Angelo Susi, Anna Perini, John Mylopoulos, Paolo Giorgini
this paper, we present the Tropos metamodel starting from the basic concepts of actor, goal, plan, resource and social dependency and then we illustrate its use by introducing an extension intended...
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation (2005)
Fabio Massacci, John Mylopoulos, Nicola Zannone
Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missing from the proposed...
Modeling Social and Individual Trust in (2005)
Requirements Engineering Methodologies, Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
When we model and analyze trust in organizations or information systems we have to take into account two di#erent levels of analysis: social and individual. Social levels define the structure of...
Modeling Security Requirements through Ownership, Permission and Delegation (2005)
Paolo Giorgini, Fabio Massacci, John Mylopoulos
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements phase. Methodologies in...
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text (2005)
Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos
Software analysis techniques, and in particular software "design recovery", have been highly successful at both technical and businesslevel semantic markup of large scale software systems...
Semi-Automatic Semantic Annotations for Web Documents (2005)
Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos
Semantic annotation of the web documents is the only way to make the Semantic Web vision a reality. Considering the scale and dynamics of worldwide web, the largest knowledge base ever built, it...
Modelling Social and Individual Trust in Requirements Engineering Methodologies (2005)
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social levels define the...
Goal-oriented requirements analysis and reasoning in the tropos methodology (2005)
Paolo Giorgini, John Mylopoulos, Roberto Sebastiani
Abstract. Tropos is an agent-oriented software methodology proposed in [1, 2]. The methodology is founded on the notions of agent and goal, and goal analysis is used extensively to support software...
Translating xml web data into ontologies (2005)
Abstract. Translating XML data into ontologies is the problem of finding an instance of an ontology, given an XML document and a specification of the relationship between the XML schema and the...
Reverse Engineering Goal Models from Legacy Code (2005)
Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio Cesar, ...
Requirements-Driven Configuration of Software Systems (2005)
Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos
Configuring large-scale software to meet different user requirements is a challenging process, since endusers do not know the technical details of the system in the first place. We present an...
Fabio Massacci, John Mylopoulos, Nicola Zannone, Fabio Massacci, John Mylopoulos, Nicola Zannone
Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missing from the proposed...
Yuan An, Alex Borgida, John Mylopoulos
Abstract. There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual model or...
On the Usage of Global Document Occurrences in Peer-to-Peer Information Systems (2005)
Papapetrou, Odysseas, Michel, Sebastian, Bender, Matthias, Weikum, Gerhard, Meersman, Robert, Tari, Zahir, ...
There exist a number of approaches for query processing in Peer-to-Peer information systems that efficiently retrieve relevant information from distributed peers. However, very few of them take into...
The Tropos Methodology: an overview (2004)
Paolo Giorgini, Manuel Kolp, John Mylopoulos, Marco Pistore
Abstract. The objective of this paper is to give an overview of Tropos methodology. Tropos is based on two key ideas. First, the notion of agent and related mentalistic notions, such as goals and...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
Abstract. The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the organization...
Simple and minimum-cost satisfiability for goal models (2004)
Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a formal framework...
Ontologies for Knowledge Management: An (2004)
■ Conceptual modeling languages and techniques have been used to model parts of a software system and its operating environment. Knowledge Management is a new inter-disciplinary research areas...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone, Paolo Giorgini, John Mylopoulos, ...
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the organization and system...
Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning (2004)
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
Abstract. The last years have seen a number of proposals to incorporate Security Engineering into mainstream Software Requirements Engineering. However, capturing trust and security requirements at...
Simple and minimum-cost satisfiability for goal models (2004)
Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a formal framework...
From Goals to Aspects: Discovering Aspects from Requirements Goal Models (2004)
Yijun Yu Julio, Julio Cesar, Sampaio Prado Leite, John Mylopoulos
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer concerns, such as...
Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning (2004)
Paolo Giorgini, Paolo Giorgini, John Mylopoulos, John Mylopoulos, Fabio Massacci, Fabio Massacci, ...
The last years have seen a number of proposals to incorporate Security Engineering into mainstream Software Requirements Engineering. However, capturing trust and security requirements at an...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the organization and system...
From Goals to Aspects: Discovering Aspects from Requirements Goal Models (2004)
Yijun Yu, Julio Cesar, Sampaio Prado Leite, John Mylopoulos
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer concerns, such as...
NLP-Based Requirements Modeling: Experiments on the Quality of the models ∗ (2004)
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos, Nadzeya Kiyavitskaya, Nicola Zeni, ...
Tropos: An Agent-Oriented Software Development Methodology (2003)
Scientifica E Tecnologica, Bresciani P, Giorgini P, Giunchiglia F, Mylopoulos J, Perini A, ...
This report has been submittedforted 17881 outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Reportfort 17 dissemination of its contents....
Formal reasoning techniques for goal models (2003)
Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
Abstract. Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI...
Removing false code dependencies to speedup software development processes (2003)
Yijun Yu, Homy Dayani-fard, John Mylopoulos
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code files. In many cases,...
Detailing Architectural Design in the Tropos Methodology (2003)
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in social and intentional...
OntoLT: A protégé plug-in for ontology extraction from text (2003)
John Mylopoulos, Paul Buitelaar, Daniel Olejnik, Michael Sintek, Emanuele Della Valle, Paolo Castagna, ...
Copyright on individual papers, abstracts and summaries is retained by the respective author(s).
Paolo Giorgini, Fabio Massacci, John Mylopoulos
Abstract. Computer Security is one of today’s hot topic and the need for conceptual models of security features have brought up a number of proposals ranging from UML extensions to novel conceptual...
Organizational patterns for early requirements analysis (2003)
Manuel Kolp, Paolo Giorgini, John Mylopoulos
Abstract. Early requirements analysis is concerned with modeling and understanding the organizational context within which a software system will eventually function. This paper proposes...
Requirements analysis for customizable software: A goals-skills-preferences framework (2003)
Bowen Hui, Sotirios Liaskos, John Mylopoulos
Abstract Software customization has been argued to benefit both the productivity of software engineers and end users. However, most customization methods rely on specialists to manually tweak...
Yuan An, John Mylopoulos, Alex Borgida
The goal of this paper is to investigate the enduring problem of data semantics recurred in the context of data integration and the semantic web. The investigation is based on two principles,...
Specifying and Analyzing Early Requirements: Some Experimental Results (2003)
Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
afuxman,liu,jm� Formal Tropos is a specification language for early requirements. It is based on concepts from an agent-oriented early requirement model framework (i*) and extends them with a rich...
Paolo Giorgini, Paolo Giorgini, Fabio Massacci, Fabio Massacci, John Mylopoulos, John Mylopoulos
Abstract. Computer Security is one of today’s hot topic and the need for conceptual models of security features have brought up a number of proposals ranging from UML extensions to novel conceptual...
Local relational model: A logical formalization of database coordination (2003)
Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A Bernstein, L. Serafini, F. Giunchiglia, ...
Abstract. We propose a new data model intended for peer-to-peer (P2P) databases. The model assumes that each peer has a (relational) database and exchanges data with other peers (its acquaintances)....
Paolo Giorgini, Fabio Massacci, John Mylopoulos
Abstract. Computer Security is one of today’s hot topic and the need for conceptual models of security features have brought up a number of proposals ranging from UML extensions to novel conceptual...
Specifying and Analyzing Early Requirements: Some Experimental Results (2003)
Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
afuxman,liu,jm� Formal Tropos is a specification language for early requirements. It is based on concepts from an agent-oriented early requirement model framework (i*) and extends them with a rich...
The Hyperion Project: From Data Integration to Data Coordination (2003)
Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renee J. Miller, John Mylopoulos
We present an architecture and a set of challenges for peer database management systems. These systems team up to build a network of nodes (peers) that coordinate at run time most of the typical DBMS...
Integrating Organizational Requirements and Socio-Intentional Architectural Styles (2003)
Lcia Bastos Jaelson, John Mylopoulos
Software systems of today are characterized by increasing size, complexity, distribution, heterogeneity, and lifespan. Understanding and supporting the interaction between software requirements and...
Coordinating Peer Databases Using ECA Rules (2003)
Vasiliki Kantere Iluju, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas
Peer databases are stand-alone, independently developed databases that are linked to each other through acquaintances. They each contain local data, a set of mapping tables and expressions, and a set...
Specifying and Analyzing Early Requirements: Some Experimental Results (2003)
Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
Formal Tropos is a specification language for early requirements. It is based on concepts from an agent-oriented early requirement model framework (i*) and extends them with a rich temporal...
Security and Privacy Requirements Analysis within a Social Setting (2003)
Lin Liu, Eric Yu, John Mylopoulos
Security issues for software systems ultimately concern relationships among social actors-stakeholders, system users, potential attackers- and the software acting on their behalf. This paper proposes...
Organizational patterns for early requirements analysis (2003)
Manuel Kolp, Paolo Giorgini, John Mylopoulos
Abstract. Early requirements analysis is concerned with modeling and understanding the organizational context within which a software system will eventually function. This paper proposes...
Security and Privacy Requirements Analysis within a Social Setting (2003)
Lin Liu, Eric Yu, John Mylopoulos
Security issues for software systems ultimately concern relationships among social actors-stakeholders, system users, potential attackers- and the software acting on their behalf. This paper proposes...
Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis (2002)
Maddalena Garzetti, Paolo Giorgini, John Mylopoulos, Fabrizio Sannicolò
is being focused more and more on the understanding of a problem by studying the existing organizational setting in which the system will operate. In this paper we present the application of the...
Rule-Based Detection of Inconsistency in UML Models (2002)
Wenqian Liu, Steve Easterbrook, John Mylopoulos
Abstract. Software design inconsistency can be hard to trace manually. Computer assistance in detecting and resolving inconsistency issues can help improve the quality of sophisticated software...
L.Spalazzi. Modeling and evaluating cooperation strategies in p2p agent systems (2002)
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
Abstract. Distributed computing is becoming a fundamental technology for information exchange and cooperation. However, for such a technology to gain wide use, it must cater to users who do not own...
Data management for peer-to-peer computing: A vision (2002)
Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu
Abstract. We motivate special database problems introduced by peer-to-peer computing and propose the Local Relational Model (LRM) to solve some of them. As well, we summarize a formalization of LRM,...
Socio-intentional architectures for multi-agent systems: the mobile robot control case (2002)
Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract. This paper proposes architectural styles for multi-agent systems (MAS) which adopt concepts from organization theory and strategic alliances. These styles are socio-intentional in the sense...
Multi-Agent and Software Architecture: A Comparative Case Study (2002)
Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract. We propose a collection of architectural styles for multi-agent systems motivated by organizational theory and enterprise organization structures. One of the styles is discussed in detail...
Reasoning with Goal Models (2002)
Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
Abstract. Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI...
Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis (2002)
Maddalena Garzetti, Paolo Giorgini, John Mylopoulos, Fabrizio Sannicolò
is being focused more and more on the understanding of a problem by studying the existing organizational setting in which the system will operate. In this paper we present the application of the...
The Tropos Software Development Methodology: Processes, Models and Diagrams (2002)
Fausto Giunchiglia, John Mylopoulos, Anna Perini
Abstract. Tropos is a novel agent-oriented software development methodology founded on two key features: (i) the notions of agent, goal, plan and various other knowledge level concepts are...
Multi-Agent and Software Architecture: A Comparative Case Study (2002)
Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract. We propose a collection of architectural styles for multi-agent systems motivated by organizational theory and enterprise organization structures. One of the styles is discussed in detail...
Improving the Quality of Conceptual Models with NLP Tools: An Experiment (2002)
Luisa Mich, Luisa Mich, John Mylopoulos, John Mylopoulos, Nicola Zeni, Nicola Zeni
Abstract. Conceptual models are used in a variety of areas within Computer Science, including Software Engineering, Databases and AI. A major bottleneck in broadening their applicability is the time...
Socio-intentional architectures for multi-agent systems: the mobile robot control case (2002)
Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract. This paper proposes architectural styles for multi-agent systems (MAS) which adopt concepts from organization theory and strategic alliances. These styles are socio-intentional in the sense...
Data management for peer-to-peer computing: A vision (2002)
Philip A. Bernstein, Philip A. Bernstein, Fausto Giunchiglia, Fausto Giunchiglia, Anastasios Kementsietsidis, Anastasios Kementsietsidis, ...
Abstract. We motivate special database problems introduced by peer-to-peer computing and propose the Local Relational Model (LRM) to solve some of them. As well, we summarize a formalization of LRM,...
Analyzing security requirements as relationships among strategic actors (2002)
Lin Liu, Eric Yu, John Mylopoulos
Abstract. Security issues for software systems ultimately concern relationships among social actors – stakeholders, users, potential attackers, etc.-- and software acting on their behalf. In...
Rule-Based Detection of Inconsistency in UML Models (2002)
Wenqian Liu, Steve Easterbrook, John Mylopoulos
Software design inconsistency can be hard to trace manually. Computer assistance in detecting and resolving inconsistency issues can help improve the quality of sophisticated software designs. This...
Reasoning with Goal Models (2002)
John Mylopoulous, Paolo Giorgini, Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Eleonora Nicchiarelli, ...
Abstract. Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI...
Extensible Information Brokers (2002)
ABSTRACT The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information agents...
Data Management for Peer-to-Peer Computing: A Vision (2002)
Philip Bernstein Fausto, Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, ...
We motivate special database problems introduced by peer-to-peer computing and propose the Local Relational Model (LRM) to solve some of them. As well, we summarize a formalization of LRM, present an...
Workflow Management Models, Methods, and Systems (2002)
Michael Papazoglou, Joachim W. Schmidt, John Mylopoulos, Michael P. Papazoglou, Stefano Spaccapietra, Zahir Tari, ...
Originally published under the title Workflow Management:
Maddalena Garzetti, Paolo Giorgini, John Mylopoulos, Fabrizio Sannicolò, Maddalena Garzetti, Paolo Giorgini, ...
is being focused more and more on the understanding of a problem by studying the existing organizational setting in which the system will operate. In this paper we present the application of the...
UML for agent-oriented software development: The Tropos proposal (2001)
John Mylopoulos, Manuel Kolp, Jaelson Castro
Abstract. We describe a software development methodology called Tropos for agent-oriented software systems. The methodology adopts the i * modeling framework [29], which offers the notions of actor,...
A requirements-driven development methodology (2001)
Jaelson Castro, Manuel Kolp, John Mylopoulos
Information systems of the future will have to better match their operational organizational environment. Unfortunately, development methodologies have traditionally been inspired by programming...
UML for agent-oriented software development: The Tropos proposal (2001)
John Mylopoulos, John Mylopoulos
� Next generation software engineering will have to support open, dynamic architectures where components can accomplish tasks in a variety of operating environments. � Consider application areas...
Toward Web-Based Application Management Systems (2001)
Avigdor Gal, Ieee Computer Society, John Mylopoulos
AbstractÐAs Web technology spreads, the number, variety, and sophistication ofWeb-based information services is literally exploding. While some effort has been put into managing a single, centrally...
An Organizational Perspective on Multi-agent Architectures (2001)
Manuel Kolp, Paolo Giorgini, John Mylopoulos
Abstract. A Multi-Agent System (MAS) is an organization of coordinated autonomous agents that interact in order to achieve common goals. Considering real world organizations as an analogy, this paper...
Information systems as social structures (2001)
Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract — Organizations are changing at an ever-faster pace, as they try to keep up with globalization and the information revolution. Unfortunately, information systems technologies do not...
Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract. A Multi-Agent System (MAS) is an organization of coordinated autonomous agents that interact in order to achieve particular, possible common goals. Considering real world organizations as...
The Local Relational Model: Model and Proof Theory (2001)
Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein
In this paper we identify desirable data management mechanisms for peer-to-peer (P2P) computing. P2P networks have to remain open and dynamic, while peers remain autonomous and need only be aware of...
Paolo Giorgini, Manuel Kolp, John Mylopoulos
Abstract. A Multi-Agent System is an organization of coordinated autonomous agents that interact in order to achieve common goals. Considering real world organizations as an analogy, this paper...
Modelling early requirements in Tropos: a transformation based approach (2001)
Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
analysis, analysis methodologies. We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agent system technologies and Requirements...
A requirements-driven development methodology (2001)
Jaelson Castro, Manuel Kolp, John Mylopoulos
Abstract. Information systems of the future will have to better match their operational organizational environment. Unfortunately, development methodologies have traditionally been inspired by...
Model Checking Early Requirements Specifications in Tropos (2001)
Ariel Fuxman, Marco Pistore, John Mylopoulos, Paolo Traverso
The paper describes an approach that bridges the gap between early requirements specifications and formal methods. In particular, we propose a new specification language, called Formal Tropos, that...
A Knowledge Level Software Engineering Methodology for Agent Oriented Programming (2001)
Paolo Bresciani And, Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
Our goal in this paper is to introduce and motivate a methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all...
Towards Web-Based Application Management Systems (2001)
As Web technology spreads, the number, variety and sophistication of Web-based information services is literally exploding. While some effort has been put into managing a single, centrally controlled...
A Knowledge Level Software Engineering Methodology for Agent Oriented Programming (2001)
Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
Our goal in this paper is to introduce and motivate a methodology, called Tropos, for building agent oriented software systems. Tropos is based on twokey ideas. First, the notion of agent and all the...
Agent-Oriented Software Development: A Case Study (2001)
Paolo Giorgini Anna, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani
We are developing a methodology, called Tropos, for building agent-oriented software systems. The methodology covers five software development phases: early requirements analysis, late requirements...
ABSTRACT The Tropos Software Development Methodology: Processes, Models and Diagrams (2001)
Fausto Giunchiglia, John Mylopoulos, Anna Perini, Fausto Giunchiglia
A knowledge level software engineering methodology for agent oriented programming (2001)
Fausto Giunchiglia, John Mylopoulos, Paolo Giorgini, Paolo Bresciani, Paolo Bresciani, Anna Perini, ...
An Organizational Perspective on Multi-agent Architectures (2001)
Manuel Kolp, Paolo Giorgini, John Mylopoulos
Abstract. A Multi-Agent System (MAS) is an organization of coordinated autonomous agents that interact in order to achieve particular, possible common goals. Considering real world organizations as...
The Local Relational Model: Model and Proof Theory (2001)
Philip A Bernstein, Luciano Serafini, Luciano Serafini, Fausto Giunchiglia, Fausto Giunchiglia, John Mylopoulos, ...
In this paper we identify desirable data management mechanisms for peer-to-peer (P2P) computing. P2P networks have to remain open and dynamic, while peers remain autonomous and need only be aware of...
A Semantic Approach to XML-based Data Integration (2001)
Patricia Rodríguez-gianolli, John Mylopoulos
Abstract. The paper describes a prototype tool, named DIXSE, which supports the integration of XML Document Type Definitions (DTDs) into a common conceptual schema. The mapping from each individual...
A Semantic Approach to XML-based Data Integration (2001)
Patricia Rodríguez-gianolli, John Mylopoulos
Abstract. The paper describes a prototype tool, named DIXSE, which supports the integration of XML Document Type Definitions (DTDs) into a common conceptual schema. The mapping from each individual...
The tropos software development methodology: Processes (2001)
Fausto Giunchiglia, John Mylopoulos, Anna Perini
Abstract. Tropos is a novel agent-oriented software development methodology founded on two key features: (i) the notions of agent, goal, plan and various other knowledge level concepts are...
Tropos: A Framework for Requirements-Driven Software Development (2000)
John Mylopoulos, Jaelson Castro, Manuel Kolp
Abstract. Traditionally, software development techniques have been implementation-driven in the sense that the programming paradigm of the day dictated the design and requirements analysis techniques...
Developing Agent-Oriented Information Systems for the Enterprise (2000)
Jaelson Castro, Manuel Kolp, John Mylopoulos
Abstract. Enterprise information systems have traditionally suffered from an impedance mismatch. Their operational environment is best understood in terms of agents, responsibilities, objectives,...
Towards Extensible Information Brokers Based on XML (2000)
Jianguo Lu, John Mylopoulos, Jamie Ho
. The exponential growth in the number and size of information services available on the internet has created an urgent need for information agents which act as brokers in that they can autonomously...
Towards Extensible Information Brokers Based on XML (2000)
John Mylopoulos, Jianguo Lu, Jamie Ho
The exponential growth in the number and size of information services available on the internet has created an urgent need for information agents which act as brokers in that they can autonomously...
John Mylopoulos, Jaelson Castro
Traditionally, software development techniques have been implementation-driven in the sense that the programming paradigm of the day dictated the design and requirements analysis techniques used. For...
Agent-Oriented Software Development-- 2 (2000)
John Mylopoulos, John Mylopoulos, John Mylopoulos
Agent-Oriented Software Development-- 1 Software Development has traditionally been implementation-driven in the sense that the programming paradigm of the day (structured programming,...
Migration of Procedural Systems to Network-Centric Platforms (1999)
Prashant Patil, Ying Zou, Kostas Kontogiannis, John Mylopoulos
Technologies developed over the past few years such as CORBA, Java and the Web, have made it easier to build and deploy distributed object applications. These technologies have also made a visible...
Supporting Distributed Autonomous Information Services Using Coordination (1999)
This paper reports on the design and implementation of a generic architecture for supporting
Modeling Dynamic Domains with ConGolog (1999)
Yves Lespérance, Todd G. Kelley, John Mylopoulos
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects of actions in a...
Using Ontologies for Knowledge Management: An Information Systems Perspective (1999)
Igor Jurisica, John Mylopoulos, Eric Yu
Knowledge management research focuses on the development of concepts, methods, and tools supporting the management of human knowledge. The main objective of this paper is to survey some of the basic...
Igor Jurisica, John Mylopoulos, Eric Yu
Abstract. Knowledge management research focuses on concepts, methods, and tools supporting the management of human knowledge. The main objective of this paper is to survey basic concepts that have...
Requirements-Driven Requirements Driven Software Development (1999)
Requirements-Driven Software Development-- 1 Software Development has traditionally been implementation-driven in the sense that the programming paradigm of the day (structured programming,...
Supporting Distributed Autonomous Information Services Using Coordination (1999)
The large quantity and often questionable quality of available information in the information age provides a shaky foundation for decision making by individuals and organizations alike. This has...
Alex Alex Borgida, John John Mylopoulos, Alex Borgida, John Mylopoulos, Seb D, Philip Bernstein (microsoft, ...
© 2005 Alex Borgida and John Mylopoulos SEB D’05-- 2 “…The three most important problems in Databases used to be Performance, Performance and Performance;
Information services for the web: Building and maintaining domain models (1998)
The World Wide Web is serving as a leading vehicle for information dissemination by offering information services, such as product information, group interactions, or sales transactions. Three major...
Software refactoring guided by multiple soft-goals (1998)
Yijun Yu, John Mylopoulos, Eric Yu, Julio Cesar, Leite Linda, Lin Liu
Software refactoring is intended to enhance the quality of a software by improving its understandability, performance, as well as other quality attributes. We adopt the modelling framework of [14] in...
Information Services for the Web: Building and Maintaining Domain Models (1998)
Scott Kerr, Avigdor Gal, John Mylopoulos
The World Wide Web is serving as a leading vehicle for information dissemination by offering information services, such as product information, group interactions, or sales transactions. Three major...
Information Services for the Web: Building and Maintaining Domain Models (1998)
Avigdor Gal, Scott Kerr, John Mylopoulos
This paper focuses on integrating existing information sources, available via the Web, in the delivery of information services. The primary objective of the paper is to provide mechanisms for...
From Organization Models to System Requirements - A "Cooperating Agents" Approach (1998)
Eric Yu, Philippe Du Bois, Eric Dubois, John Mylopoulos
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as cooperating agents...
Information Services for the Web: Building and Maintaining Domain Models (1998)
Scott Kerr, Avigdor Gal, John Mylopoulos
The World Wide Web is serving as a leading vehicle for information dissemination by offering information services, such as product information, group interactions, or sales transactions. Three major...
Cooperative information systems: A manifesto (1997)
Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Mike Papazoglou, ...
Information systems technology, computer-supported cooperative work practice, and organizational modeling and planning theories have evolved with only accidental contact to each other. Cooperative...
Cooperative information systems: A manifesto (1997)
Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Mike Papazoglou, ...
Information systems technology, computer-supported cooperative work practice, and organizational modeling and planning theories have evolved with only accidental contact to each other. Cooperative...
Cooperative Information Systems: A Manifesto (1997)
Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Mike Papazoglou, ...
Information systems technology, computer-supported cooperative work practice, and organizational modeling and planning theories have evolved with only accidental contact to each other. Cooperative...
Modelling Organizational Issues for Enterprise Integration (1997)
Abstract. Organizational and human issues are often crucial to the successful use of technology in organizations. Enterprise models that make these issues explicit can assist in analyzing issues,...
Spatial Databases with Partial Information: Representation and Reasoning (1996)
Thodoros Topaloglou, John Mylopoulos
The paper proposes a novel spatial data model which facilitates the representation of and reasoning with various forms of qualitatively and quantitatively incomplete spatial information. The model is...
Bulletin of the Technical Committee on (1996)
March Vol No, Philip S. Yu, Li Chen, Elke A. Rundensteiner, Weidong Kou, David Lauzon, ...
This paper discusses an overview of data mining techniques for personalization. It discusses some of the standard techniques which are used in order to adapt and increase the ability of the system to...
Bulletin of the Technical Committee on (1996)
March Vol No, Philip S. Yu, Li Chen, Elke A. Rundensteiner, Weidong Kou, David Lauzon, ...
This paper discusses an overview of data mining techniques for personalization. It discusses some of the standard techniques which are used in order to adapt and increase the ability of the system to...
Bulletin of the Technical Committee on (1996)
March Vol No, Philip S. Yu, Li Chen, Elke A. Rundensteiner, Weidong Kou, David Lauzon, ...
This paper discusses an overview of data mining techniques for personalization. It discusses some of the standard techniques which are used in order to adapt and increase the ability of the system to...
Representing Partial Spatial Information in Databases (1996)
Thodoros Topaloglou, John Mylopoulos
. In this paper we present a spatial data model which facilitates the representation of and reasoning with various forms of qualitatively and quantitatively incomplete spatial information. The model...
A Generic Integration Architecture for Cooperative Information Systems (1996)
John Mylopoulos, Avigdor Gal, Kostas Kontogiannis, Martin Stanley
Cooperative information systems consist of existing legacy systems integrated in terms of a generic architecture which supports data integration and coordination among the integrated components. This...
The Software Information Base: A Server for Reuse (1995)
Panos Constantopoulos, Matthias Jarke, John Mylopoulos, Yannis Vassiliou
We present an experimental software repository system which provides organization, storage, management, and access facilities for reusable software components. The system, intended as part of an...
Using an Integrated Toolset for Program Understanding (1995)
Michael Whitney, Kostas Kontogiannis, J. Howard Johnson, Morris Bernstein, Brian Corrie, Ettore Merlo, ...
This paper demonstrates the use of an integrated toolset for program understanding. By leveraging the unique capabilities of individual tools, and exploiting their power in combination, the resultant...
Accommodating Integrity Constraints During Database Design (1995)
Dimitris Plexousakis, John Mylopoulos
We address the problem of maintaining the integrity of large knowledge bases using a compile-time transaction modification technique. The novelty of the approach lies in the adaptation of ideas from...
Accommodating Integrity Constraints During Database Design (1995)
Dimitris Plexousakis, John Mylopoulos
We address the problem of maintaining the integrity of large knowledge bases using a compile-time transaction modification technique. The novelty of the approach lies in the adaptation of ideas from...
Building Knowledge Base Management Systems (1995)
John Mylopoulos, Vinay Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou
.<F3.733e+05> Advanced applications in fields such as CAD, software engineering, real-time process control, corporate repositories and digital libraries require the construction, efficient...
Accommodating Integrity Constraints During Database Design (1995)
Dimitris Plexousakis, John Mylopoulos
. We address the problem of maintaining the integrity of large knowledge bases using a compile-time transaction modification technique. The novelty of the approach lies in the adaptation of ideas...
Object-Oriented Analysis (1995)
F17.41> Ó 1995 John Mylopoulos Five Layers to OOA n Class/Object Layer n Structure Layer n Service Layer n Attribute Layer n Subject Layer Object-Oriented Analysis -- 6 Ó 1995 John Mylopoulos n...
Building Knowledge Base Management Systems (1995)
John Mylopoulos, Vinay Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou
Advanced applications in fields such as CAD, Software Engineering, Real-Time Process Control, Corporate Repositories and Digital Libraries require the construction, efficient access and management of...
Using an Integrated Toolset for Program Understanding (1995)
Michael Whitney, Kostas Kontogiannis, J. Howard Johnson, Morris Bernstein, Brian Corrie, Ettore Merlo, ...
This paper demonstrates the use of an integrated toolset for program understanding. By leveraging the unique capabilities of individual tools, and exploiting their power in combination, the resultant...
The Software Information Base: A Server for Reuse (1995)
Panos Constantopoulos, Matthias Jarke, John Mylopoulos, Yannis Vassiliou
We present an experimental software repository system which provides organization, storage, management, and access facilities for reusable software components. The system, intended as part of an...
On formal requirements modeling languages: RML revisited (1994)
Sol Greenspan, John Mylopoulos, Alex Borgida
123Abstract Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was...
Understanding `why' in software process modeling, analysis and design (1994)
In trying to understand and redesign software processes, it is often necessary to have an understanding of the “whys” that underlie the “whats ”- the motivations, intents, and ra-tionales...
Towards an Integrated Toolset for Program Understanding (1994)
Morris Bernstein, Brian Corrie, Ettore Merlo, James G. Mcdaniel, Renato De Mori, Hausi A. Müller, ...
Permission is granted to quote short excerpts and to reproduce figures and tables from this report, provided that the source of such material is fully acknowledged. Additional copies are available...
Towards an Integrated Toolset for Program Understanding (1994)
John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato De, Mori Graham, ...
This paper describes some early results of a three-year project to develop an integrated toolset for program understanding. The implemented integration architecture involves both a global repository...
Towards an Integrated Toolset for Program Understanding (1994)
John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato De, Mori Graham, ...
On Formal Requirements Modeling Languages: RML Revisited (1994)
Sol Greenspan, John Mylopoulos, Alex Borgida
Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was first...
Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System (1994)
Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik
Large knowledge bases that are intended for applications such as CAD, corporate repositories or process control will have to be shared by multiple users. For these systems to scale up, to give...
Using Goals, Rules, and Methods to Support Reasoning in Business Process Reengineering (1994)
One step towards a more systematic approach to the design of business processes is to develop models that provide appropriate representations of the knowledge that is needed for understanding and for...
. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information structures and processes to...
Understanding "Why" in Software Process Modelling, Analysis, and Design (1994)
In trying to understandand redesign software processes, it is often necessary to have an understanding of the "whys" that underlie the "whats" -- the motivations, intents, and...
Building Knowledge Base Management Systems: A Progress Report (1994)
John Mylopoulos, Vinay Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou
Advanced applications in fields such as CAD, Software Engineering, Real-Time Process Control, Corporate Repositories and Digital Libraries require the construction, efficient access and management of...
Towards an Integrated Toolset for Program Understanding (1994)
John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato De, Mori Graham, ...
This paper describes some early results of a three-year project to develop an integrated toolset for program understanding. The implemented integration architecture involves both a global repository...
Understanding `why' in software process modeling, analysis and design (1994)
In trying to understand and redesign software processes, it is often necessaryto have an understanding of the “whys” that underlie the “whats ” – the motivations, intents, and rationales...
Adapting Database Implementation Techniques To (1993)
Manage Very Large, John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Thodoros Topaloglou
The management of very large knowledge bases presupposes efficient and robust implementation techniques, sophisticated user interfaces and tools to support knowledge acquisition, validation and...
On the Frame Problem in Procedure Specifications (1993)
Alex Borgida, John Mylopoulos, Raymond Reiter
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem which is particularly...
In developing information systems for use in an organization, one often needs to understand the reasons that underlie established work patterns and practices. Because organizational actors depend on...
Adapting Database Implementation Techniques To Manage Very Large Knowledge Bases (1993)
John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Thodoros Topaloglou
The management of very large knowledge bases presupposes efficient and robust implementation techniques, sophisticated user interfaces and tools to support knowledge acquisition, validation and...
Representing and using non-functional requirements: a process-oriented approach (1992)
John Mylopoulos, Lawrence Chung, Brian Nixon
Abstract The paper proposes a comprehensive framework for representing and using non-functional requirements during the development process. The framework consists of five basic components which...
Concurrency Control for Knowledge Bases (1992)
Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos
As the demand for ever-larger knowledge bases grows, knowledge base management techniques assume paramount importance. In this paper we show that large, multi-user knowledge bases need concurrency...
Telos: Representing Knowledge About Information Systems (1990)
John Mylopoulos, Alex Borgida, Matthias Jarke, Manolis Koubarakis
We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development is...
Semantic networks and the generation of context (1975)
John Mylopoulos, Philip Cohen, Er Borgida, Laszlo Sugar
by
FROM OBJECT-ORIENTED TO GOAL-ORIENTED REQUIREMENTS ANALYSIS (0000)
The article focuses on the object-oriented and goal-oriented requirements analysis. The growing influence of object-oriented programming on programming practice has led to the rise of a new paradigm...
FROM OBJECT-ORIENTED TO GOAL-ORIENTED REQUIREMENTS ANALYSIS
The article focuses on the object-oriented and goal-oriented requirements analysis. The growing influence of object-oriented programming on programming practice has led to the rise of a new paradigm...