{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:10:41Z","timestamp":1743070241141,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_52","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T14:18:43Z","timestamp":1225808323000},"page":"724-737","source":"Crossref","is-referenced-by-count":8,"title":["The jABC Approach to Rigorous Collaborative Development of SCM Applications"],"prefix":"10.1007","author":[{"given":"Martina","family":"H\u00f6rmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Mender","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Trinh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","unstructured":"Active BPEL execution engine, http:\/\/www.activevos.com\/community-open-source.php"},{"key":"52_CR2","unstructured":"Bakera, M., Renner, C.: GEAR - A Model Checking Plugin for the jABC framework (2007), http:\/\/www.jabc.de\/modelchecking\/"},{"key":"52_CR3","unstructured":"BPEL specifications website, http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-bpel\/"},{"key":"52_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)"},{"key":"52_CR5","first-page":"82","volume-title":"OOPSLA","author":"J. Davis","year":"2003","unstructured":"Davis, J.: GME: Generic Modeling Environment, Demonstration session. In: OOPSLA, Anaheim, CA, pp. 82\u201383. ACM, New York (2003)"},{"key":"52_CR6","volume-title":"ARIS Design Platform: Advanced Process Modelling and Administration","author":"R. Davis","year":"2008","unstructured":"Davis, R.: ARIS Design Platform: Advanced Process Modelling and Administration. Springer, Heidelberg (2008)"},{"key":"52_CR7","unstructured":"Fujaba homepage, http:\/\/wwwcs.uni-paderborn.de\/cs\/fujaba\/index.html"},{"key":"52_CR8","doi-asserted-by":"crossref","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-Based Model Generation for Legacy Systems. In: IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2 (2003)","DOI":"10.1109\/TEST.2003.1271205"},{"key":"52_CR9","unstructured":"jABC Website, http:\/\/www.jabc.de"},{"key":"52_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Hardware and Software, Verification and Testing","author":"S. J\u00f6rges","year":"2007","unstructured":"J\u00f6rges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383. Springer, Heidelberg (2007)"},{"key":"#cr-split#-52_CR11.1","unstructured":"Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV 2005. 1st Int???l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15 (2005);"},{"key":"#cr-split#-52_CR11.2","unstructured":"Post Workshop Proc. appear in ENTCS"},{"key":"52_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the Propositional mu-Calculus. Theoretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"52_CR13","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10270-004-0072-z","volume":"4","author":"T. Margaria","year":"2005","unstructured":"Margaria, T.: Web Services-Based Tool-Integration in the ETI Platform. SoSyM, Int. Journal on Software and System Modelling\u00a04(2), 141\u2013156 (2005)","journal-title":"SoSyM, Int. Journal on Software and System Modelling"},{"issue":"11","key":"52_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2007.398","volume":"40","author":"T. Margaria","year":"2007","unstructured":"Margaria, T.: Service Is in the Eyes of the Beholder. IEEE Computer\u00a040(11), 33\u201337 (2007)","journal-title":"IEEE Computer"},{"key":"52_CR15","first-page":"183","volume-title":"ICECCS 2008, 13th IEEE Intern. Conf. on Engineering of Complex Computer Systems","author":"T. Margaria","year":"2008","unstructured":"Margaria, T.: The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. In: ICECCS 2008, 13th IEEE Intern. Conf. on Engineering of Complex Computer Systems, Belfast, UK, April 2008, pp. 183\u2013189. IEEE CS Press, Los Alamitos (2008)"},{"key":"52_CR16","first-page":"431","volume-title":"Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt, USA, April 2005, pp. 431\u2013436. IEEE Computer Soc. Press, Los Alamitos (2005)"},{"key":"52_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT\u00a05(2\u20133), 107\u2013123 (2004)","journal-title":"STTT"},{"key":"52_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. VSTTE 2005, Verified Software\u2014Theories, Tools, and Experiments, IFIP Working Conference","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B.: From the How to the What. In: Proc. VSTTE 2005, Verified Software\u2014Theories, Tools, and Experiments, IFIP Working Conference, Zurich. LNCS, vol.\u00a04171. Springer, Heidelberg (2005)"},{"key":"52_CR19","first-page":"53","volume-title":"IEEE Computer, issue 60th anniv. of the Computer Society","author":"T. Margaria","year":"2006","unstructured":"Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. In: IEEE Computer, issue 60th anniv. of the Computer Society, pp. 53\u201363. IEEE Press, Los Alamitos (2006)"},{"key":"52_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11596141_34","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"52_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"volume-title":"Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)","year":"2008","key":"52_CR22","unstructured":"Petrie, C., Lausen, H., Zaremba, M., Margaria, T. (eds.): Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (to appear, November 2008)"},{"key":"52_CR23","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"Proc. 5th Colloquium on International Symposium on Programming","author":"J.-P. Queille","year":"1982","unstructured":"Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Proc. 5th Colloquium on International Symposium on Programming, pp. 337\u2013351. Springer, London (1982)"},{"key":"52_CR24","unstructured":"Rational Unified Process, http:\/\/www-306.ibm.com\/software\/awdtools\/rup\/"},{"key":"52_CR25","unstructured":"Semantic Web Services Challenge: Challenge on Automating Web Services Mediation, Choreography and Discovery, http:\/\/www.sws-challenge.org\/"},{"issue":"11","key":"52_CR26","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer\u00a040(11), 64\u201373 (2007)","journal-title":"IEEE Computer"},{"key":"52_CR27","unstructured":"SUN Microsystems\u2019s NetBeans IDE, www.netbeans.org"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T13:52:53Z","timestamp":1738504373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_52","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}