Abstract
This paper proposes a scenario-driven agent-oriented requirement analysis methodology, where scenarios are textual descriptions of the interactions between various agents described by end-users. These scenarios are then transformed into an internal representation - Scenario-Trees. An inductive learning procedure is designed to decompose, cluster, and generalise the scenario descriptions to obtain an abstract grammar - an attribute grammar. The attributes and attribute computing rules are used to reinforce the expressiveness of the grammar. The various possible types of agents are analysed, the patterns of various agent types are defined. An experimental system SSAS, which generates Agent-Z specification for system from the original scenarios is implemented.
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
Jacobson, I.: Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley Publishing Company, New York (1992)
Iivari, J.: Object-Orientation as Structural, Functional and Behavioural Modeling: A Comparison of six Methods for Object-Oriented Analysis. Information and System Technology 37(3), 155–163 (1995)
Anton, A.I.: Goal-based Requirement Analysis. In: Proc. Internatioanl Conference of Requirements Engineering (ICRE 1996), pp. 136–144. IEEE computer Soc. Press, Colorado Springs( 1996)
Lamsweerde, A.V., Willemet, L.: Inferring Declarative Requirements Specifica-tions from Operational Scenarios. IEEE Transactions on Software Engineering (December 1998); Special Issue on Scenario Management
Letier, E.: Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD Thesis. Department of Information Engineering, Catholic University of Louvain (May 2001)
Yu, E.: Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In: Proceedings of the 3rd IEEE Int. Symp. on Requirements Engineering (RE 1997), Washington D.C., USA, January 6-8, pp. 226–235 (1997)
Giunchiglia, F., Mylopoulos, J., Perini, A.: The Tropos Software Development Methodology: Processes, Models and Diagrams. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 162–173. Springer, Heidelberg (2003)
Rolland, C., Grosz, G., Kla, R.: Experience With Goal-Scenario Coupling In Requirements Engineering. In: Proceedings of the IEEE International Symposium on Requirements Engineering 1998, Limerick, Ireland (June 1999)
Sutcliffe, A.: Scenario-Based Requirement Analysis. Requirements Eng. 3, 48–65 (1998)
Haumer, P., Pohl, K., Weidenhaupt, K.: Requirement Elicitation and Validation with real World Scenes. IEEE Transactions on Software Engineering 24(12) (1998); Special Issue on Scenario Management
Hsia, P., Samuel, J., Gao, J., Kung, D.: Formal Approach to Scenario Analysis. IEEE Software (March 1994)
Rednell, B., Kimbler, Wesslen, A.: Improving the Use Case Driven Approach to Requirement Engineering. In: Proceeding RE 1995, York UK, pp. 40–47 (1995)
Bottaci, L., Jones, J.: Formal Specification Using Z: A Modelling Approach. Thomson Publishing (1995)
Duke, R., Rose, G., Smith, G.: Object-Z: A Specification Language Advocated for the Description of Standards. Technical Report No.94-45, Software Verifica-tion Research Centre, Department of Computer Science, The University of Queensland
Luck, M., d’Inverno, M.: A Formal Framework for Agency and Autonomy. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 49–63. Springer, Heidelberg (1998)
Lu, R., Jin, Z., Wan, R.: Requirement Specification in Pseudo-Natural Language in PROMIS. In: Proc. of 19th COMPSAC, pp. 96–101 (1995)
Milner, R., Parrow, J., Walker, D.: A Calculus of mobile Processes, Parts 1-2. Information and Computation 100(1), 1–77 (1992)
Hennessy, M., Rathke, J.: Bisimulations for a calculus of broadcasting systems. Theoretical Computer Science 200, 225–260 (1998)
Fisher, M., Wooldridge, M.: “On the Formal Specification and Verification of Multiagent systems. International Journal of Cooperative Information Systems 6(1) (1997)
Hong, Z.: A formal specification language for agent-oriented software engineering. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2000 and AAMAS 2002. LNCS (LNAI), vol. 2636, Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, L., Jin, Z., Lu, R., Yang, H. (2011). Agent-Oriented Requirements Analysis from Scenarios. In: O’Shea, J., Nguyen, N.T., Crockett, K., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2011. Lecture Notes in Computer Science(), vol 6682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22000-5_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-22000-5_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21999-3
Online ISBN: 978-3-642-22000-5
eBook Packages: Computer ScienceComputer Science (R0)