{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:17:29Z","timestamp":1725891449552},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309465"},{"type":"electronic","value":"9783642309472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30947-2_46","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T09:16:30Z","timestamp":1340010990000},"page":"414-423","source":"Crossref","is-referenced-by-count":0,"title":["Scenario Modeling and Verification for Business Processes"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Bla\u0161kovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Sko\u010dir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luka","family":"Humski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"46_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"van der Aalst, W.: The application of petri nets for workflow management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"46_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems, vol.\u00a092. Springer, Berlin (1980)"},{"key":"46_CR3","unstructured":"Holzmann, G.: Spin model checker, the: primer and reference manual, 1st edn. Addison-Wesley Professional (2003)"},{"issue":"3","key":"46_CR4","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSE.2008.107","volume":"35","author":"S. Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. IEEE Transactions on Software Engineering\u00a035(3), 384\u2013406 (2009)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"46_CR5","unstructured":"OASIS Standard, Web Services Business Process Execution Language Version 2.0 (2007), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"issue":"5","key":"46_CR6","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TSE.2010.83","volume":"37","author":"I. Crnkovic","year":"2011","unstructured":"Crnkovic, I., Sentilles, S., Vulgarakis, A., Chaudron, M.R.V.: A classification framework for software component models. IEEE Transactions on Software Engineering\u00a037(5), 593\u2013615 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"46_CR7","unstructured":"Grosse-Rhode, M.: Semantic integration of heterogeneous formal specifications via transformation systems (2001)"},{"key":"46_CR8","series-title":"Lecture Notes in Computer Science","first-page":"286","volume-title":"Integrated Formal Methods","author":"B. Caskurlu","year":"2002","unstructured":"Caskurlu, B.: Model Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 286\u2013298. Springer, Heidelberg (2002)"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"Whittle, J., Jayaraman, P.K.: Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Trans. Softw. Eng. Methodol.\u00a019(3) (2010)","DOI":"10.1145\/1656250.1656252"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"Blaskovic, B., Randic, M.: From declarative model to solution: Scheduling scenario synthesis. In: 9th International Conference on Telecommunications, ConTel 2007, Zagreb, Hrvatska, June 13-15, pp. 139\u2013142 (2007), doi:10.1109\/CONTEL.2007.381862.","DOI":"10.1109\/CONTEL.2007.381862"},{"key":"46_CR11","unstructured":"Blaskovic, B., Randic, M.: Model Based Scheduling Scenario Generation. In: Katalinic, B. (ed.) DAAAM International Scientific Book, pp. 031\u2013044. DAAAM International, Vienna (2006) ISBN 3-901509-47-X, ISSN 1726-968704, doi: 0.2507\/daaam.scibook.2006.04"},{"key":"46_CR12","unstructured":"Bla\u0161kovi\u0107, B., Lovrek, I.: Verification of Signalling Protocols for Telecommunication Services in Intelligent Network Environment. In: 1st International Workshop on Applied Formal Methods in System Design, Maribor, pp. 156\u2013165 (June 1996)"},{"key":"46_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989) (an invited survey paper)","journal-title":"Proceedings of the IEEE"},{"key":"46_CR14","unstructured":"Bhaduri, P., Ramesh, S.: Model Checking of Statechart Models: Survey and Research Directions, CoRR, cs.SE\/0407038 (2004)"},{"key":"46_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/3-540-47884-1_19","volume-title":"Integrated Formal Methods","author":"K. Korenblat","year":"2002","unstructured":"Korenblat, K., Grumberg, O., Katz, S.: Translations between Textual Transition Systems and Petri Nets. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 339\u2013359. Springer, Heidelberg (2002)"},{"key":"46_CR16","unstructured":"Varpaaniemi, K.: Efficient Detection of Deadlocks in Petri Nets. Series A: Research Reports\u00a026. Helsinki University of Technology, ESPOO, Finland (October 1993)"},{"key":"46_CR17","unstructured":"Gronberg, P., Tiusanen, M., Varpaaniemi, K.: PROD - A Pr\/T-Net Reachability Analysis Tool. Series B: Technical Reports\u00a011. Helsinki University of Technology, ESPOO, Finland (June 1993)"},{"key":"46_CR18","unstructured":"Dutertre, B., Moura, L.D.: The YICES SMT solver. Tech. Rep., SRI (2006)"},{"key":"46_CR19","unstructured":"Wooldridge, M.J.: Introduction to multiagent systems. Wiley (2002)"},{"key":"46_CR20","doi-asserted-by":"crossref","unstructured":"Shoham, Y., Leyton-Brown, K.: Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511811654"},{"key":"46_CR21","unstructured":"Omg unified modeling languageTM (omg uml), OMG Document Number: formal\/2009-02-04, Infrastructure Version 2.2 (2009)"},{"key":"46_CR22","unstructured":"ITU, Z.100 Specification and Description Language (SDL). ITU-T Telecommunication Standardisation Sector, Geneva (August 2002)"},{"key":"46_CR23","unstructured":"ITU, Z.120 Message Sequence Charts (MSC). ITU-T Telecommunication Standardisation Sector, Geneva (April 2004)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30947-2_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:34:17Z","timestamp":1620128057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30947-2_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309465","9783642309472"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30947-2_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}