{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T19:40:08Z","timestamp":1744054808834,"version":"3.40.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T00:00:00Z","timestamp":1346716800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11761-012-0118-y","type":"journal-article","created":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T11:50:00Z","timestamp":1346673000000},"page":"303-319","source":"Crossref","is-referenced-by-count":5,"title":["A modelling approach to Service oriented Architecture for on-line diagnosis"],"prefix":"10.1007","volume":"6","author":[{"given":"Mohammed","family":"Alodib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,4]]},"reference":[{"issue":"2","key":"118_CR1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1008241818642","volume":"8","author":"A Aghasaryan","year":"1998","unstructured":"Aghasaryan A, Fabre E, Benveniste A, Boubour R, Jard C (1998) Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Discret Event Dyn Syst 8(2): 203\u2013231","journal-title":"Discret Event Dyn Syst"},{"key":"118_CR2","volume-title":"Compilers: principles, techniques, and tools","author":"AV Aho","year":"1986","unstructured":"Aho AV, Sethi R, Ullman JD (1986) Compilers: principles, techniques, and tools. Addison-Wesley, USA"},{"key":"118_CR3","unstructured":"Allweyer T (2010) BPMN 2.0.BoD"},{"key":"118_CR4","doi-asserted-by":"crossref","unstructured":"Alodib M, Bordbar B (2008) A model driven architecture approach to fault tolerance in Service oriented Architectures, a performance study. In: Proceedings of the 12th enterprise distributed object computing conference workshops, pp 293\u2013300","DOI":"10.1109\/EDOCW.2008.8"},{"key":"118_CR5","doi-asserted-by":"crossref","unstructured":"Alodib M, Bordbar B (2009) A model-based approach to fault diagnosis in Service oriented Architectures. In: Proceedings of the IEEE European conference on web services (ECOWS), The Netherlands, pp 129\u2013138","DOI":"10.1109\/ECOWS.2009.13"},{"key":"118_CR6","doi-asserted-by":"crossref","unstructured":"Alodib M, Bordbar B, Majeed B (2008) A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. In: IEEE conference on digital information management, pp 464\u2013469","DOI":"10.1109\/ICDIM.2008.4746773"},{"issue":"3","key":"118_CR7","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/32.126773","volume":"18","author":"Z Ammarguellat","year":"1992","unstructured":"Ammarguellat Z (1992) A control-flow normalization algorithm and its complexity. IEEE Trans Softw Eng 18(3): 237\u2013251","journal-title":"IEEE Trans Softw Eng"},{"key":"118_CR8","unstructured":"Andrieux A, Czajkowski K, Dan A, Keahey K, Ludwig H, Nakata T, Pruyne J, Rofrano J, Tuecke S, Xu M Web services agreement specification (WS-Agreement)"},{"key":"118_CR9","unstructured":"Arkin A, Askary S, Fordin S, Jekeli W, Kawaguchi K, Orchard D, Pogliani S, Riemer K, Struble S, Nagy PT, Trickovic I, Zimek S (2002) Web service choreography interface (wsci) 1.0. Technical report"},{"issue":"1","key":"118_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1147\/sj.441.0067","volume":"44","author":"A Arsanjani","year":"2005","unstructured":"Arsanjani A (2005) Empowering the business analyst for on demand computing. IBM Syst J 44(1): 67\u201380","journal-title":"IBM Syst J"},{"issue":"3","key":"118_CR11","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MIC.2010.66","volume":"14","author":"L Baresi","year":"2010","unstructured":"Baresi L, Guinea S, Nano O, Spanoudakis G (2010) Comprehensive monitoring of bpel processes. IEEE Internet Comput 14(3): 50\u201357","journal-title":"IEEE Internet Comput"},{"key":"118_CR12","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S, Plebani M (2007) Business process monitoring for dependability, pp 337\u2013361","DOI":"10.1007\/978-3-540-74035-3_15"},{"key":"118_CR13","unstructured":"BEA, IBM Microsoft, SAP A, Systems S (2003) Business Process Execution Language for web services. version 1.1"},{"key":"118_CR14","doi-asserted-by":"crossref","unstructured":"Cabasino M, Giua A, Lafortune S, Seatzu, C (2009) Diagnosability analysis of unbounded Petri nets. In: Proceedings of the 48th IEEE conference on decision and control (CDC09), Shanghai","DOI":"10.1109\/CDC.2009.5400608"},{"key":"118_CR15","first-page":"341","volume-title":"Conceptual modeling of workflows","author":"F Casati","year":"1995","unstructured":"Casati F, Ceri S, Pernici B, Pozzi G (1995) Conceptual modeling of workflows. Springer, Berlin, pp 341\u2013354"},{"key":"118_CR16","volume-title":"Introduction to Discrete Event Systems","author":"C Cassandras","year":"2007","unstructured":"Cassandras C, Lafortune S (2007) Introduction to Discrete Event Systems. Springer, Berlin"},{"key":"118_CR17","unstructured":"Chinnici R, Moreau JJ, Ryman A, Weerawarana S (2006) Web services description language (wsdl) version 2.0"},{"key":"118_CR18","volume-title":"Structured programming","author":"OJ Dahl","year":"1972","unstructured":"Dahl OJ, Dijkstra EW, Hoare CAR (1972) Structured programming, 3 edn. Academic Press, London","edition":"3"},{"issue":"1","key":"118_CR19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R Debouk","year":"2000","unstructured":"Debouk R, Lafortune S, Teneketzis D (2000) A coordinated decentralized protocols for failure diagnosis of Discrete Event Systems. Discret Event Dyn Syst Theory Appl 10(1): 33\u201386","journal-title":"Discret Event Dyn Syst Theory Appl"},{"key":"118_CR20","unstructured":"Department: Software Verification, U.o.M. Stress test strategy"},{"key":"118_CR21","unstructured":"Dijkstra E (1979) Go to statement considered harmful, pp 27\u201333"},{"key":"118_CR22","unstructured":"Fasbinder M (2007) Using loops in websphere business modeler v6 to improve simulations and xport to bpel. Technical report, WebSphere Software Technical Sales, IBM"},{"key":"118_CR23","unstructured":"Friess M, Fussi E, Konig D, Pfau G, Ruttinger S, Schwenkreis F, Zentner C (2006) Websphere process server v6\u2014business process choreographer: concepts and architecture. IBM Group"},{"key":"118_CR24","doi-asserted-by":"crossref","unstructured":"Genc S, Lafortune S (2003) Distributed diagnosis of discrete-event systems using Petri nets. In: International conference on applications and theory of Petri nets, pp 316\u2013336","DOI":"10.1007\/3-540-44919-1_21"},{"issue":"9","key":"118_CR25","doi-asserted-by":"crossref","first-page":"1424","DOI":"10.1109\/TAC.2002.802769","volume":"47","author":"A Giua","year":"2002","unstructured":"Giua A, Seatzu C (2002) Observability of place\/transition nets. IEEE Trans Autom Control 47(9): 1424\u20131437","journal-title":"IEEE Trans Autom Control"},{"key":"118_CR26","doi-asserted-by":"crossref","unstructured":"Giua A, Seatzu C (2005) Fault detection for Discrete Event Systems using Petri nets with unobservable transitions. In: 44th IEEE conference on decision and control, pp 6323\u20136328","DOI":"10.1109\/CDC.2005.1583175"},{"key":"118_CR27","unstructured":"Hamscher W, Console L, de Kleer J (eds)(1992) Readings in model-based diagnosis. Morgan Kaufmann Publishers Inc., USA"},{"issue":"6","key":"118_CR28","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1109\/TAC.2004.829616","volume":"49","author":"S Jiang","year":"2004","unstructured":"Jiang S, Kumar R (2004) Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans Autom Control 49(6): 934\u2013945","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"118_CR29","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/s10626-007-0036-x","volume":"18","author":"G Jiroveanu","year":"2008","unstructured":"Jiroveanu G, Boel RK, Bordbar B (2008) On-line monitoring of large Petri net models under partial observation. Discret Event Dyn Syst 18(3): 323\u2013354","journal-title":"Discret Event Dyn Syst"},{"key":"118_CR30","volume-title":"Business Process Execution Language for web services","author":"MB Juric","year":"2004","unstructured":"Juric MB, Mathew B, Sarang P (2004) Business Process Execution Language for web services. Packt Publishing, Birmingham"},{"key":"118_CR31","doi-asserted-by":"crossref","unstructured":"Koehler J, Hauser R (2004) Untangling unstructured cyclic flows\u2014a solution based on continuations, pp 121\u2013138","DOI":"10.1007\/978-3-540-30468-5_10"},{"key":"118_CR32","unstructured":"Koehler J, Vanhatalo J (2007) Process anti-patterns: how to avoid the common traps of business process modeling, part 1. Technical report, IBM WebSphere Developer Technical Journal"},{"key":"118_CR33","doi-asserted-by":"crossref","unstructured":"Le Guillou X, Cordier MO, Robin S, Roz\u00c9 L (2008) Chronicles For on-line diagnosis of distributed systems. Research report","DOI":"10.3233\/978-1-58603-891-5-194"},{"key":"118_CR34","doi-asserted-by":"crossref","unstructured":"Le Guillou X, Cordier MO, Robin S, Roz\u00e9 L (2008) Chronicles for on-line diagnosis of distributed systems. In: Proceeding of ECAI, The Netherlands, pp 194\u2013198","DOI":"10.3233\/978-1-58603-891-5-194"},{"key":"118_CR35","doi-asserted-by":"crossref","unstructured":"Li Y, Ye L, Dague P, Melliti T (2009) A decentralized model-based diagnosis for bpel services. In: Proceedings of the international conference on tools with artificial intelligence, USA, pp 609\u2013616","DOI":"10.1109\/ICTAI.2009.77"},{"issue":"4","key":"118_CR36","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541\u2013580","journal-title":"Proc IEEE"},{"key":"118_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W Reisig","year":"1985","unstructured":"Reisig W (1985) Petri nets: an introduction. Springer, New York"},{"key":"118_CR38","doi-asserted-by":"crossref","unstructured":"Ricker L, Lafortune S, Genc S (2006) Desuma: a tool integrating giddes and umdes. In: WODES","DOI":"10.1109\/WODES.2006.382402"},{"key":"118_CR39","doi-asserted-by":"crossref","unstructured":"Sadiq W, Orlowska ME (1999) Applying graph reduction techniques for identifying structural conflicts in process models. In: Proceedings of CAiSE, pp 195\u2013209","DOI":"10.1007\/3-540-48738-7_15"},{"key":"118_CR40","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40: 1555\u20131575","journal-title":"IEEE Trans Autom Control"},{"key":"118_CR41","doi-asserted-by":"crossref","unstructured":"Vanhatalo J, V\u00f6lzer H, Leymann F (2007) Faster and more focused control-flow analysis for business process models through sese decomposition. In: Proceedings of the international conference on service-oriented computing, pp 43\u201355","DOI":"10.1007\/978-3-540-74974-5_4"},{"issue":"1","key":"118_CR42","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1): 21\u201366","journal-title":"J Circuits Syst Comput"},{"key":"118_CR43","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Hirnschall A, Verbeek HMWE (2002) An alternative way to analyze Workflow Graphs. In: Proceedings of the international conference on advanced information systems engineering, London, pp 535\u2013552","DOI":"10.1007\/3-540-47961-9_37"},{"key":"118_CR44","doi-asserted-by":"crossref","unstructured":"Wang Y, Kelly T, Lafortune S (2007) Discrete control for safe execution of it automation workflows. In: EuroSys, pp 305\u2013314","DOI":"10.1145\/1272996.1273028"},{"issue":"2","key":"118_CR45","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10626-006-0006-8","volume":"17","author":"Y Wang","year":"2007","unstructured":"Wang Y, Yoo TS, Lafortune S (2007) Diagnosis of Discrete Event Systems using decentralized architectures. Discret Event Dyn Syst 17(2): 233\u2013263","journal-title":"Discret Event Dyn Syst"},{"key":"118_CR46","unstructured":"www.cs.bham.ac.uk\/~bxb\/public\/mxa\/data2010.pdf"},{"key":"118_CR47","doi-asserted-by":"crossref","unstructured":"Yan Y, Dague P (2007) Modeling and diagnosing orchestrated web service processes. In: IEEE conference on web services, pp 51\u201359","DOI":"10.1109\/ICWS.2007.124"},{"key":"118_CR48","unstructured":"Yan Y, Pencole Y, Cordier MO, Grastien A (2005) Monitoring web service networks in a model-based approach. In: ECOWS05"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-012-0118-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-012-0118-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-012-0118-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T19:21:30Z","timestamp":1744053690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-012-0118-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,4]]},"references-count":48,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["118"],"URL":"https:\/\/doi.org\/10.1007\/s11761-012-0118-y","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"type":"print","value":"1863-2386"},{"type":"electronic","value":"1863-2394"}],"subject":[],"published":{"date-parts":[[2012,9,4]]}}}