Abstract
This paper presents automatic generation of use cases as an alternative both to speeding up requirements elicitation and formalizing the obtained use cases to approach the requirements reuse. We propose a framework for requirements documentation as use cases that might be included in coarse grain reusable structures. In order to effectively integrate the software requirements in reusable components, adequate models promoting reusability are required. Hence, we accomplish the requirement elicitation through a process usingWorkflows and Petri nets. This process gives an analytical treatment to system requirements which are stored in a repository.
Chapter PDF
Similar content being viewed by others
References
K. Barber, S. Jernigan, and T. Graser. Increasing opportunities for reuse through tool and methodology support for enterprise-wide requirements reuse and evolution, 1999.
Roberto Bellinzona, Maria Grazia Fugini, and Vicki de Mey. Reuse of specifications and designs in a development information system. In N. Prakash, C. Rolland, and Barbara Percini, editors, Information System Development Process, pages 79–96, Amsterdam, 1993. North-Holland.
A. Cockburn. Writing Effective Use Cases. Addison-Wesley, Boston, 2000.
Collonges, Huges, and Laroche. Merisse. Methode de conception. Dunod, France, 1987.
Jacob L. Cybulski. Patterns in software requirements reuse. Technical report, Department of Information Systems. University of Melbourne, July 1998.
V. d. Aalst. The Application of Petri Nets to Workflow Management. Eindhoven, University of Technology, Netherland, URL: http://wwwis.win.tue.nl/~wsinwa/jcsc/jcsc.html, 1997.
A. Durán, B. Bernárdez, M. Toro, R. Corchuelo, and J. A. Pérez. Expressing customer requirements using natural language requirements templates and patterns. In Modern Applied Mathemathics Techniques in Circuits, Systems and Control, pages 337–342, Atenas, Greece, 1999. World Scientific and Engineering Society Press.
Francisco José García, Antonio Barras, Miguel Ángel Laguna, and José Manuel Marqués. Product line variability support by FORM and mecano model integration. In ACM Software Engineering Notes, To appear 2002.
Dimitrios Georgakopoulos, Mark F. Hornick, and Amit P. Sheth. An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases, 3(2):119–153, 1995.
IEEE. IEEE Software Engineering Standard Collection. 1999 Edition. IEEE Computer Society Press, 1999.
Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Object Technology Series. Addison-Wesley, 1999.
Ivar Jacobson, M. Christerson, Patrik Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992. (Revised 4th printing, 1993).
I. Kotonya, G. Sommerville. Requeriments Engineering: Processes Techniques. USAWiley, 1997.
Woo Jin Lee, Sung Deok Cha, and Yong Rae Kwon. Integration and analysis of use cases using modular Petri nets in requirements engineering. IEEE Transactions on Software Engineering, 24(12):1115–1130, December 1998. Special Issue: Scenario Management.
M. Lowry and R. Duran. Knowledge-based software engineering. In The Handbook of Artificial Intelligence, pages 241–322, Massachusetts, 1989. A. Barr, P. R. Cohen, and E. A. Feigenbaum, Editors. Addison-Wesley.
N. Maidenand and A. Sutcliffe. Exploting reusable specification through analogy. Communications of ACM, 35(4):55–64, 1993.
Colette Rolland and Naveen Prakash. From conceptual modelling to requirements engineering. Technical Report Series 99-11, CREWS, 1999.
Manuel Silva. Las Redes de Petri en la Automática y la Informática. Editorial AC, Madrid, España, 1985.
I. Sommerville. Software Engineering. Addison-Wesley, USA, 6th edition, 2001.
A. Sutcliffe, N. Maiden, S. Minocha, and D. Manuel. Supporting scenario-based requirements engineering. IEEE Transactions on Software Engineering, 24(12), December 1998.
Axel van Lamsweerde. Requirements engineering in the year 00: A research perspective. In 22nd. International Conference on Software Engineering, Limerich, June 2000. ACM Press.
WfMC. The workflow management coalition. Terminology and Glossary. Document Number WFMC-TC-1011. United Kingdom, 65 pages. feb 99.
M. R. Wirsing, R. Hennicker, and R. Stabl. Menu— an example for the systematic reuse of specifications. In 2nd European Software Engineering Conference, pages 20–41, Coventry, England, 1989. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
López, O., Laguna, M.A., García, F.J. (2002). Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_19
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive