{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:17:50Z","timestamp":1742951870883,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030315160"},{"type":"electronic","value":"9783030315177"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31517-7_14","type":"book-chapter","created":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T12:02:29Z","timestamp":1569067349000},"page":"194-209","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Service Orchestration with Priority Constraints"],"prefix":"10.1007","author":[{"given":"Behnaz","family":"Changizi","sequence":"first","affiliation":[]},{"given":"Natallia","family":"Kokash","sequence":"additional","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,22]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-27755-2_1","volume-title":"Lectures on Concurrency and Petri Nets","author":"WMP Aalst","year":"2004","unstructured":"Aalst, W.M.P.: Business process management demystified: a tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 1\u201365. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27755-2_1"},{"issue":"4","key":"14_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: a survey. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1\u201312. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44895-0_1"},{"key":"14_CR4","unstructured":"van der Aalst, W., Hofstede, A.H.M.T.: Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. Technical Report DAIMI PB-560 (2002)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. in Comput. Sci. 14, 329\u2013366 (2004)","journal-title":"Math. Struct. in Comput. Sci."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Arbab, F.: Puff, the magic protocol. In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. pp. 169\u2013206 (2011)","DOI":"10.1007\/978-3-642-24933-4_9"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards using reo for compliance-aware business process modeling. In: ISoLA. pp. 108\u2013123 (2008)","DOI":"10.1007\/978-3-540-88479-8_9"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44667-2_3","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"G Balbo","year":"2001","unstructured":"Balbo, G.: Introduction to stochastic petri nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000. LNCS, vol. 2090, pp. 84\u2013155. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44667-2_3"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-63139-9_38","volume-title":"Application and Theory of Petri Nets 1997","author":"F Bause","year":"1997","unstructured":"Bause, F.: Analysis of petri nets with a dynamic priority method. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 215\u2013234. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_38"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0304-3975(92)90184-H","volume":"96","author":"E Best","year":"1992","unstructured":"Best, E., Koutny, M.: Petri net semantics of priority systems. Theor. Comput. Sci. 96(1), 175\u2013215 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"14_CR12","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.scico.2011.01.006","volume":"77","author":"M Bonsangue","year":"2012","unstructured":"Bonsangue, M., Clarke, D., Silva, A.: A model of context-dependent component connectors. Sci. Comput. Program. 77(6), 685\u2013706 (2012)","journal-title":"Sci. Comput. Program."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM (2005)","DOI":"10.1145\/1040305.1040323"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Proceedings of the International Conference on Communicating Sequential Processes: The First 25 Years. CSP 2004 (2005)","DOI":"10.1007\/11423348_8"},{"key":"14_CR15","unstructured":"Changizi, B., Kokash, N., Arbab, F.: A unified toolset for business process model formalization. In: Proceedings of Formal Engineering Approaches to Software Components and Architectures. ENTCS, Elsevier (2010)"},{"key":"14_CR16","unstructured":"Changizi, B., Kokash, N., Arbab, F.: A constraint-based method to compute semantics of channel-based coordination models. In: Proceedings of the International Conference on Software Engineering Advances (ICSEA). IARIA (2012)"},{"key":"14_CR17","unstructured":"Changizi, B., Kokash, N., Arbab, F.: A unified toolset for business process model formalization. In: 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2010), pp. 147\u2013156. ENTCS (2010)"},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: synchronisation and context dependency. Sci. Comput. Program. 66(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"14_CR19","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1016\/j.scico.2010.05.004","volume":"76","author":"D Clarke","year":"2011","unstructured":"Clarke, D., Proenca, J., Lazovik, A., Arbab, F.: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8), 681\u2013710 (2011)","journal-title":"Sci. Comput. Program."},{"key":"14_CR20","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25160-3","volume-title":"Business Process Model and Notation","year":"2011","unstructured":"Dijkman, R., Hofstetter, J., Koehler, J. (eds.): BPMN 2011. LNBIP, vol. 95. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25160-3"},{"key":"14_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-662-56509-4"},{"key":"14_CR22","unstructured":"F\u00fcricht, R., Pr\u00e4hofer, H., Hofinger, T., Altmann, J.: A component-based application framework for manufacturing execution systems in c# and.net. In: Proceedings of the Fortieth International Conference on Tools Pacific: Objects for Internet, Mobile and Embedded Applications, pp. 169\u2013178. CRPIT 2002, Australian Computer Society, Inc. (2002)"},{"key":"14_CR23","volume-title":"Essential Business Process Modeling","author":"M Havey","year":"2005","unstructured":"Havey, M.: Essential Business Process Modeling. O\u2019Reilly Media Inc., Newton (2005)"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33427-6_1","volume-title":"Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2012","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic code generation for the orchestration of web services with Reo. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol. 7592, pp. 1\u201316. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33427-6_1"},{"key":"14_CR25","first-page":"201","volume":"22","author":"S Jongmans","year":"2012","unstructured":"Jongmans, S., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22, 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Kapp\u00e9, T., Arbab, F., Talcott, C.L.: A compositional framework for preference-aware agents. In: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav\u00edk, Iceland, 4\u20135 June 2016, pp. 21\u201335 (2016)","DOI":"10.4204\/EPTCS.232.6"},{"issue":"2","key":"14_CR27","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1109\/TSC.2011.46","volume":"6","author":"N Kokash","year":"2013","unstructured":"Kokash, N., Arbab, F.: Formal design and verification of long-running transactions with extensible coordination tools. IEEE Trans. Serv. Comput. 6(2), 186\u2013200 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"1\u20132","key":"14_CR28","doi-asserted-by":"publisher","first-page":"101","DOI":"10.3233\/FI-2016-1306","volume":"143","author":"IA Lomazova","year":"2016","unstructured":"Lomazova, I.A., Popova-Zeugmann, L.: Controlling petri net behavior using priorities for transitions. Fundam. Inform. 143(1\u20132), 101\u2013112 (2016)","journal-title":"Fundam. Inform."},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-72035-5_7","volume-title":"Business Information Systems","author":"R Lu","year":"2007","unstructured":"Lu, R., Sadiq, S.: A survey of comparative business process modeling approaches. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol. 4439, pp. 82\u201394. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72035-5_7"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Meng, S., Arbab, F.: Web services choreography and orchestration in Reo and constraint automata. In: Proceedings of the ACM Symposium on Applied Computing, pp. 346\u2013353. ACM Press (2007)","DOI":"10.1145\/1244002.1244085"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-21145-9_7","volume-title":"Graph Transformation","author":"J Padberg","year":"2015","unstructured":"Padberg, J.: Reconfigurable petri nets with transition priorities and inhibitor arcs. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 104\u2013120. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21145-9_7"},{"key":"14_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-33278-4"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-16985-4_29","volume-title":"Current Trends in Web Engineering","author":"D Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol. 6385, pp. 325\u2013337. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16985-4_29"},{"issue":"3","key":"14_CR34","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1016\/j.scico.2011.05.002","volume":"77","author":"V Valero","year":"2012","unstructured":"Valero, V., Maci\u00c3, H., Pardo, J.J., Cambronero, M.E., D\u00c3az, G.: Transforming web services choreographies with priorities and time constraints into prioritized-time colored petri nets. Sci. Comput. Program. 77(3), 290\u2013313 (2012). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642311001407, feature-Oriented Software Development (FOSD 2009)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31517-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T00:14:25Z","timestamp":1695255265000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31517-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030315160","9783030315177"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31517-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tehran","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iran","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"\u00caasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"n\/a","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}