{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T18:25:13Z","timestamp":1725992713626},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030010416"},{"type":"electronic","value":"9783030010423"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01042-3_8","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T06:59:16Z","timestamp":1537858756000},"page":"127-143","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Realizability of Service Specifications"],"prefix":"10.1007","author":[{"given":"Mohammad F.","family":"Al-hammouri","sequence":"first","affiliation":[]},{"given":"Gregor von","family":"Bochmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"key":"8_CR1","unstructured":"von Bochmann, G.: Deriving component designs from global requirements. In: CEUR Workshop Proceedings, vol. 503, pp. 55\u201369 (2008)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0035393","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 259\u2013274. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0035393"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-31984-9_21","volume-title":"Fundamental Approaches to Software Engineering","author":"AJ Mooij","year":"2005","unstructured":"Mooij, A.J., Goga, N., Romijn, J.M.T.: Non-local choice and beyond: intricacies of MSC choice nodes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 273\u2013288. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31984-9_21"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-61042-1_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 35\u201348. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61042-1_37"},{"key":"8_CR5","unstructured":"ITU-TS, Recommendation Z.120 (02\/11), Message Sequence Chart (MSC). ITU, Geneva. Technical report (2011)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11888116_21","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"HN Castej\u00f3n","year":"2006","unstructured":"Castej\u00f3n, H.N., Br\u00e6k, R.: Formalizing collaboration goal sequences for service choreography. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 275\u2013291. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11888116_21"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Castejon, H.N., Braek, R., von Bochmann, G.: Realizability of collaboration-based service specifications. In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC, pp. 73\u201380 (2007)","DOI":"10.1109\/ASPEC.2007.71"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s10270-011-0216-x","volume":"12","author":"HN Castej\u00f3n","year":"2013","unstructured":"Castej\u00f3n, H.N., von Bochmann, G., Br\u00e6k, R.: On the realizability of collaborative services. Softw. Syst. Model. 12(3), 597\u2013617 (2013)","journal-title":"Softw. Syst. Model."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Israr, T., von Bochmann, G.: Performance modeling of distributed collaboration services. In: ICPE 2011-Proceedings of the 2nd Joint WOSP\/SIPEW International Conference on Performance Engineering, January 2011, pp. 475\u2013480 (2011)","DOI":"10.1145\/1958746.1958818"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-48213-X_22","volume-title":"SDL 2001: Meeting UML","author":"L H\u00e9lou\u00ebt","year":"2001","unstructured":"H\u00e9lou\u00ebt, L.: Some pathological message sequence charts, and how to detect them. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 348\u2013364. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-48213-X_22"},{"key":"8_CR11","unstructured":"Object Managment Group: UML 2.5.1 specification. Technical report (2017)"},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1145\/75247.75261","volume":"19","author":"F. Khendek","year":"1989","unstructured":"Khendek, F., von Bochmann, G., Kant, C.: New results on deriving protocol specifications from service specifications. In: Proceedings of the ACM SIGCOMM 1989, pp. 136\u2013145 (1989)","journal-title":"ACM SIGCOMM Computer Communication Review"},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/128733.128734","volume":"8","author":"R Gotzhein","year":"1990","unstructured":"Gotzhein, R., von Bochmann, G.: Deriving protocol specifications from service specifications including parameters. ACM Trans. Comput. Syst. 8(4), 255\u2013283 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Mustafa, N.M.F., von Bochmann, G.: Transforming dynamic behavior specifications from activity diagrams to BPEL. In: Proceedings of the 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, pp. 305\u2013311 (2011)","DOI":"10.1109\/SOSE.2011.6139121"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"Vaughan Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. Int. J. Parallel Program. 15(1), 33\u201371 (1986)","journal-title":"International Journal of Parallel Programming"},{"issue":"7","key":"8_CR16","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"8_CR17","unstructured":"Katoen, J.P., Lambert, L.: Pomsets for message sequence charts. In: Proceeding of First Workshop SDL and MSC (SAM 1998), pp. 197\u2013208 (1998)"},{"issue":"2\u20133","key":"8_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"JL Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. Theor. Comput. Sci. 61(2\u20133), 199\u2013224 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-11743-0_7","volume-title":"System Analysis and Modeling: Models and Reusability","author":"G Bochmann von","year":"2014","unstructured":"von Bochmann, G.: Associativity between weak and strict sequencing. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 96\u2013109. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11743-0_7"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/11784180_20","volume-title":"Algebraic Methodology and Software Technology","author":"A Mooij","year":"2006","unstructured":"Mooij, A., Romijn, J., Wesselink, W.: Realizability criteria for compositional MSC. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 248\u2013262. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11784180_20"},{"key":"8_CR21","unstructured":"H\u00e9lou\u00ebt, L., Jard, C.: Conditions for synthesis of communicating automata from HMSCs. In: Proceedings of 5th International Workshop on Formal Methods for Industrial Critical Systems, March 2000"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.tcs.2004.09.034","volume":"331","author":"R Alur","year":"2005","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. Theor. Comput. Sci. 331(1), 97\u2013114 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"7","key":"8_CR23","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Softw. Eng. 29(7), 623\u2013633 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR24","unstructured":"Baudru, N., Morin, R.: Safe implementability of regular message sequence chart specifications. In: ACIS 4th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD 2003) (2003)"},{"issue":"4","key":"8_CR25","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/j.jcss.2005.09.007","volume":"72","author":"Blaise Genest","year":"2006","unstructured":"Genest, B., Muscholl, A., Seidl, H., Zeitoun, M.: Infinite-state high-level MSCs: model-checking and realizability. J. Comput. Syst. Sci. 72(4), 617\u2013647 (2006)","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01042-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T16:32:55Z","timestamp":1571934775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01042-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030010416","9783030010423"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01042-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"SAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on System Analysis and Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sam2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sdl-forum.org\/Events\/SAM2018\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}