{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:15:03Z","timestamp":1778253303188,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540708889","type":"print"},{"value":"9783540708896","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70889-6_7","type":"book-chapter","created":{"date-parts":[[2007,5,10]],"date-time":"2007-05-10T14:04:16Z","timestamp":1178805856000},"page":"92-108","source":"Crossref","is-referenced-by-count":107,"title":["Model-Driven Development with the jABC"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Steffen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"J\u00f6rges","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kubczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Eclipse Website. http:\/\/www.eclipse.org\/"},{"key":"7_CR2","unstructured":"jABC Website. http:\/\/www.jabc.de"},{"key":"7_CR3","unstructured":"Rational Unified Process. http:\/\/www-306.ibm.com\/software\/awdtools\/rup\/"},{"key":"7_CR4","unstructured":"Andrade, L., et al.: Coordination technologies for component-based systems. In: Proc. Integrated Design and Process Technology (2002)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bajohr, M., Margaria, T.: MATRICS: A Management Tool for Remote Intelligent Configuration of Systems. Innovations in System and Software Engineering - a NASA Journal (July 2006)","DOI":"10.1007\/s11334-006-0003-y"},{"key":"7_CR6","unstructured":"Bakera, M., Renner, C.: GEAR - A Model Checking Plugin for the jABC framework. http:\/\/www.jabc.de\/modelchecking\/"},{"key":"7_CR7","volume-title":"Proc. FMICS\u201905, ACM 10th Int. Worksh. on Formal Methods for Industrial Critical Systems","author":"T. Berg","year":"2005","unstructured":"Berg, T., Raffelt, H., Steffen, B.: LearnLib: A Library for Automata Learning and Experimentation. In: Proc. FMICS\u201905, ACM 10th Int. Worksh. on Formal Methods for Industrial Critical Systems, Lissabon, Portugal, Sept. 2005, ACM Press, New York (2005)"},{"key":"7_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)"},{"issue":"10","key":"7_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/320385.320420","volume":"34","author":"S. Clarke","year":"1999","unstructured":"Clarke, S., et al.: Subject-oriented design: towards improved alignment of requirements, design, and code. ACM SIGPLAN Notices\u00a034(10), 325\u2013339 (1999)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Czarnecki, K.: Overview of generative software development. In: UPP, pp. 326\u2013341 (2004)","DOI":"10.1007\/11527800_25"},{"key":"7_CR11","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Specification Patterns Website. http:\/\/patterns.projects.cis.ksu.edu\/"},{"key":"7_CR12","first-page":"411","volume-title":"Proc. ICSE\u201999","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE\u201999, pp. 411\u2013420. IEEE Press, Los Alamitos (1999)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1109\/TOOLS.2001.911772","volume-title":"Proc. TOOLS\u201901: Technology of Object-Oriented Languages and Systems","author":"J. Gouveia","year":"2001","unstructured":"Gouveia, J., et al.: Tool support for coordination-based software evolution. In: Proc. TOOLS\u201901: Technology of Object-Oriented Languages and Systems, Washington DC, p. 184. IEEE Press, Los Alamitos (2001)"},{"key":"7_CR14","unstructured":"H\u00f6gl, M., Margaria, T., Steffen, B.: The GalileoGate Solution Factory for Location-Based Integrated Services. In: Proc. IDPT 2006, Int. Conf. on Integrated Design and Process Technologies, San Diego (June 2006)"},{"key":"7_CR15","unstructured":"H\u00f6rmann, M., et al.: The jABC Appraoch to Collaborative Development of Embedded Applications. In: CCE\u201906, Int. Workshop on Challenges in Collaborative Engineering - State of the Art and Future Challenges on collaborative Design, Prag, CZ, April 2006 (Industry day) (2006)"},{"key":"7_CR16","first-page":"971","volume-title":"Proc. IEEE ITC\u201903, Charlotte","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-Based Model Generation for Legacy Systems. In: Proc. IEEE ITC\u201903, Charlotte, pp. 971\u2013980. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"7_CR17","unstructured":"J\u00f6rges, S.: FormulaBuilder Website. http:\/\/www.jabc.de\/formulabuilder\/"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Formulabuilder: A tool for graph-based modelling and generation of formulae. In: Proc. ICSE\u201906 Shanghai (May 2006)","DOI":"10.1145\/1134285.1134422"},{"key":"7_CR19","unstructured":"Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV\u201905, 1st Int. Worksh. Automated Specif. and Verification of Web Sites, Valencia, March 2005. ENTCS, vol.\u00a01132 (2005)"},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S. Katz","year":"1993","unstructured":"Katz, S.: A superimposition control construct for distributed systems. ACM TOPLAS\u00a015(2), 337\u2013356 (1993)","journal-title":"ACM TOPLAS"},{"key":"7_CR21","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"},{"key":"7_CR22","unstructured":"Kubczak, C., et al.: The jABC Approach to Mediation and Choreography. In: Semantic Web Services Challenge 2006, Phase I-III Workshops, DERI, Stanford University, U. of Georgia (March\u2013November 2006)"},{"key":"7_CR23","unstructured":"I.T.U.: General recommendations on telephone switching and signaling - intelligent network: Introduction to intelligent network capability set 1. Recommendation Q.1211, Telecommunic. Standardization Sector of ITU, Geneva (Mar. 1993)"},{"key":"7_CR24","unstructured":"ITU-T: Intelligent Network - Global Functional Plane Architecture. Recommendation Q.1203 (Oct. 1992)"},{"key":"7_CR25","unstructured":"ITU-T: Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4. Recommendation Q.1204 (Sept. 1997)"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/11688839_9","volume-title":"Compiler Construction","author":"A.L. Lamprecht","year":"2006","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Data-Flow Analysis as Model Checking within the jABC. In: Mycroft, A., Zeller, A. (eds.) CC 2006 and ETAPS 2006. LNCS, vol.\u00a03923, pp. 101\u2013104. Springer, Heidelberg (2006)"},{"key":"7_CR27","volume-title":"Proc. ICECCS 2006","author":"T. Margaria","year":"2006","unstructured":"Margaria, T., et al.: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. In: Proc. ICECCS 2006, Stanford Univ., CA, USA, August 2006, IEEE, Los Alamitos (2006)"},{"key":"7_CR28","first-page":"431","volume-title":"Proc. IEEE ECBS 2005","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in JETI. In: Proc. IEEE ECBS 2005, Greenbelt, USA, April 2005, pp. 431\u2013436. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"2-3","key":"7_CR29","doi-asserted-by":"crossref","first-page":"107","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-3), 107\u2013123 (2004)","journal-title":"STTT"},{"key":"7_CR30","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":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-540-24730-2_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. M\u00fcller-Olm","year":"2004","unstructured":"M\u00fcller-Olm, M., Yoo, H.: Metagame: An animation tool for model-checking games. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 163\u2013167. Springer, Heidelberg (2004)"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"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: Dezani-Ciancaglini, M., Montanari, U. (eds.) International Symposium on Programming. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Heidelberg (1982)"},{"key":"7_CR33","unstructured":"Steffen, B., et al.: Intelligent Software Synthesis in the \u201dDaCapo\u201d Environment. BRICS Report, Proc. 6th \/Nordic Workshop on Programming Theory\/, Aarhus, Denmark, October 1994\u00a094(6) (1994)"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science","first-page":"85","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C. Stirling","year":"1998","unstructured":"Stirling, C., Stevens, P.: Practical model-checking using games. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol.\u00a01384, pp. 85\u2013101. Springer, Heidelberg (1998)"},{"key":"7_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"STACS 95","author":"W. Thomas","year":"1995","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 95. LNCS, vol.\u00a0900, pp. 1\u201313. Springer, Heidelberg (1995)"},{"key":"7_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11691617_18","volume-title":"Model Checking Software","author":"C. Topnik","year":"2006","unstructured":"Topnik, C., et al.: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). In: Valmari, A. (ed.) Model Checking Software. LNCS, vol.\u00a03925, pp. 293\u2013298. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70889-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:14Z","timestamp":1605762674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70889-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708889","9783540708896"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7","relation":{},"subject":[]}}