Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J.E. Wijngaards  Home/Search
Context Related
| cs.vu.nl/~wai/Pape...AAMAW99.behreqs.ps cpsc.ucalgary.ca/~...AAMAW99_behreqs.ps iids.org/publicati...AMAW99.behreqs.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.vu.nl/~treur/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper it is shown how informal and formal specification of behavioural requirements and scenarios for agents and multi-agent systems can be integrated within multi-agent system design. In particular, it is addressed how a compositional perspective both on design descriptions and specification of behavioural requirements can be exploited. The approach has been applied in a case study: the development of a mediating information agent. It is shown that compositional verification ... (Update)
Context of citations to this paper: More
.... agent systems has been studied, e.g. Dardenne, Lamsweerde, and Fickas, 1993; Dubois, Du Bois, and Zeippen, 1995; Herlea, Jonker, Treur, and Wijngaards, 1999; Kontonya, and Sommerville, 1998) The approach introduced in this paper is especially relevant for requirements...
...field of research. In recent years requirements engineering for distributed and agent systems has been studied, e.g. 19] 20] 21] [25], 33] At the level of the multi agent system, requirements are related to the dynamics of interaction and co operation patterns. At...
Cited by: More
Temporal Languages for Simulation and Analysis of - The Dynamics Within (Correct)
Representing Agent Interaction Protocols in UML - James Odell James (1999) (Correct)
A Mechanism for Dynamic Role Playing - Hilaire Koukam Gruer (Correct)
Similar documents (at the sentence level): More
17.2%: Integration of Behavioural Requirements.. - Herlea, Jonker.. (1999) (Correct)
14.9%: Integration of Behavioural Requirements.. - Herlea, Jonker.. (Correct)
14.2%: Design of Collaborative Information Agents - Jonker, Klusch, Treur (2000) (Correct)
Active bibliography (related documents): More All
0.4: A Formal Knowledge Level Process Model of Requirements .. - Herlea, Jonker.. (1999) (Correct)
0.4: A Requirement Specification Language for - Configuration Dynamics Of (Correct)
0.4: Compositional Verification of a Multi-Agent System .. - Brazier.. (Correct)
Similar documents based on text: More All
1.2: Compositional Design of a Generic Design Agent - Brazier, Jonker, Treur.. (2001) (Correct)
Related documents from co-citation: More All
2: Principles of Compositional Multi-Agent System Development - Brazier, Jonker et al. - 1997
2: A formal framework for agency and autonomy - Luck, d'Inverno - 1995
2: Formal Refinement Patterns for Goal-Driven Requirements Elaboration - Darimont, van Lamsweerde - 1996
BibTeX entry: (Update)
Herlea, D.E., Jonker, C.M., Treur, J., and Wijngaards, N.J.E. (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. http://citeseer.ist.psu.edu/herlea99specification.html More
@inproceedings{ herlea99specification,
author = "Daniela E. Herlea and Catholijn M. Jonker and Jan Treur and Niek J. E. Wijngaards",
title = "Specification of Behavioural Requirements within Compositional Multi-agent System Design",
booktitle = "Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering ({MAAMAW}-99)",
volume = "1647",
month = "~30--~2",
publisher = "Springer-Verlag: Heidelberg, Germany",
editor = "Francisco J. Garijo and Magnus Boman",
pages = "8--27",
year = "1999",
url = "citeseer.ist.psu.edu/herlea99specification.html" }
Citations (may not include all citations):652 A discipline of programming (context) - Dijkstra - 1976
75 Software requirements: Objects (context) - Davis - 1993
71 and Languages: a survey (context) - Wooldridge, Jennings - 1995
63 Requirements Engineering: a good practice guide (context) - Sommerville, Sawyer - 1997
44 Compositional Verification of Multi-Agent Systems: a Formal .. - Jonker, Treur - 1998
40 Scenarios in system development: current practice (context) - Weidenhaupt, Pohl et al. - 1998
31 Principles of Compositional Multiagent System Development - Brazier, Jonker et al. - 1998
28 Assumptions of problem-solving methods and their role in kno.. - Benjamins, Fensel et al. - 1996
15 A Formal Requirements Engineering Method for Real-Time (context) - Dubois, Du et al. - 1995
15 Artificial Intelligence in Design (context) - Gero, Sudweeks - 1996
15 Artificial Intelligence in Design (context) - Gero, Sudweeks - 1998
11 Requirements Engineering: Processes and Techniques (context) - Kontonya, Sommerville - 1998
10 Wiley Computer Publishing (context) - Eriksson, Penker - 1998
7 Temporal semantics of compositional task models and problem .. - Brazier, Treur et al. - 1999
6 ALBERT: a Formal Language and its supporting Tools for Requi.. (context) - Dubois - 1998
4 Use-Cases and Scenarios for Developing Knowledgebased System.. - Erdmann, Studer - 1998
4 From Early to Late Formal Requirements (context) - Dubois, Yu et al. - 1998
3 Ontology Oriented Design and Programming: a New Kind of OO (context) - Musen - 1998
3 A Brief Introduction to Software Agent Technology (context) - Nwana, Ndumu - 1998
3 Understanding UML (context) - Harmon, Watson - 1998
1 A Formal Knowledge Level Process Model of Requirements Engin.. - Herlea, Jonker et al. - 1999
Documents on the same site (http://www.cs.vu.nl/~treur/): More
Modelling Distributed Industrial Processes in a.. - Brazier.. (1996) (Correct)
Modelling Project Coordination in a Multi-Agent Framework - Brazier, Jonker, Treur (1996) (Correct)
Development of an Ecological Decision Support System - van Beusekom, Brazier.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC