Agent-oriented modeling by interleaving formal and informal specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2935, Issue , 2003, Pages 36-52

  Perini, A ^a   Pistore, M ^a,b   Roveri, M ^a   Susi, A ^a  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; FORMAL METHODS; FORMAL SPECIFICATION; MODELING LANGUAGES; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS; TECHNOLOGY TRANSFER;

AGENT-ORIENTED METHODOLOGY; AGENT-ORIENTED MODELING; DECISION MAKING PROCESS; FORMAL TECHNIQUES; REQUIREMENTS ELICITATION; REQUIREMENTS EVOLUTION; REQUIREMENTS SPECIFICATIONS; TECHNOLOGY TRANSFER PROJECTS;

SOFTWARE AGENTS;

EID: 35048819469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (23)

1. S. W. Ambler. Agile modeling essays, 2003. http://www.agilemodeling.com/ essays.htm.
2. B. Bauer, J. P. Müller, and J. Odell. Agent UML: A formalism for specifying multiagent software systems. Int. Journal of Software Engineering and Knowledge Engineering, 11(3):207-230, 2001.
3. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems, 2003. To appear.
4. P. Ciancarini and M. Wooldridge. Agent-oriented software engineering: the State of the Art. In Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, number 1957 in LNCS, pages 1-28, Limerick, Ireland, June 2000.
5. P. Ciancarini and M. Wooldridge, editors. Agent-Oriented Software Engineering, volume 1957 of Lecture Notes in AI. Springer-Verlag, March 2001.
6. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV 2: An opensource tool for symbolic model checking. In Computer Aided Verification, number 2404 in LNCS, Copenhagen (DK), July 2002. Springer.
7. S. A. Deloach. Analysis and Design using MaSE and agentTool. In 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), Miami University, Oxford, Ohio, March 31 - April 1 2001.
8. R. Fuentes, J. J. Gómez-Sanz, and J. Pavón. Activity Theory for the Analysis and Design of Multi-Agent Systems. In Agent-Oriented Software Engineering, Fourth International Workshop, AOSE 2003, LNCS, Melbourne, Australia, July 2003.
9. A. Fuxman. Formal analysis of early requirements specifications. Master's thesis, University of Toronto, 2001.
10. A. Fuxman, L. Liu, M. Pistore, M. Roveri, and J. Mylopoulos. Specifying and analyzing early requirements: Some experimental results. In IEEE Int. Symposium on Requirements Engineering, Monterey (USA), September 2003. IEEE Computer Society.
11. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in Tropos. In IEEE Int. Symposium on Requirements Engineering, pages 174-181, Toronto (CA), August 2001. IEEE Computer Society.
12. F. Giunchiglia, J. Odell, and G. Weiß, editors. Agent-Oriented Software Engineering III. LNCS. Springer-Verlag, Bologna, Italy, Third International Workshop, AOSE2002 edition, July 2002.
13. N. R. Jennings. An Agent-Based approach for building complex software systems. Communication of the ACM, April 2001.
14. J. L. Koning and I. Romero-Hernandez. Generating machine processable representations of textual representations of auml. In Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, number 2585 in LNCS, pages 126-137. Springer, July 2002.
15. P. Kruchten. The Rational Unified Process: An Introduction. Addison-Wesley, 2nd edition, 2000.
16. E. Leiter. Reasoning about Agents in Goal-oriented Requirements Engineering. PhD thesis, Universite Catholique de Louvain, 2001.
17. rd Int. Conference on Software Engineering, pages 391-400, Toronto, CA, May 2001. ACM Press.
18. L. Padgham and M. Winikoff. Prometheus: A Methodology for Developing Intelligent Agents. In Giunchiglia et al. [12].
19. A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In Proceedings of Agents 2001, Montreal, CA, may 2001. ACM.
20. A. Perini and A. Susi. Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach. Environmental Modelling and Software Journal, 2003. to appear.
21. A. van Lamsweerde. Formal specification: a roadmap. In ICSE 2000, 22nd International Conference on on Software Engineering, Future of Software Engineering Track, pages 147-159, Limerick Ireland, June 2000. ACM.
22. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia Methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3), 2000.
23. M. Wooldridge, G. Weiß, and P. Ciancarini, editors. Agent-Oriented Software Engineering II. LNCS 2222. Springer-Verlag, Montreal, Canada, Second International Workshop, AOSE2001 edition, May 2001.