Arrow Research search

Author name cluster

John Mylopoulos

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

15 papers
2 author rows

Possible papers

15

JAAMAS Journal 2026 Journal Article

Tropos: An Agent-Oriented Software Development Methodology

  • Paolo Bresciani
  • Anna Perini
  • John Mylopoulos

Abstract Our goal in this paper is to introduce and motivate a methodology, called Tropos, 1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams.

Details DOI

AILAW Journal 2025 Journal Article

The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies

  • Pablo Marcello Baquero
  • David Restrepo Amariles
  • Daniel Amyot
  • Amal Ahmed Anda
  • Mustafa Bayirli
  • Luigi Logrippo
  • Alberto Lopes
  • John Mylopoulos

Abstract This paper investigates the use of Contract Specification Languages (CSLs), smart contracts, and their associated software methods and tools for formally specifying, verifying, and monitoring contracts, as a means to improve compliance with data protection laws, by harnessing the back end of data supply chains. The privacy literature has focused predominantly on B2C relationships (front end data processing) to assess corporate compliance with data protection laws and has explored the use of technologies primarily as a means to empower data subjects vis-à-vis data processors. This article shifts the perspective. First, it shows that the effective implementation of data subjects’ rights hinges upon the capacity of data processors to monitor compliance in back-end processing, i. e. , the data supply chain. Second, it spells out the way CSLs and smart contracts can contribute to bridge the compliance gap in the data supply chain, which currently hinders data controllers from effectively monitoring the flow and use of data documents and practices across the networks of subcontractors. Indeed, while data is processed in an iterative and dynamic manner through a wide variety of means by actors within and across companies in the supply chain (e. g. , controller, processors, and sub-processors), the legal instruments used to ensure compliance are dispersed, static, convoluted and legalistic, ultimately lacking the capability to operationalize data protection across different management levels (legal, technical, business, etc.). This paper proposes methods for specifying and controlling obligations related to data processing and distributions by using CSLs and smart contracts, and the contribution these methods can make for monitoring compliance in the data supply chain. It briefly introduces the Symboleo CSL for the formal specification of contracts. It then offers a concrete case study testing the properties of the Symboleo in a dataset composed of contractual documents used in the data supply chain of a network of IT companies. The paper concludes with a discussion of the challenges laying ahead to narrow the compliance gap and highlights how the proposed methods can evolve to become effective compliance tools in data protection.

Details DOI

TAAS Journal 2018 Journal Article

Engineering Self-Adaptive Software Systems

  • Konstantinos Angelopoulos
  • Alessandro V. Papadopoulos
  • Vítor E. Silva Souza
  • John Mylopoulos

Self-adaptive software systems monitor their operation and adapt when their requirements fail due to unexpected phenomena in their environment. This article examines the case where the environment changes dynamically over time and the chosen adaptation has to take into account such changes. In control theory, this type of adaptation is known as Model Predictive Control and comes with a well-developed theory and myriad successful applications. The article focuses on modeling the dynamic relationship between requirements and possible adaptations. It then proposes a controller that exploits this relationship to optimize the satisfaction of requirements relative to a cost function. This is accomplished through a model-based framework for designing self-adaptive software systems that can guarantee a certain level of requirements satisfaction over time by dynamically composing adaptation strategies when necessary. The proposed framework is illustrated and evaluated through two simulated systems, namely, the Meeting-Scheduling exemplar and an E-Shop.

Details DOI

AAMAS Conference 2010 Conference Paper

Reasoning about Agents and Protocols via Goals and Commitments

  • Amit Chopra
  • Fabiano Dalpiaz
  • Paolo Giorgini
  • John Mylopoulos

This paper seeks to combine two largely independent threadsof multiagent systems research—agent specification and protocols. We specify agents in terms of goal models (as used inTropos). We specify protocols in terms of the commitmentsamong agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agentspecification and a protocol, the semantics helps us performtwo kinds of verification: (1) whether the protocol supportsachieving particular agent goals, and (2) whether the agent'sspecification supports the satisfaction of particular commitments.

PDF

AAMAS Conference 2007 Conference Paper

A Design Framework for Generating BDI-Agents from Goal Models

  • Loris Penserini
  • Anna Perini
  • Angelo Susi
  • Mirko Morandini
  • John Mylopoulos

We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design process as a transformation process from platform-independent design models to platformspecific models and then to code. The design framework is demonstrated by referring to the Tropos methodology and to the JADE/Jadex platform. In this short paper, key steps in the process are illustrated through an example.

PDF

TAAS Journal 2007 Journal Article

High variability design for software agents

  • Loris Penserini
  • Anna Perini
  • Angelo Susi
  • John Mylopoulos

Many classes of distributed applications, including e-business, e-government, and ambient intelligence, consist of networking infrastructures, where the nodes (peers)—be they software components, human actors or organizational units—cooperate with each other to achieve shared goals. The multi-agent system metaphor fits very well such settings because it is founded on intentional and social concepts and mechanisms. Not surprisingly, many agent-oriented software development methods have been proposed, including GAIA, PASSI, and Tropos. This paper extends the Tropos methodology, enhancing its ability to support high variability design through the explicit modelling of alternatives, it adopts an extended notion of agent capability and proposes a refined Tropos design process. The paper also presents an implemented software development environment for Tropos, founded on the Model-Driven Architecture (MDA) framework and standards. The extended Tropos development process is illustrated through a case study involving an e-commerce application.

