Abstract
We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Eclipse Website. http://www.eclipse.org/
jABC Website. http://www.jabc.de
Rational Unified Process. http://www-306.ibm.com/software/awdtools/rup/
Andrade, L., et al.: Coordination technologies for component-based systems. In: Proc. Integrated Design and Process Technology (2002)
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)
Bakera, M., Renner, C.: GEAR - A Model Checking Plugin for the jABC framework. http://www.jabc.de/modelchecking/
Berg, T., Raffelt, H., Steffen, B.: LearnLib: A Library for Automata Learning and Experimentation. In: Proc. FMICS’05, ACM 10th Int. Worksh. on Formal Methods for Industrial Critical Systems, Lissabon, Portugal, Sept. 2005, ACM Press, New York (2005)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)
Clarke, S., et al.: Subject-oriented design: towards improved alignment of requirements, design, and code. ACM SIGPLAN Notices 34(10), 325–339 (1999)
Czarnecki, K.: Overview of generative software development. In: UPP, pp. 326–341 (2004)
Dwyer, M., Avrunin, G., Corbett, J.: Specification Patterns Website. http://patterns.projects.cis.ksu.edu/
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE’99, pp. 411–420. IEEE Press, Los Alamitos (1999)
Gouveia, J., et al.: Tool support for coordination-based software evolution. In: Proc. TOOLS’01: Technology of Object-Oriented Languages and Systems, Washington DC, p. 184. IEEE Press, Los Alamitos (2001)
Högl, 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)
Hörmann, M., et al.: The jABC Appraoch to Collaborative Development of Embedded Applications. In: CCE’06, Int. Workshop on Challenges in Collaborative Engineering - State of the Art and Future Challenges on collaborative Design, Prag, CZ, April 2006 (Industry day) (2006)
Hungar, H., Margaria, T., Steffen, B.: Test-Based Model Generation for Legacy Systems. In: Proc. IEEE ITC’03, Charlotte, pp. 971–980. IEEE Computer Society Press, Los Alamitos (2003)
Jörges, S.: FormulaBuilder Website. http://www.jabc.de/formulabuilder/
Jörges, S., Margaria, T., Steffen, B.: Formulabuilder: A tool for graph-based modelling and generation of formulae. In: Proc. ICSE’06 Shanghai (May 2006)
Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV’05, 1st Int. Worksh. Automated Specif. and Verification of Web Sites, Valencia, March 2005. ENTCS, vol. 1132 (2005)
Katz, S.: A superimposition control construct for distributed systems. ACM TOPLAS 15(2), 337–356 (1993)
Kozen, D.: Results on the propositional mu-calculus. Theoretical Computer Science 27, 333–354 (1983)
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–November 2006)
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)
ITU-T: Intelligent Network - Global Functional Plane Architecture. Recommendation Q.1203 (Oct. 1992)
ITU-T: Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4. Recommendation Q.1204 (Sept. 1997)
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. 3923, pp. 101–104. Springer, Heidelberg (2006)
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)
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–436. IEEE Computer Society Press, Los Alamitos (2005)
Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3), 107–123 (2004)
Margaria, T., Steffen, B., Reitenspieß, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450–464. Springer, Heidelberg (2005)
Müller-Olm, M., Yoo, H.: Metagame: An animation tool for model-checking games. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 163–167. Springer, Heidelberg (2004)
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. 137, pp. 337–351. Springer, Heidelberg (1982)
Steffen, B., et al.: Intelligent Software Synthesis in the ”DaCapo” Environment. BRICS Report, Proc. 6th /Nordic Workshop on Programming Theory/, Aarhus, Denmark, October 1994 94(6) (1994)
Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)
Stirling, C., Stevens, P.: Practical model-checking using games. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol. 1384, pp. 85–101. Springer, Heidelberg (1998)
Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 95. LNCS, vol. 900, pp. 1–13. Springer, Heidelberg (1995)
Topnik, C., et al.: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). In: Valmari, A. (ed.) Model Checking Software. LNCS, vol. 3925, pp. 293–298. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C. (2007). Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds) Hardware and Software, Verification and Testing. HVC 2006. Lecture Notes in Computer Science, vol 4383. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70889-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-70889-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70888-9
Online ISBN: 978-3-540-70889-6
eBook Packages: Computer ScienceComputer Science (R0)