Abstract
The goal of this paper is to discuss possibilities of inter-mixing formal and informal specification in order to guide and support the conceptual modeling process in software development. We sketch a framework based on an agent-oriented methodology that provides a modeling language which allows for the definition of both informal and formal specification. We show how formal techniques can be used to guide and support the analyst while building and refining a conceptual model. Examples of its applications are discussed, with reference to the decision making process undertaken by the analyst when performing a set of activities relevant for requirements engineering, such as requirements elicitation and refinement, user validation of requirements specification, or management of requirements evolution. A case study taken from a technology transfer project in the agricultural domain is used to illustrate the approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ambler, S.W.: Agile modeling essays (2003), http://www.agilemodeling.com/essays.htm
Bauer, B., Müller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent software systems. Int. Journal of Software Engineering and Knowledge Engineering 11(3), 207–230 (2001)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems (2003) (to appear)
Ciancarini, P., Wooldridge, M.: Agent-oriented software engineering: the State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 1–28. Springer, Heidelberg (2001)
Ciancarini, P., Wooldridge, M.J. (eds.): AOSE 2000. Lecture Notes in AI, vol. 1957. Springer, Heidelberg (2001)
Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)
Deloach, S.A.: Analysis and Design using MaSE and agent Tool. In: 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), Miami University, Oxford, Ohio, March 31 - April 1 (2001)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Activity Theory for the Analysis and Design of Multi-Agent Systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 110–122. Springer, Heidelberg (2004)
Fuxman, A.: Formal analysis of early requirements specifications. Master’s thesis, University of Toronto (2001)
Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements: Some experimental results. In: IEEE Int. Symposium on Requirements Engineering, Monterey (USA), September 2003, IEEE Computer Society, Los Alamitos (2003)
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, Los Alamitos (2001)
Giunchiglia, F., Odell, J.J., Weiß, G. (eds.) AOSE 2002. LNCS, vol. 2585, Springer, Heidelberg (2003)
Jennings, N.R.: An Agent-Based approach for building complex software systems. Communication of the ACM (April 2001)
Koning, J.L., Romero-Hernandez, I.: Generating machine processable representations of textual representations of auml. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 126–137. Springer, Heidelberg (2003)
Kruchten, P.: The Rational Unified Process: An Introduction, 2nd edn. Addison-Wesley, Reading (2000)
Leiter, E.: Reasoning about Agents in Goal-oriented Requirements Engineering. PhD thesis, Universite Catholique de Louvain (2001)
Menzies, T., Powell, J., Houle, M.E.: Fast formal analysis of requirements via ”topoi diagrams”. In: The 23rd Int. Conference on Software Engineering, Toronto, CA, May 2001, pp. 391–400. ACM Press, Toronto (2001)
Padgham, L., Winikoff, M.: Prometheus: A Methodology for Developing Intelligent Agents. In: Giunchiglia et al. [12]
Perini, A., Bresciani, P., Giunchiglia, F., Giorgini, P., Mylopoulos, J.: A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In: Proceedings of Agents 2001, Montreal, CA, May 2001, ACM, New York (2001)
Perini, A., Susi, A.: Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach. Environmental Modelling and Software Journal (2003) (to appear)
van Lamsweerde, A.: Formal specification: a roadmap. In: ICSE 2000, 22nd International Conference on on Software Engineering, Future of Software Engineering Track, Limerick, Ireland, June 2000, pp. 147–159. ACM, New York (2000)
Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent- Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3(3) (2000)
Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Perini, A., Pistore, M., Roveri, M., Susi, A. (2004). Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In: Giorgini, P., Müller, J.P., Odell, J. (eds) Agent-Oriented Software Engineering IV. AOSE 2003. Lecture Notes in Computer Science, vol 2935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24620-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-24620-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20826-6
Online ISBN: 978-3-540-24620-6
eBook Packages: Springer Book Archive