{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:35Z","timestamp":1725550895555},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433538"},{"type":"electronic","value":"9783540459231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_19","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"279-293","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach"],"prefix":"10.1007","author":[{"given":"Oscar","family":"L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel A.","family":"Laguna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco J.","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"19_CR1","unstructured":"K. Barber, S. Jernigan, and T. Graser. Increasing opportunities for reuse through tool and methodology support for enterprise-wide requirements reuse and evolution, 1999."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"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\u201396, Amsterdam, 1993. North-Holland.","DOI":"10.1016\/B978-0-444-81594-1.50011-8"},{"key":"19_CR3","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"A. Cockburn. Writing Effective Use Cases. Addison-Wesley, Boston, 2000."},{"key":"19_CR4","unstructured":"Collonges, Huges, and Laroche. Merisse. Methode de conception. Dunod, France, 1987."},{"key":"19_CR5","unstructured":"Jacob L. Cybulski. Patterns in software requirements reuse. Technical report, Department of Information Systems. University of Melbourne, July 1998."},{"key":"19_CR6","unstructured":"V. d. Aalst. The Application of Petri Nets to Workflow Management. Eindhoven, University of Technology, Netherland, URL: \n                    http:\/\/wwwis.win.tue.nl\/~wsinwa\/jcsc\/jcsc.html\n                    \n                  , 1997."},{"key":"19_CR7","unstructured":"A. Dur\u00e1n, B. Bern\u00e1rdez, M. Toro, R. Corchuelo, and J. A. P\u00e9rez. Expressing customer requirements using natural language requirements templates and patterns. In Modern Applied Mathemathics Techniques in Circuits, Systems and Control, pages 337\u2013342, Atenas, Greece, 1999. World Scientific and Engineering Society Press."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Francisco Jos\u00e9 Garc\u00eda, Antonio Barras, Miguel \u00c1ngel Laguna, and Jos\u00e9 Manuel Marqu\u00e9s. Product line variability support by FORM and mecano model integration. In ACM Software Engineering Notes, To appear 2002.","DOI":"10.1145\/566493.1148027"},{"issue":"2","key":"19_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"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\u2013153, 1995.","journal-title":"Distributed and Parallel Databases"},{"key":"19_CR10","unstructured":"IEEE. IEEE Software Engineering Standard Collection. 1999 Edition. IEEE Computer Society Press, 1999."},{"key":"19_CR11","unstructured":"Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Object Technology Series. Addison-Wesley, 1999."},{"key":"19_CR12","unstructured":"Ivar Jacobson, M. Christerson, Patrik Jonsson, and G. \u00d6vergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992. (Revised 4th printing, 1993)."},{"key":"19_CR13","unstructured":"I. Kotonya, G. Sommerville. Requeriments Engineering: Processes Techniques. USAWiley, 1997."},{"issue":"12","key":"19_CR14","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1109\/32.738342","volume":"24","author":"W. J. Lee","year":"1998","unstructured":"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\u20131130, December 1998. Special Issue: Scenario Management.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR15","unstructured":"M. Lowry and R. Duran. Knowledge-based software engineering. In The Handbook of Artificial Intelligence, pages 241\u2013322, Massachusetts, 1989. A. Barr, P. R. Cohen, and E. A. Feigenbaum, Editors. Addison-Wesley."},{"issue":"4","key":"19_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/129852.129857","volume":"35","author":"N. Maidenand","year":"1993","unstructured":"N. Maidenand and A. Sutcliffe. Exploting reusable specification through analogy. Communications of ACM, 35(4):55\u201364, 1993.","journal-title":"Communications of ACM"},{"key":"19_CR17","unstructured":"Colette Rolland and Naveen Prakash. From conceptual modelling to requirements engineering. Technical Report Series 99-11, CREWS, 1999."},{"key":"19_CR18","unstructured":"Manuel Silva. Las Redes de Petri en la Autom\u00e1tica y la Inform\u00e1tica. Editorial AC, Madrid, Espa\u00f1a, 1985."},{"key":"19_CR19","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"I. Sommerville. Software Engineering. Addison-Wesley, USA, 6th edition, 2001.","edition":"6th edition"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"A. Sutcliffe, N. Maiden, S. Minocha, and D. Manuel. Supporting scenario-based requirements engineering. IEEE Transactions on Software Engineering, 24(12), December 1998.","DOI":"10.1109\/32.738340"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Axel van Lamsweerde. Requirements engineering in the year 00: A research perspective. In 22nd. International Conference on Software Engineering, Limerich, June 2000. ACM Press.","DOI":"10.1145\/337180.337184"},{"key":"19_CR22","unstructured":"WfMC. The workflow management coalition. Terminology and Glossary. Document Number WFMC-TC-1011. United Kingdom, 65 pages. feb 99."},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"M. R. Wirsing, R. Hennicker, and R. Stabl. Menu\u2014 an example for the systematic reuse of specifications. In 2nd European Software Engineering Conference, pages 20\u201341, Coventry, England, 1989. Springer-Verlag.","DOI":"10.1007\/3-540-51635-2_30"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:54:10Z","timestamp":1550984050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}