{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:22:48Z","timestamp":1737436968867,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75183-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T04:36:32Z","timestamp":1188534992000},"page":"230-245","source":"Crossref","is-referenced-by-count":0,"title":["An Enactment-Engine Based on Use-Cases"],"prefix":"10.1007","author":[{"given":"Avner","family":"Ottensooser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Fekete","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N.R. Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems\u00a010, 131\u2013158 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/BFb0034673","volume-title":"Database and Expert Systems Applications","author":"F. Casati","year":"1996","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Deriving Active Rules for Workflow Enactment. In: Thoma, H., Wagner, R.R. (eds.) DEXA 1996. LNCS, vol.\u00a01134, pp. 94\u2013115. Springer, Heidelberg (1996)"},{"key":"17_CR3","volume-title":"Writing effective use cases","author":"A. Cockburn","year":"1999","unstructured":"Cockburn, A.: Writing effective use cases. Addison-Wesley, London (1999)"},{"issue":"4","key":"17_CR4","first-page":"211","volume":"36","author":"K. Cox","year":"2004","unstructured":"Cox, K., Aurum, A., Jeffery, R.: An Experiment in Inspecting the Quality of use case Descriptions. Journal of Research and Practice in Information Technology\u00a036(4), 211\u2013229 (2004)","journal-title":"Journal of Research and Practice in Information Technology"},{"key":"17_CR5","unstructured":"Cox, K., Phalp, K., Shepperd, M.: Comparing use case Writing Guidelines. In: Proc. Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ 2001), pp. 101\u2013112 (2001)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Dayal, U., Hsu, M., Ladin, R.: Organizing Long- Running Activities with Triggers and Transactions. In: Proc ACM International Conference on Management of Data (SIGMOD 1990), pp. 204\u2013214 (1990)","DOI":"10.1145\/93597.98730"},{"issue":"6","key":"17_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1218776.1218788","volume":"31","author":"A.L.L. Figueiredo de","year":"2006","unstructured":"de Figueiredo, A.L.L., Andrade, W.L., Machado, P.D.L.: Generating Interaction Test Cases for Mobile Phone Systems from use case Specifications. ACM SIGSOFT Software Engineering Notes\u00a031(6), 1 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"2","key":"17_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J.M., Martinez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans on Robotics and Automation\u00a011(2), 173\u2013184 (1995)","journal-title":"IEEE Trans on Robotics and Automation"},{"key":"17_CR9","unstructured":"Fernandez, E.B., Hawkins, J.C.: Determining role rights from use cases. In: Proc ACM Workshop on Role-Based Access Control (RBAC 1997), pp. 121\u2013125 (1997), DOI= http:\/\/doi.acm.org\/10.1145\/266741.266767"},{"key":"17_CR10","unstructured":"Heinl, P., Horn, S., Jablonski, S., Neeb, J., Stein, K., Teschke, M.: A comprehensive approach to flexibility in Workflow management systems. In: Proceedings of the international Joint Conference on Work Activities Coordination and Collaboration (WACC 1999), pp. 79\u201388 (1999), DOI= http:\/\/doi.acm.org\/10.1145\/295665.295675"},{"key":"17_CR11","unstructured":"Hollingsworth, D.: The Workflow Reference Model. Document Number TC00\u20131003 of the Workflow Management Coalition, Document Status - Issue 1.1 (Januvary 19, 1995)"},{"key":"17_CR12","unstructured":"Hurlbut, R.: A Survey of Approaches for Describing and Formalizing use cases. Technical Report 97\u2013 03, Department of Computer Science, Illinois Institute of Technology, USA. (1997), Found at http:\/\/www.iit.edu\/~rhurlbut\/xpt-tr-97-03.html"},{"key":"17_CR13","volume-title":"Object-Oriented Software Engineering","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley, London (1992)"},{"key":"17_CR14","unstructured":"Kim, J., Spraragen, M., Gil, Y.: An intelligent assistant for interactive Workflow composition. In: Proc International Conference on Intelligent User interfaces (IUI 2004), pp. 125\u2013131 (2004), DOI= http:\/\/doi.acm.org\/10.1145\/964442.964466"},{"issue":"12","key":"17_CR15","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1109\/32.738342","volume":"24","author":"W.J. Lee","year":"1998","unstructured":"Lee, W.J., Cha, S.D., Kwon, Y.R.: Integration and analysis of use cases using modular Petri nets in requirements Engineering. IEEE Transactions on Software Engineering\u00a024(12), 1115\u20131130 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR16","volume-title":"Managing Software Requirements: A use case Approach","author":"D. Leffingwell","year":"2003","unstructured":"Leffingwell, D., Widring, D.: Managing Software Requirements: A use case Approach, 2nd edn. Addison-Wesley, London (2003)","edition":"2"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Nepal, S., Fekete, A., Greenfield, P., Jang, J., Kuo, D., Shi, T.A: Service-oriented Workflow Language for Robust Interacting Applications. In: Proc International Conference on Cooperative Information Systems (CoopIS 2005), pp. 40\u201358 (2005)","DOI":"10.1007\/11575771_6"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1016547000822","volume":"12","author":"J. O\u2019Sullivan","year":"2002","unstructured":"O\u2019Sullivan, J., Edmond, D., ter Hofstede, A.: What\u2019s in a Service? Distrib. Parallel Databases\u00a012, 117\u2013133 (2002)","journal-title":"Distrib. Parallel Databases"},{"key":"17_CR19","unstructured":"Ottensooser, A., Fekete, A.: Workflow Patterns Represented in Use-Cases, Technical Report Number 611, School of Information Technologies, University of Sydney"},{"key":"17_CR20","unstructured":"Russell, N., ter Hofstede, A.H., Edmond, D., van der Aalst, W.M.P.: Workflow Resource Patterns. BETA Working Paper Series, WP 127, Eindhoven University of Technology, Eindhoven (2004), http:\/\/fp.tm.tue.nl\/beta\/"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","first-page":"216","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H., Edmond, D.: Workflow Resource Patterns: Identification, Representation and Tool Support. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 216\u2013232. Springer, Heidelberg (2005)"},{"key":"17_CR22","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H., Wohed, P.: On the suitability of UML 2.0 activity diagrams for business process modelling. In: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. Conferences in Research and Practice in Information Technology Series, vol. 53. pp. 95\u2013104 (2006)"},{"key":"17_CR23","unstructured":"T\u00f6rner, F., Ivarsson, M., Pettersson, F., \u00d6hman, P.: Defects in automotive use cases. In: Proc ACM\/IEEE international Symposium on Empirical Software Engineering (ISESE 2006), pp. 115\u2013123 (2006), DOI= http:\/\/doi.acm.org\/10.1145\/1159733.1159753"},{"key":"17_CR24","unstructured":"van der Aalst, W.M.P.: Three Good Reasons for Using a Petri-net-based Workflow Management System. In: Proc International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), pp. 179\u2013201 (1996)"},{"issue":"1","key":"17_CR25","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"17_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Van Hee, K.: Workflow Management: Models, Methods and Systems. MIT Press, Cambridge (2002)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/10722620_2","volume-title":"Cooperative Information Systems","author":"W.M. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M., Barros, A.P., ter Hofstede, A.H., Kiepuszewski, B.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, pp. 18\u201329. Springer, Heidelberg (2000)"},{"key":"17_CR28","unstructured":"The Workflow Management Coalition can be found, at http:\/\/www.wfmc.org\/"},{"key":"17_CR29","unstructured":"Workflow Management Coalition. Terminology and glossary. Technical Report WFMC-TC-1011, Workflow Management Coalition (February 1999)"},{"key":"17_CR30","unstructured":"The Workflow Patterns initiative is a joint effort of Eindhoven University of Technology (led by Professor Wil van der Aalst) and Queensland University of Technology (led by Associate Professor Arthur ter Hofstede). The publications of the Workflow Patterns Initiative can be found at http:\/\/www.Workflowpatterns.com\/"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75183-0_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:32:03Z","timestamp":1737401523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75183-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751823"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75183-0_17","relation":{},"subject":[]}}