Model-driven development with the JABC

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4383 LNCS, Issue , 2007, Pages 92-108

  Steffen, Bernhard ^a   Margaria, Tiziana ^b   Nagel, Ralf ^a   Jorges, Sven ^a   Kubczak, Christian ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; HIERARCHICAL SYSTEMS; MODEL CHECKING; PRODUCT DEVELOPMENT; USER INTERFACES;

BUILDING-BLOCKS; COLLABORATIVE DESIGN; COMPLEX SOFTWARE SYSTEMS; LIGHTWEIGHT PROCESS COORDINATION;

SOFTWARE ENGINEERING;

EID: 38049113286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70889-6_7     Document Type: Conference Paper

References (37)

1. Eclipse Website, http://www.eclipse.org/.
2. jABC Website, http://www.jabc.de.
3. Rational Unified Process, http://www-306.ibm.com/software/ awdtools/rup/.
4. L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, A. Lopes, M. Wermelinger. Coordination technologies for component-based systems. In Proc. Integrated Design and Process Technology, 2002.
5. M. Bajohr, T. Margaria: MATRICS: A Management Tool for Remote Intelligent Configuration of Systems, Innovations in System and Software Engineering - a NASA Journal, Springer Verlag, July 2006.
6. M. Bakera and C. Renner. GEAR - A Model Checking Plugin for the jABC framework, http://www.jabc.de/modelchecking/.
7. T. Berg, H. Raffelt, B. Steffen: LearnLib: A Library for Automata Learning and Experimentation, Proc. FMICS'05 (ACM 10th Int. Worksh. on Formal Methods for Industrial Critical Systems), Sept. 2005, Lissabon (P), ACM Press.
8. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2001.
9. S. Clarke, W. Harrison, H. Ossher, and P. Tarr. Subject-oriented design: towards improved alignment of requirements, design, and code. ACM SIGPLAN Notices, 34(10):325-339, 1999.
10. K. Czarnecki. Overview of generative software development. In UPP, pages 326-341, 2004.
11. M. Dwyer, G. Avrunin, J. Corbett. Specification Patterns Website. http://patterns.proj ects.cis.ksu.edu/.
12. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In Proc. ICSE'99, pp. 411-420, Los Alamitos, CA, 1999. IEEE CS Press.
13. J. Gouveia, G. Koutsoukos, L. Andrade, J. L. Fiadeiro. Tool support for coordination-based software evolution. Proc. TOOLS'01: Technology of ObjectOriented Languages and Systems, p.184, Washington DC, 2001. IEEE CS Press.
14. M. Högl, T. Margaria, B. Steffen: The GalileoGate Solution Factory for LocationBased Integrated Services, Proc. IDPT 2006, Int. Conf. on Integrated Design and Process Technologies, San Diego, June 2006.
15. M. Hörmann, T. Margaria, T. Mender, R. Nagel, M. Schuster, B.Steffen, H. Trinh: The jABC Appraoch to Collaborative Development of Embedded Applications, 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).
16. H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, Proc. IEEE ITC'03, Charlotte, 2003, IEEE CS Press, pp.971-980.
17. S. Jorges. FormulaBuilder Website, http://www.jabc.de/ formulabuilder/.
18. S. Jörges, T. Margaria, and B. Steffen. Formulabuilder: A tool for graph-based modelling and generation of formulae. In Proc. ICSE'06 Shanghai, May 2006.
19. M. Karusseit, T. Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service, WWV'05, 1st Int. Worksh. Automated Specif, and Verification of Web Sites, Valencia, March 2005, ENTCS N. 1132.
20. S. Katz. A superimposition control construct for distributed systems. ACM TOPLAS., 15(2):337-356, 1993.
21. D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, 1983.
22. C. Kubczak, R. Nagel, T. Margaria, B. Steffen: The jABC Approach to Mediation and Choreography, Semantic Web Services Challenge 2006, Phase I-HI Workshops, DERI, Stanford University, U. of Georgia, March-November 2006.
23. ITU: 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.
24. ITU-T: Recommendation Q. 1203. "Intelligent Network - Global Functional Plane Architecture", Oct. 1992.
25. ITU-T: Recommendation Q. 1204. "Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4", Sept. 1997.
26. A.L. Lamprecht, T. Margaria, B.Steffen: Data-Flow Analysis as Model Checking within the jABC, Proc. CC'06, 15th Int. Conf. on Compiler Construction, Vienna (A), March 2006, LNCS, 3923, Springer Verlag, pp. 101-104.
27. T. Margaria, C. Kubczak, M. Njoku, B. Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC, Proc. ICECCS 2006, Stanford Univ., CA (USA), August 2006, IEEE CS Press.
28. T. Margaria, R. Nagel, B. Steffen: Remote Integration and Coordination of Verification Tools in JETI, Proc. IEEE ECBS 2005, April 2005, Greenbelt (USA), IEEE CS Press, pp. 431-436.
29. T. Margaria and B. Steffen. Lightweight coarse-grained coordination: a scalable system-level approach. STTT, 5(2-3): 107-123, 2004.
30. T. Margaria, B. Steffen, M. Reitenspieß: Service-Oriented Design: The Roots, ICSOC 2005: 3rd ACM SIGSOFT/SIGWEB Int. Conf. on Service-Oriented Computing, Amsterdam, Dec. 2005, LNCS 3826, pp. 450-464, Springer Verlag.
31. M. Müller-Olm and H. Yoo. Metagame: An animation tool for model-checking games. In TACAS 04, LNCS 2988, pages 163-167. Springer-Verlag, 2004.
32. J.-P. Queille and J. Sifakis. Specification and verification of concurrent systems in cesar. In Proceedings of the 5th Colloquium on International Symposium on Programming, pages 337-351, London, UK, 1982. Springer-Verlag.
33. B. Steffen, B. Freitag, A. Claßen, T. Margaria, and U. Zukowski. Intelligent Software Synthesis in the "DaCapo" Environments Proc. 6th /Nordic Workshop on Programming Theory/, Aarhus (DK), October 1994, BRICS Report N. 94/6, December 1994.
34. B. Steffen, T. Margaria. METAFrame in Practice: Design of Intelligent Network Services. In Correct System Design - Recent Insights and Advances, LNCS N. 1710, State-of-the-Art Survey, pp. 390-415. Springer-Verlag, 1999.
35. C. Stirling and P. Stevens. Practical model-checking using games. Proc. TACAS 98, LNCS N.1384, pp. 85-101. Springer-Verlag, 1998.
36. W. Thomas. On the synthesis of strategies in infinite games. Proc.STACS'95, LNCS N.900, pp.1-13. Springer-V., 1995.
37. C. Topnik, E. Wilhelm, T. Margaria, B. Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str), Proc. SPIN'06, 13th Int. Works, on Model Checking of Software, Vienna, April 2006, LNCS 3925, Springer V., pp.293-298.