{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:41:49Z","timestamp":1760488909159,"version":"3.37.3"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T00:00:00Z","timestamp":1564531200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T00:00:00Z","timestamp":1564531200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s10626-019-00282-0","type":"journal-article","created":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T07:02:37Z","timestamp":1564556557000},"page":"297-365","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A controller synthesis framework for automated service composition"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6799-1273","authenticated-orcid":false,"given":"Francis","family":"Atampore","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]},{"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,31]]},"reference":[{"key":"282_CR1","doi-asserted-by":"crossref","unstructured":"Abdullah A, Xining l (2013) An efficient I\/O based clustering HTN in web service composition. In: International conference on computing, management and telecommunications (ComManTel), Ho Chi Minh City, pp 252\u2013257","DOI":"10.1109\/ComManTel.2013.6482400"},{"key":"282_CR2","unstructured":"Alves A, Arkin A, Askary S, Barreto C, Bloch B, Curbera F, Ford M, Goland Y, Guizar A, Kartha N, Kevin CL, Khalaf R, K\u00f6nig D, Marin M, Mehta V, Thatte S, Rijn D, Yendluri P, Yiu A (2007) Web services business process execution language version 2.0, OASIS Standard. \nhttp:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html\n\n. [Online; accessed 10 Mar 2017]"},{"key":"282_CR3","unstructured":"Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for web services version 1.1. \nhttp:\/\/msdn.microsoft.com\/en-us\/library\/ee251594(v=bts.10).aspx#feedback\n\n. [Online; accessed 10 Mar 2017]"},{"key":"282_CR4","doi-asserted-by":"crossref","unstructured":"Atampore F (2017) Towards provably correct services: automated service composition via supervisory control synthesis. Ph.D. thesis, School of Computing, Queen\u2019s University, Ontario","DOI":"10.1109\/WODES.2016.7497822"},{"key":"282_CR5","unstructured":"Atampore F, Dingel J, Rudie K (2016) A controller synthesis framework for automated service composition. Tech. Rep. 2016-630, School of Computing, Queen\u2019s University, Kingston, Ontario, Canada. \nhttp:\/\/sites.cs.queensu.ca\/tr\/"},{"key":"282_CR6","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.scico.2013.01.007","volume":"82","author":"A Auer","year":"2014","unstructured":"Auer A, Dingel J, Rudie K (2014) Concurrency control generation for dynamic threads using discrete-event systems. Sci Comput Program 82:22\u201343","journal-title":"Sci Comput Program"},{"key":"282_CR7","doi-asserted-by":"crossref","unstructured":"Balbiani P, Cheikh F, Feuillade G (2008) Composition of interactive web services based on controller synthesis. In: IEEE Congress on services - Part I. IEEE Computer Society, pp 521\u2013528","DOI":"10.1109\/SERVICES-1.2008.11"},{"issue":"4","key":"282_CR8","first-page":"793","volume":"30","author":"P Bartalos","year":"2011","unstructured":"Bartalos P, Bielikov\u00e1 M (2011) Automatic dynamic web service composition: a survey and problem formalization. Comput Inform 30(4):793\u2013827","journal-title":"Comput Inform"},{"key":"282_CR9","unstructured":"Berardi D, Calvanese D, De Giacomo G, Hull R, Lenzerini M, Mecella M (2005a) Modeling data & processes for service specifications in Colombo. In: Proceedings of the open interop workshop on enterprise modeling and ontologies for interoperability (EMOI-INTEROP\u201905) co-located with CAiSE\u201905 conference. Portugal"},{"key":"282_CR10","unstructured":"Berardi D, Calvanese D, De Giacomo G, Hull R, Mecella M (2005b) Automatic composition of web services in Colombo. In: Proceedings of the thirteenth Italian symposium on advanced database systems, (SEBD). Brixen-Bressanone (near Bozen-Bolzano), Italy, pp 8\u201315"},{"issue":"04","key":"282_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1142\/S0218843005001201","volume":"14","author":"DANIELA BERARDI","year":"2005","unstructured":"Berardi D, Calvanese D, De Giacomo G, Hull R, Mecella M (2005c) Automatic service composition based on behavioural descriptions. Int J Coop Informa Syst 14(4):333\u2013376","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"2","key":"282_CR12","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1142\/S0129054108005759","volume":"19","author":"D Berardi","year":"2008","unstructured":"Berardi D, Cheikh F, Giuseppe GD, Patrizi F (2008) Automatic service composition via simulation. Int J Found Comput Sci 19(2):429\u2013451","journal-title":"Int J Found Comput Sci"},{"issue":"3\u20134","key":"282_CR13","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.artint.2009.12.002","volume":"174","author":"P Bertoli","year":"2010","unstructured":"Bertoli P, Pistore M, Traverso P (2010) Automated composition of web services via planning in asynchronous domains. Artif Intell: Int J 174(3\u20134):316\u2013361","journal-title":"Artif Intell: Int J"},{"issue":"2","key":"282_CR14","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand D, Zafiropulo P (1983) On communicating finite-state machines. J ACM 30(2):323\u2013342. \nhttps:\/\/doi.org\/10.1145\/322374.322380","journal-title":"J ACM"},{"key":"282_CR15","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-662-44879-3_5","volume-title":"Advanced Information Systems Engineering","author":"Antonio Bucchiarone","year":"2014","unstructured":"Bucchiarone A, de Sanctis M, Pistore M (2014) Domain objects for dynamic and incremental service composition. In: Service-oriented and cloud computing - third European conference, ESOCC, Manchester, pp 62\u201380"},{"key":"282_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete-event systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras C, Lafortune S (2008) Introduction to discrete-event systems, 2nd edn. Springer, US","edition":"2nd edn"},{"key":"282_CR17","unstructured":"Christensen E, Curbera F, Meredith G, Weerawarana S (2001) Web services description language (WSDL), Version 1.1. \nhttp:\/\/www.w3.org\/TR\/wsdl\n\n. [Online; accessed 6-Jan-2017]"},{"issue":"5","key":"282_CR18","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MIC.2010.81","volume":"14","author":"M Crasso","year":"2010","unstructured":"Crasso M, Rodr\u00edguez JM, Zunino A, Campo M (2010) Revising WSDL documents: why and how. Internet Comput IEEE 14(5):48\u201356","journal-title":"Internet Comput IEEE"},{"key":"282_CR19","doi-asserted-by":"crossref","unstructured":"Diekmann R, Weidemann D (2013) Event enforcement in the context of the supervisory control theory, Mie\u0327dzyzdroje, Poland","DOI":"10.1109\/MMAR.2013.6670012"},{"key":"282_CR20","unstructured":"Domain WUW (2017) XML schema. \nhttps:\/\/www.w3.org\/XML\/Schema\n\n. [Online; Accessed 20 Aug 2017]"},{"key":"282_CR21","doi-asserted-by":"crossref","unstructured":"Dragert C, Dingel J, Rudie K (2008) Generation of concurrency control code using discrete-event systems theory. In: Proceedings of the 16th ACM international symposium on foundations of software engineering (SIGSOFT), vol FSE-16. ACM, New York, pp 146\u2013157","DOI":"10.1145\/1453101.1453122"},{"key":"282_CR22","volume-title":"Service-oriented architecture: a field guide to integrating XML and web services","author":"T Erl","year":"2004","unstructured":"Erl T (2004) Service-oriented architecture: a field guide to integrating XML and web services. Prentice Hall, New Jersey"},{"key":"282_CR23","doi-asserted-by":"crossref","unstructured":"Fabian M, Lennartson B (1996) On non-deterministic supervisory control. In: Proceedings of the 35th IEEE conference on decision and control, vol 2. IEEE, Kobe, pp 2213\u20132218","DOI":"10.1109\/CDC.1996.572970"},{"key":"282_CR24","doi-asserted-by":"crossref","unstructured":"Fayyad M, Kamel A, Salah A (2015) ACUAI framework for automatic composition of web services using gaming AI. In: Fifth international conference on digital information and communication technology and its applications (DICTAP). Lebanese University, Lebanon, pp 1\u20136","DOI":"10.1109\/DICTAP.2015.7113161"},{"key":"282_CR25","doi-asserted-by":"crossref","unstructured":"Ferrein A, Schiffer S, Lakemeyer G (2009) Embedding fuzzy controllers in golog. In: IEEE International conference on fuzzy systems, FUZZ-IEEE\u201909. IEEE, Jeju Island, pp 894\u2013899","DOI":"10.1109\/FUZZY.2009.5277161"},{"key":"282_CR26","doi-asserted-by":"publisher","unstructured":"Fu X, Bultan T, Suc JJ (2004) Analysis of interacting BPEL web services. In: Proceedings of the 13th international conference on world wide web, (WWW \u201904). ACM, New York, pp 621\u2013630, DOI \nhttps:\/\/doi.org\/10.1145\/988672.988756\n\n, (to appear in print)","DOI":"10.1145\/988672.988756"},{"key":"282_CR27","doi-asserted-by":"crossref","unstructured":"Gall TL, Jeannet B, Marchand H (2005) Supervisory control of infinite symbolic systems using abstract interpretation. In: Proceedings of the 44th IEEE conference on decision and control and european control conference (CDC-ECC \u201905). IEEE Control Systems Society, Melia Sevilla, pp 30\u201335","DOI":"10.1109\/CDC.2005.1582126"},{"key":"282_CR28","unstructured":"Gudgin M, Hadley M, Mendelsohn N, Moreau J, Nielsen HF, Karmarkar A, Lafon Y (2007) Simple object access protocol, Version 1.1. \nhttp:\/\/www.w3.org\/TR\/soap\/\n\n. [Online; accessed 20 Aug 2017]"},{"issue":"01","key":"282_CR29","doi-asserted-by":"publisher","first-page":"1450,015","DOI":"10.1142\/S0218213014500158","volume":"24","author":"O Hatzi","year":"2015","unstructured":"Hatzi O, Nikolaidou M, Vrakas D, Bassiliades N, Anagnostopoulos D, Vlahavas I (2015) Semantically aware web service composition through AI planning. Int J Artif Intell Tools 24(01):1450,015. \nhttps:\/\/doi.org\/10.1142\/S0218213014500158\n\n. \nhttp:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213014500158","journal-title":"Int J Artif Intell Tools"},{"key":"282_CR30","unstructured":"Hoffmann J, Bertoli P, Helmert M, Pistore M (2014) Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection. Computing Research Repository, arXiv:\n1401.3470"},{"key":"282_CR31","doi-asserted-by":"crossref","unstructured":"Honda K, Tokoro M (1991) An object calculus for asynchronous communication. In: Proceedings of the European conference on object-oriented programming (ECOOP), LNCS 512. Springer, Geneva, pp 133\u2013147","DOI":"10.1007\/BFb0057019"},{"issue":"4","key":"282_CR32","doi-asserted-by":"publisher","first-page":"2017","DOI":"10.12785\/amis\/080460","volume":"8","author":"H Jingjing","year":"2014","unstructured":"Jingjing H, Wei Z, Pesic M, Xing Z, Dongfeng Z (2014) Web service composition automation based on timed automata. Appl Math Inf Sci: Int J 8 (4):2017\u20132024","journal-title":"Appl Math Inf Sci: Int J"},{"key":"282_CR33","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Marconi A, Pistore M, Raik H (2013) Data-flow requirements for dynamic service composition. In: Proceedings of the IEEE 20th international conference on web services. IEEE, Santa Clara, pp 243\u2013250","DOI":"10.1109\/ICWS.2013.41"},{"key":"282_CR34","doi-asserted-by":"crossref","unstructured":"Khoumsi A (2013) A simple formal method to synthesize an orchestrator in web service composition. In: American control conference (ACC). USA, Washington, DC, pp 107\u2013112","DOI":"10.1109\/ACC.2013.6579822"},{"key":"282_CR35","unstructured":"Klusch M, Gerber A (2005) Semantic web service composition planning with OWLS-XPlan. In: Proceedings of the 1st international association for the advancement of artificial intelligence (AAAI) fall symposium on agents and the semantic web, Technical Report FS-05-01. AAAI Press, Arlington, pp 55\u201362"},{"issue":"2","key":"282_CR36","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R Kumar","year":"1993","unstructured":"Kumar R, Garg V, Marcus SI (1993) Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans Autom Control 38(2):232\u2013247","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"282_CR37","first-page":"23","volume":"31","author":"A Marconi","year":"2008","unstructured":"Marconi A, Pistore M, Traverso P (2008) Automated composition of web services: the ASTRO approach. IEEE Data Eng Bull Issues 31(3):23\u201326","journal-title":"IEEE Data Eng Bull Issues"},{"key":"282_CR38","unstructured":"McIlraith SA, Son TC (2002) Adapting golog for composition of semantic web services. In: Fensel D, Giunchiglia F, McGuinness DL, Williams MA (eds) Proceedings of the eights international conference on principles and knowledge representation and reasoning (KR-02). Morgan Kaufmann, Toulouse, pp 482\u2013496"},{"key":"282_CR39","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall International, Upper Saddle River"},{"key":"282_CR40","doi-asserted-by":"crossref","unstructured":"Miremadi S, \u00c5kesson K, Lennartson B (2008) Extraction and representation of a supervisor using guards in extended finite automata. In: Proceedings of the 9th international workshop on discrete event systems, (WODES 08). IEEE, Gothenburg, pp 193\u2013199","DOI":"10.1109\/WODES.2008.4605944"},{"key":"282_CR41","doi-asserted-by":"crossref","unstructured":"Na-Lumpoon P, Fauvet MC, Lbath A (2014) Toward a framework for automated service composition and execution. In: 8th International conference on software, knowledge, information management and applications (SKIMA). Kathmandu, Nepal, pp 1\u20138","DOI":"10.1109\/SKIMA.2014.7083532"},{"key":"282_CR42","unstructured":"Nath K, Dhar S, Basishtha S (2014) Web 1.0 to web 3.0 - evolution of the web and its various challenges. In: International conference on optimization, reliabilty, and information technology (ICROIT). IEEE, Faridabad, pp 86\u201389"},{"issue":"1","key":"282_CR43","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"D Nau","year":"2003","unstructured":"Nau D, Au T, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F (2003) SHOP2: an HTN planning system. J Artif Intell Res 20(1):379\u2013404","journal-title":"J Artif Intell Res"},{"key":"282_CR44","doi-asserted-by":"crossref","unstructured":"Niewiadomski A, Penczek W, Skaruz J (2014) A hybrid approach to web service composition problem in the planICS framework. In: Irfan A, Muhammad Y, Xavier F, Carme Q (eds) Mobile web information systems, lecture notes in computer science, vol 8640. Springer International Publishing, pp 17\u201328","DOI":"10.1007\/978-3-319-10359-4_2"},{"issue":"11","key":"282_CR45","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou MP, Traverso P, Dustdar D, Leymann F (2007) Service-oriented computing: state of the art and research challenges. IEEE Comput 40(11):38\u201345","journal-title":"IEEE Comput"},{"issue":"1","key":"282_CR46","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1142\/S0218213008003807","volume":"17","author":"J Pathak","year":"2008","unstructured":"Pathak J, Basu S, Lutz RR, Honavar V (2008) MOSCOE: an approach for composing web services through iterative reformulation of functional specifications. Int J Artif Intell Tools 17(1):109\u2013138","journal-title":"Int J Artif Intell Tools"},{"key":"282_CR47","first-page":"47","volume-title":"Lecture Notes in Computer Science","author":"Joachim Peer","year":"2005","unstructured":"Peer J (2005) A POP-based replanning agent for automatic web service composition. In: Proceedings of the second european conference on the semantic web: research and applications, ESWC\u201905. Springer, Berlin, pp 47\u201361"},{"key":"282_CR48","unstructured":"Pistore M, Marconi A, Bertoli P, Traverso P (2005a) Automated composition of web services by planning at the knowledge level. In: Proceedings of the nineteenth international joint conference on artificial intelligence. Professional Book Center, Edinburgh, pp 1252\u20131259"},{"key":"282_CR49","doi-asserted-by":"crossref","unstructured":"Pistore M, Traverso P, Bertoli P, Marconi A (2005b) Automated synthesis of composite BPEL4WS web services. In: Proceedings of the IEEE international conference on web services (ICWS\u201905). IEEE Computer Society, Orlando, pp 293\u2013301","DOI":"10.1109\/ICWS.2005.27"},{"issue":"3","key":"282_CR50","first-page":"60","volume":"7","author":"V Portchelvi","year":"2015","unstructured":"Portchelvi V, Venkatesan VP (2015) A goal-directed orchestration approach for agile service composition. Int J Inf Technol Comput Sci (IJITCS) 7(3):60\u201367","journal-title":"Int J Inf Technol Comput Sci (IJITCS)"},{"key":"282_CR51","doi-asserted-by":"crossref","unstructured":"Raik H, Bucchiarone H, Khurshid N, Marconi A, Pistore M (2012) ASTRO-CAptEvo: dynamic context-aware adaptation for service-based systems. In: Proceedings of the IEEE Eighth World congress on services, SERVICES \u201912. IEEE Computer Society, Washington, DC, pp 385\u2013392","DOI":"10.1109\/SERVICES.2012.14"},{"issue":"1","key":"282_CR52","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim (SICON) 25(1):206\u2013230. \nhttps:\/\/doi.org\/10.1137\/0325013","journal-title":"SIAM J Control Optim (SICON)"},{"key":"282_CR53","doi-asserted-by":"crossref","unstructured":"Rao J, Dimitrov D, Hofmann P, Sadeh NM (2006) A mixed initiative approach to semantic web service discovery and composition: SAP\u2019s guided procedures framework. In: IEEE International conference on web services (ICWS\u201906). IEEE Computer Society, Chicago, pp 401\u2013410","DOI":"10.1109\/ICWS.2006.149"},{"key":"282_CR54","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.engappai.2016.03.009","volume":"53","author":"G Rodr\u00edguez","year":"2016","unstructured":"Rodr\u00edguez G, Soria A, Campo M (2016) Artificial intelligence in service-oriented software design. Eng Appl Artif Intell 53:86\u2013104. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0952197616300677","journal-title":"Eng Appl Artif Intell"},{"key":"282_CR55","doi-asserted-by":"crossref","unstructured":"Rodriguez-Mier P, Mucientes M, Lama M (2011) Automatic web service composition with a heuristic-based search algorithm. In: IEEE International conference on web services (ICWS). USA, Washington DC, pp 81\u201388","DOI":"10.1109\/ICWS.2011.89"},{"key":"282_CR56","unstructured":"Silva FO, Rosa PF (2006) The quest for the web services stack: a fast trip. In: Proceedings of the 6th international conference on web engineering, ICWE \u201906. ACM, New York, pp 93\u201394"},{"issue":"4","key":"282_CR57","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E Sirin","year":"2004","unstructured":"Sirin E, Parsia B, Wu D, Hendler J, Nau D (2004) HTN planning for web service composition using SHOP2. Web Sem: Sci Services Agents World Wide Web 1(4):377\u2013396. International Semantic Web Conference 2003","journal-title":"Web Sem: Sci Services Agents World Wide Web"},{"key":"282_CR58","doi-asserted-by":"crossref","unstructured":"Skogan D, Gr\u00f8nmo R, Solheim I (2004) Web service composition in UML. In: Proceedings of the eighth IEEE international enterprise distributed object computing conference, EDOC \u201904. IEEE Computer Society, Washington, DC, pp 47\u201357","DOI":"10.1109\/EDOC.2004.1342504"},{"key":"282_CR59","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-04930-9_38","volume-title":"Lecture Notes in Computer Science","author":"Shirin Sohrabi","year":"2009","unstructured":"Sohrabi S, McIlraith SA (2009) Optimizing web service composition while enforcing regulations. In: Proceedings of the 8th international semantic web conference, ISWC \u201909. Springer, Berlin, pp 601\u2013617, DOI \nhttps:\/\/doi.org\/10.1007\/978-3-642-04930-9_38\n\n, (to appear in print)"},{"issue":"1","key":"282_CR60","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TAC.2014.2337411","volume":"60","author":"M Teixeira","year":"2015","unstructured":"Teixeira M, Malik R, Cury J, de Queiroz M (2015) Supervisory control of DES with extended finite-state machines and variable abstraction. IEEE Trans Autom Control 60(1):118\u2013129","journal-title":"IEEE Trans Autom Control"},{"key":"282_CR61","unstructured":"Wang Y, Nazeem A (2011) Artifact-centric business process synthesis framework using discrete event systems theory. Tech. rep., HP Laboratories"},{"key":"282_CR62","doi-asserted-by":"crossref","unstructured":"Wang Y, Lafortune S, Kelly T, Kudlur M, Mahlke S (2009) The theory of deadlock avoidance via discrete control. In: Proceedings of the 36th annual SIGPLAN-SIGACT symposium on principles of programming languages (POPL\u201909), New York, pp 252\u2013263","DOI":"10.1145\/1594834.1480913"},{"issue":"12","key":"282_CR63","doi-asserted-by":"publisher","first-page":"259","DOI":"10.3182\/20100830-3-DE-4013.00044","volume":"43","author":"Yin Wang","year":"2010","unstructured":"Wang Y, Cho H, Liao H, Nazeem A, Kelly T, Lafortune S, Mahlke S, Reveliotis S (2010) Supervisory control of software execution for failure avoidance: experience from the Gadara project. In: Raisch J, Giua A, Lafortune S, Moor T (eds) Proceedings of the international workshop on discrete event systems (WODES\u201910), vol 43. International Federation of Automatic Control, Technische Universit\u00e4t, Berlin, pp 259\u2013266","journal-title":"IFAC Proceedings Volumes"},{"issue":"1","key":"282_CR64","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1080\/17517575.2011.584132","volume":"8","author":"P Wang","year":"2014","unstructured":"Wang P, Ding Z, Jiang C, Zhou M (2014) Automated web service composition supporting conditional branch structures. Enterprise Inf Syst 8(1):121\u2013146. \nhttps:\/\/doi.org\/10.1080\/17517575.2011.584132","journal-title":"Enterprise Inf Syst"},{"key":"282_CR65","unstructured":"Wonham WM, Cai K (2019) Supervisory control of discrete-event systems. Springer International Publishing, pp XX\u2013489"},{"issue":"3","key":"282_CR66","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"WM Wonham","year":"1987","unstructured":"Wonham WM, Ramadge PJ (1987) On the supremal controllable sublanguage of a given language. SIAM J Control Optim 25(3):637\u2013659","journal-title":"SIAM J Control Optim"},{"key":"282_CR67","unstructured":"Wu Z, Ranabahu A, Gomadam K, Sheth AP, Miller JA (2007) Automatic composition of semantic web services using process and data mediation. Technical report, Kno.e.sis Center, Wright State University, Dayton, Ohio USA"},{"key":"282_CR68","doi-asserted-by":"publisher","unstructured":"Yang J, Zhou X, Wang J, Zhu X (2014) A novel method for web service composition based on extended BDI. In: IEEE 11th International conference on networking, sensing and control, (ICNSC\u201914). IEEE, Miami, pp 310\u2013315, DOI \nhttps:\/\/doi.org\/10.1109\/ICNSC.2014.6819644\n\n, (to appear in print)","DOI":"10.1109\/ICNSC.2014.6819644"},{"issue":"4","key":"282_CR69","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"28","author":"P Zafiropulo","year":"1980","unstructured":"Zafiropulo P, West C, Rudin H, Cowan D, Brand D (1980) Towards analyzing and synthesizing protocols. IEEE Trans Commun 28(4):651\u2013661","journal-title":"IEEE Trans Commun"},{"issue":"99","key":"282_CR70","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/MIS.2014.19","volume":"PP","author":"N Zhong","year":"2014","unstructured":"Zhong N, Chen J, Ma J, Yao Y, Liu J, Huang R, Li W, Huang Z, Gao Y, Cao J (2014) WaaS-wisdom as a service. Intell Syst IEEE PP(99):1\u20131. \nhttps:\/\/doi.org\/10.1109\/MIS.2014.19","journal-title":"Intell Syst IEEE"},{"issue":"3","key":"282_CR71","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1109\/TASE.2006.891474","volume":"4","author":"C Zhou","year":"2007","unstructured":"Zhou C, Kumar R (2007) Control of nondeterministic discrete-event systems for simulation equivalence. IEEE Trans Autom Sci Eng 4(3):340\u2013349","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"1","key":"282_CR72","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/TSC.2012.27","volume":"7","author":"G Zou","year":"2014","unstructured":"Zou G, Lu Q, Chen Y, Huang R, Xu Y, Xiang Y (2014) QoS-aware dynamic composition of web services using numerical temporal planning. IEEE Trans Serv Comput 7(1):18\u201331","journal-title":"IEEE Trans Serv Comput"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00282-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00282-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00282-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,29]],"date-time":"2020-07-29T23:41:38Z","timestamp":1596066098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00282-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,31]]},"references-count":72,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["282"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00282-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2019,7,31]]},"assertion":[{"value":"12 September 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 May 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}