{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:29:10Z","timestamp":1740720550527,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165603"},{"type":"electronic","value":"9783642165610"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_14","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:50:50Z","timestamp":1288705850000},"page":"82-96","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and Reasoning about Service Behaviors and Their Compositions"],"prefix":"10.1007","author":[{"given":"Aida","family":"\u010cau\u0161evi\u0107","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994), citeseer.nj.nec.com\/alur94theory.html","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-45351-2_8","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R.: Optimal paths in weighted timed automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 49\u201362. Springer, Heidelberg (2001)"},{"key":"14_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.: BPEL4WS, Business Process Execution Language for Web Services Version 1.1. IBM (2003)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.4204\/EPTCS.10.3","volume":"10","author":"B. Badban","year":"2009","unstructured":"Badban, B., Leue, S., Smaus, J.-G.: Automated predicate abstraction for real-time models. EPTCS\u00a010, 36 (2009), doi:10.4204\/EPTCS.10.3","journal-title":"EPTCS"},{"key":"14_CR5","unstructured":"Causevic, A., Seceleanu, C., Pettersson, P.: Formal reasoning of resource-aware services. Technical Report ISSN 1404-3041 ISRN MDH-MRTC-245\/2010-1-SE, M\u00e4lardalen University (June 2010)"},{"key":"14_CR6","volume-title":"2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009)","author":"A. Causevic","year":"2009","unstructured":"Causevic, A., Vulgarakis, A.: Towards a unified behavioral model for component-based and service-oriented systems. In: 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009). IEEE Computer Society Press, Los Alamitos (July 2009)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11549970_17","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"G. D\u00edaz","year":"2005","unstructured":"D\u00edaz, G., Pardo, J.J., Cambronero, M.E., Valero, V., Cuartero, F.: Automatic translation of ws-cdl choreographies to timed automata. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 230\u2013242. Springer, Heidelberg (2005)"},{"issue":"8","key":"14_CR8","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. ACM Commun.\u00a018(8), 453\u2013457 (1975)","journal-title":"ACM Commun."},{"key":"14_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate calculus and program semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, New York (1990)"},{"key":"14_CR10","first-page":"225","volume-title":"ESEC-FSE 2007: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering","author":"H. Foster","year":"2007","unstructured":"Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D., Uchitel, S.: Model checking service compositions under resource constraints. In: ESEC-FSE 2007: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pp. 225\u2013234. ACM, New York (2007)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11495628_5","volume-title":"Scenarios: Models, Transformations and Tools","author":"H. Giese","year":"2003","unstructured":"Giese, H., Klein, F.: Autonomous shuttle system case study. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 90\u201394. Springer, Heidelberg (2003)"},{"key":"14_CR12","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web services choreography description language version 1.0. World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109 (November 2005)"},{"key":"14_CR13","first-page":"77","volume-title":"WWW 2002: Proceedings of the 11th international conference on World Wide Web","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002: Proceedings of the 11th international conference on World Wide Web, pp. 77\u201388. ACM, New York (2002)"},{"key":"14_CR14","unstructured":"Object Management Group (OMG): Business Process Modeling Notation (BPMN) version 1.1 (January 2008), http:\/\/www.omg.org\/spec\/BPMN\/1.1\/"},{"issue":"1","key":"14_CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontology"},{"key":"14_CR16","unstructured":"Rychl\u00fd, M.: Behavioural modeling of services: from service-oriented architecture to component-based system. In: Software Engineering Techniques in Progress, pp. 13\u201327. Wroclaw University of Technology (2008)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/ICWS.2004.1314722","volume-title":"ICWS 2004: Proceedings of the IEEE International Conference on Web Services","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: ICWS 2004: Proceedings of the IEEE International Conference on Web Services, p. 43. IEEE Computer Society Press, Washington (2004)"},{"key":"14_CR18","unstructured":"Seceleanu, C.: A Methodology for Constructing Correct Reactive Systems. Ph.D. thesis, Turku Centre for Computer Science (TUCS) (December 2005)"},{"key":"14_CR19","volume-title":"Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009)","author":"C. Seceleanu","year":"2009","unstructured":"Seceleanu, C., Vulgarakis, A., Pettersson, P.: Remes: A resource model for embedded systems. In: Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). IEEE Computer Society, Los Alamitos (June 2009)"},{"key":"14_CR20","unstructured":"Ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Formal methods for service composition. Annals of Mathematics, Computing & Teleinformatics\u00a01(5), 1\u201310 (2007), http:\/\/journals.teilar.gr\/amct\/"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T13:51:42Z","timestamp":1740664302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}