Specification of Bahavioural Requirements within Compositional Multi-agent System Design

Herlea, Daniela E.; Jonker, Catholijn M.; Treur, Jan; Wijngaards, Niek J. E.

doi:10.1007/3-540-48437-x_2

Cited by 48 publications

(32 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The extensive program underway at the Free University of Amsterdam on compositional methodologies for requirements [11], design [4], and verification [14] uses graphical representations with strong links to UML's collaboration diagrams, as well as linear (formulaic) notations better suited to alignment with UML's metamodel than with the graphical mechanisms that are our focus. Our discussion of the compositionality of protocols is anticipated in the work of Burmeister et al [7], though our notation differs widely from hers.…”

Section: Agent Software Methodologiesmentioning

confidence: 99%

See 1 more Smart Citation

Representing Agent Interaction Protocols in UML

Odell

Parunak

Bauer

2001

Lecture Notes in Computer Science

282

151

View full text Add to dashboard Cite

Abstract.Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts to support the development environment throughout the full system lifecycle. We address both of these requirements using AUML, the Agent UML (Unified Modeling Language)-a set of UML idioms and extensions. This paper illustrates the approach by presenting a three-layer AUML representation for agent interaction protocols: templates and packages to represent the protocol as a whole; sequence and collaboration diagrams to capture inter-agent dynamics; and activity diagrams and state charts to capture both intra-agent and inter-agent dynamics.

show abstract

Section: Agent Software Methodologiesmentioning

confidence: 99%

“…The UML model semantics are represented by a metamodel whose structure is also formally defined by OCL syntax. OCL and the metamodel offer resources to capture the kinds of logical specifications anticipated in (for example) [4,11,14,15,16,28], but space does not permit exploring this use of UML in this paper.…”

Section: Umlmentioning

confidence: 99%

Representing Agent Interaction Protocols in UML

Odell

Parunak

Bauer

2001

Lecture Notes in Computer Science

282

151

View full text Add to dashboard Cite

show abstract

“…In recent literature on Computer Science and Artificial Intelligence, temporal languages to specify dynamic properties of processes have been put forward; for example, Dardenne, Lamsweerde and Fickas, 1993;Dubois, Du Bois and Zeipen, 1995;Herlea, Jonker, Treur, and Wijngaards, 1999). To specify properties on the dynamics of reasoning processes in particular, the temporal trace language TTL used in (Herlea et al, 1999;Jonker and Treur, 1998) is adopted.…”

Section: A Temporal Trace Languagementioning

confidence: 99%

“…To specify properties on the dynamics of reasoning processes in particular, the temporal trace language TTL used in (Herlea et al, 1999;Jonker and Treur, 1998) is adopted. This is a language in the family of languages to which also situation calculus (Reiter, 2001) and event calculus (Kowalski and Sergot, 1986) belong, and was also succesfully used to analyse multi-representational reasoning processes in Reasoning trace.…”

Section: A Temporal Trace Languagementioning

confidence: 99%

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

Bosse

Jonker²,

Treur

2005

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern called 'reasoning by assumption' a variety of dynamic properties have been specified, some of which are considered characteristic for the reasoning pattern, whereas some other properties can be used to discriminate between different approaches to the reasoning. These properties have been automatically checked for the traces acquired in experiments undertaken.

show abstract

“…To specify properties on the dynamics within the organisation, the temporal trace language used in [11], [8], is adopted. This is a language in the family of languages to which also situation calculus [14], event calculus [13], and fluent calculus [9] belong.…”

Section: The Temporal Trace Language To Specify Dynamic Propertiesmentioning

confidence: 99%

Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation

Jonker

Treur

Wijngaards

2002

From Theory to Practice in Multi-Agent Systems

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation dynamics is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties, another temporal language is put forward, which is much more expressive than the executable language for simulations. Supporting tools have been implemented that consist of a software environment for simulation of multi-agent organisation models and a software environment for analysis of dynamic properties against traces organisation dynamics.

show abstract

Specification of Bahavioural Requirements within Compositional Multi-agent System Design

Cited by 48 publications

References 8 publications

Representing Agent Interaction Protocols in UML

Representing Agent Interaction Protocols in UML

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation

Contact Info

Product

Resources

About