Details DOI

ECAI Conference 2006 Conference Paper

Decision Making in Large-Scale Domains: A Case Study

  • Mikhail Soutchanski
  • Huy Pham
  • John Mylopoulos

Planning under uncertainty attracted significant attention in AI and in other fields. To overcome computational problems associated with Markov Decision Processes (MDPs) in large scale domains researchers often take advantage of structural properties and look for approximately optimal solutions. DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties by using natural ordering constraints on execution of actions. Using DTGolog, domain specific constraints on the set of available policies can be expressed in a high-level program and this program helps to reduce significantly computation required to find a policy optimal in this set. Our paper explores whether the DTGolog framework can be used to evaluate different designs of a decision making agent in a large real-world domain. Each design is understood as combination of a template (expressed as a Golog program) for available policies and a reward function. To evaluate and compare alternative designs we estimate the probability of goal satisfaction for each design. As a domain, we choose the London Ambulance Service (LAS) case study that is well known in software engineering, but remains unknown in AI. In our paper we demonstrate that DTGolog can be applied successfully to quantitative evaluation of alternative designs in terms of their ability to satisfy a system goal with a high probability. We provide a detailed axiomatization of the domain in the temporal situation calculus with stochastic actions. The main advantage of this representation is that neither actions, not states require explicit enumeration. We do an experimental analysis using an on-line implementation of DTGolog coupled with a simulator that models real time actions of many external agents.

Details

JAAMAS Journal 2006 Journal Article

Multi-Agent Architectures as Organizational Structures

  • Manuel Kolp
  • Paolo Giorgini
  • John Mylopoulos

Abstract A Multi-Agent System (hereafter MAS) is an organization of coordinated autonomous agents that interact in order to achieve common goals. Considering real world organizations as an metaphor, this paper proposes architectural styles for MAS which adopt concepts from organizational theories. The styles are modeled in i*/Tropos, using the notions of actor, goal and actor dependency and are intended to capture needs/wants, delegations and obligations. The proposed architectural styles are evaluated with respect to a set of software quality attributes, such as predictability and adaptability. In addition, we report on a comparative study of organizational and conventional software architectures using a mobile robot control example from the Software Engineering literature. The research reported here was conducted within the scope of the Tropos project, whose objective is to develop a comprehensive agent-oriented software development methodology.

Details DOI

EAAI Journal 2005 Journal Article

Goal-oriented requirements analysis and reasoning in the Tropos methodology

  • Paolo Giorgini
  • John Mylopoulos
  • Roberto Sebastiani

Tropos is an agent-oriented software methodology proposed in (J. Autonomous Agents Multi-Agent Syst. 8(3) (2004) 203; Inf. Syst. 27(6) (2002) 365). The methodology is founded on the notions of agent and goal, and goal analysis is used extensively to support software development during different phases. This paper adopts a formal goal model defined and analyzed in (J. Data Semantics 1 (2003); Proceedings of the International Conference on Advanced Information Systems Engineering, CAISE’04, vol. 3804 of LNCS, Springer, Berlin, 2004, pp. 20–33) to make the goal analysis process concrete through the use of forward and backward reasoning for goal models. The formal goal analysis is illustrated through examples, using an implemented goal reasoning tool.

Details DOI

AIIM Journal 1998 Journal Article

Case-based reasoning in IVF: prediction and knowledge mining

  • Igor Jurisica
  • John Mylopoulos
  • Janice Glasgow
  • Heather Shapiro
  • Robert F Casper

In vitro fertilization (IVF) is a medically-assisted reproduction technique, enabling infertile couples to achieve successful pregnancy. Given the unpredictability of the task, we propose to use a case-based reasoning system that exploits past experiences to suggest possible modifications to an IVF treatment plan in order to improve overall success rates. Once the system's knowledge base is populated with a sufficient number of past cases, it can be used to explore and discover interesting relationships among data, thereby achieving a form of knowledge mining. The article describes the TA3 I V F system—a case-based reasoning system which relies on context-based relevance assessment to assist in knowledge visualization, interactive data exploration and discovery in this domain. The system can be used as an advisor to the physician during clinical work and during research to help determine what knowledge sources are relevant for a treatment plan.

Details DOI

ICRA Conference 1992 Conference Paper

Introducing robotic 'common sense' in real time dexterous manipulation

  • S. P. Ananthanarayanan
  • David Gershon
  • Andrew A. Goldenberg
  • John Mylopoulos

Describes the implementation of a real-time controller for dexterous manipulation with a hierarchical intelligent control architecture. The architecture is based on a blackboard model that enables incremental, opportunistic, and dynamic decision making and control. The following features have been incorporated into the dexterous robot hand controller: (1) controlling robot fingers using robotic common sense reasoning, based on qualitative representations of control variables and parameters; and (2) opportunistically switching between coarse qualitative control that is based on a physical model and conventional fine quantitative control that is based on a mathematical model. The controller was implemented on a multirobot grasping facility, and preliminary experimental results are presented. >

Details
v2026.09.13