Modeling early requirements in tropos: A transformation based approach

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

Volumn 2222, Issue , 2002, Pages 151-168

  Bresciani, Paolo ^a   Perini, Anna ^a   Giorgini, Paolo ^b   Giunchiglia, Fausto ^b   Mylopoulos, John ^c  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; REQUIREMENTS ENGINEERING; SOFTWARE AGENTS; SOFTWARE ENGINEERING;

AGENT-ORIENTED SOFTWARE DEVELOPMENT; DETAILED DESIGN; EARLY REQUIREMENTS; EARLY REQUIREMENTS ANALYSIS; OPERATIONAL ENVIRONMENTS; SOFTWARE SYSTEMS; TRANSFORMATION BASED;

SOFTWARE DESIGN;

EID: 79952401367     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-70657-7_11     Document Type: Conference Paper

References (16)

1. C. Batini, S. Ceri, and S. Navathe. Conceptual Database Design. An Entity- Relationship Approach. Benjamin-Cummings Redwood City, Calif., 1992.
2. P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents - Components for Intelligent Agents in Java. AOS TR9901, Jan. 1999. http://www.jackagents.com/pdf/tr9901.pdf.
3. G. Caire, F. Garijo, J. Gomez, J. Pavon, F. Leal, P. Chainho, P. Kearney, J. Stark, R. Evans, and P. Massonet. Agent Oriented Analysis Using MESSAGE/UML. In this book.
4. L. K. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Publishing, 2000.
5. P. Ciancarini and M. Wooldridge. Agent-Oriented Software Engineering. Springer- VerlagLecture Notes in Computer Science (LNCS) Vol. 1957, 2001.
6. A. Dardenne, A. van Lamsweerde, and S. Fickas.”Goal” directed Requirements Acquisition. Science of Computer Programming, (20), 1993.
7. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model CheckingEarly Requirements Specifications in Tropos. In Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, August 2001.
8. C. Jonker, I. A. Letia, and J. Treur. Diagnosis of the Dynamics Within an Organization by Trace Checkingof Behavioral Requirements. In this book.
9. J. Mylopoulos, L. Chung, S. S. Y. Liao, H. Wang, and E. Yu. Exploring Alternatives DuringRequiremen ts Analysis. IEEE Software, 2001.
10. S. A. O'Malley and S. A. De Loach. DeterminingWhen to Use an Agent-Oriented Software Engineering Paradigm. In this book.
11. A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In Proceedings of the Fifth International Conference on Autonomous Agents, Montral CA, May 2001.
12. A. Perini, F. Sannicolo, and F. Giunchiglia. The Tropos Modelling Language Specification. Version 1.0. Technical Report, IRST, Feb. 2001. http://www.science.unitn.it/∼pgiorgio/aose.
13. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proceedings of the 22nd International Conference on Software Engineering, Invited Paper, ACM Press, June 2000.
14. X. Wang and Y. Lesperance. Agent-Oriented Requirements Engineering Using ConGologand i*. In Proceedings of the Third International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2001), at Agents 2001, Montreal, Canada, May 28, 2001.
15. E. Yu. Modeling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto, 1995.
16. H. Zhu. A Formal Specification Lanaguage for MAS Engineering. In this book.