Tool-supported development with tropos: The conference management system case study

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

Volumn 4951 LNCS, Issue , 2008, Pages 182-196

  Morandini, Mirko ^a   Nguyen, Duy Cu ^a   Perini, Anna ^a   Siena, Alberto ^a   Susi, Angelo ^a  

^a ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION MANAGEMENT; LARGE SCALE SYSTEMS; PROCESS ENGINEERING;

AGENT-ORIENTED SOFTWARE ENGINEERING; CONFERENCE MANAGEMENT; TOOL-SUPPORTED DEVELOPMENT;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 43949109911     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79488-2_14     Document Type: Conference Paper

References (24)

1. Bellifemine, F., Poggi, A., Rimassa, G.: JADE: A FIPA Compliant agent framework. In: Practical Applications of Intelligent Agents and Multi-Agents, pp. 97-108 (1999)
2. Bertolini, D., Novikau, A., Susi, A., Perini, A.: TAOM4E: An Eclipse ready tool for Agent-Oriented Modeling. Issue on the development process. Technical report, Fondazione Bruno Kessler - irst (2006)
3. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203-236 (2004)
4. Bryl, V., Giorgini, P., Mylopoulos, J.: Designing cooperative IS: Exploring and evaluating alternatives. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 533-550. Springer, Heidelberg (2006)
5. Dam, K., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: Proceedings of the 5th Int'1 Bi-Conference Workshop on AgentOriented Information Systems (AOIS), Melbourne, Australia (2003)
6. DeLoach, S.A.: Modeling organizational rules in the multi-agent systems engineering methodology. In: Cohen, R., Spencer, B. (eds.) Canadian AI 2002. LNCS (LNAI), vol. 2338, pp. 1-15. Springer, Heidelberg (2002)
7. Federico Bergenti, M.-P.G., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Springer, Heidelberg (2004)
8. Fuxman, A., Liu, L., Mylopoulos, J., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in tropos. Requir. Eng. 9(2), 132-150 (2004)
9. Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: IEEE Int. Symposium on Requirements Engineering, Toronto, CA, August 2001, pp. 174-181. IEEE Computer Society Press, Los Alamitos (2001)
10. Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: Proceedings of the 13th IEEE International Requirements Engineering Conference (RE 2005) (2005)
11. Giorgini, P., Mylopoulos, J., Perini, A., Susi, A.: The Tropos Methodology and Software Development Environment. In: Giorgini, P., Maiden, N., Mylopoulos, J., Yu, E. (eds.) Social Modelling for Requirements Engineering, MIT Press, Cambridge (to appear)
12. Giorgini, P., Mylopoulous, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. Engineering Applications of Artificial Intelligence 18(2), 159-171 (2005)
13. Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc. (2005)
14. Morandini, M.: Knowledge Level Engineering of BDI Agents. Master's thesis, Dept. of Computer Science, University of Trento, Italy (2006), http: //dit. unitn. it/∼morandini/resources/ThesisMirkoMorandini. pdf
15. Morandini, M., Penserini, L., Perini, A., Susi, A.: Refining goal models by evaluating system behaviour. In: 8th International Workshop on Agent-Oriented Software Engineering, AAMAS (May 2007)
16. Nguyen, D.C., Perini, A., Tonella, P.: A goal-oriented software testing methodology. In: Luck, M., Padgham, L. (eds.) AOSE 2007. LNCS, vol. 4951, Springer, Heidelberg (2007)
17. Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Software Agent Implementations. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 465-479. Springer, Heidelberg (2006)
18. Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Agent Capabilities. In: Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007), Hawaii, USA, ACM Press, New York (2007)
19. Perini, A., Susi, A.: Agent-Oriented Visual Modeling and Model Validation for Engineering Distributed Systems. Computer Systems Science & Engineering 20(4), 319-329 (2005)
20. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: Implementing a bdi-infrastructure for jade agents. EXP - in search of innovation (Special Issue on JADE) 3(3), 76-85 (2003)
21. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A bdi reasoning engine. In: Bordini, J.D.R., Dastani, M., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming, pp. 149-174. Springer Science, Business Media Inc. (2005)
22. Siena, A.: Engineering Normative Requirements. In: Proceedings of the First International Conference on Research Challenges in Information Science, RCIS 2007, Ouarzazate, Morocco, pp. 439-444 (2007)
23. Souza, R.G.-S., Perini, A.: Analyzing requirements of knowledge management systems with the support of agent organizations. Journal of the Brazilian Computer Society (JCBS) 11(1), 51-62 (2005), ISSN 0104-6500
24. Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)