Workflow-driven tool integration using model transformations

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

Volumn 5765 LNCS, Issue , 2010, Pages 224-248

  Balogh, András ^b   Bergmann, Gábor ^a   Csertán, György ^b   Gönczy, László ^a   Horváth, Ákos ^a   Majzik, István ^a   Pataricza, András ^a   Polgár, Balázs ^a   Ráth, István ^a   Varró, Dániel ^a   Varró, Gergely ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b OptXware Research and Development LLC   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL SERVICE; DEVELOPMENT PROCESS; DOMAIN-SPECIFIC MODELING LANGUAGE; GRAPH PATTERNS; GRAPH TRANSFORMATION RULES; INTEGRATED TOOLS; MODEL DRIVEN APPROACH; MODEL TRANSFORMATION; PROTOTYPE IMPLEMENTATIONS; SAFETY CRITICAL SYSTEMS; SEMI-AUTOMATED; SYSTEMS ENGINEERS; TOOL INTEGRATION; VERIFICATION TOOLS; WORKFLOW ENGINES;

GRAPH THEORY; LAWS AND LEGISLATION; MANAGEMENT;

SYSTEMS ANALYSIS;

EID: 78649516023     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17322-6_11     Document Type: Conference Paper

References (58)

1. RTCA-Radio Technical Commission for Aeronautic: Software Considerations in Airborne Systems and Equipment Certification, DO-178B (1992), https://www.arinc.com/cf/store/catalog-detail.cfm?item-id=633
2. Rushby, J.: Runtime Certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 21-35. Springer, Heidelberg (2008)
3. Kornecki, A.J., Zalewski, J.: The Qualification of Software Development Tools from the DO-178B Perspective. Journal of Defense Software Engineering (April 2006), http://www.stsc.hill.af.mil/crosstalk/2006/04/ 0604KorneckiZalewski.html
4. Miller, S.P.: Certification Issues in Model Based Development Rockwell Collins. The DECOS Project: DECOS-Dependable Embedded Components and Systems, http://www.decos.at/
5. The DIANA Project Consortium: DIANA (Distributed, equipment Independent environment for Advanced avioNic Application) EU FP6 Research Project, http://dianaproject. com
6. The SENSORIA Project: The SENSORIA website, http://www.sensoria-ist.eu
7. The MOGENTES Project: MOGENTES (Model-based Generation of Tests for Dependable Embedded Systems) EU FP7 Research Project, http://mogentes. eu
8. The GENESYS Project: GENESYS-GENeric Embedded SYStem, http://www.genesys-platform.eu/
9. The INDEXYS Project: INDEXYS-INDustrial EXploitation of the genesYS cross-domain architecture, http://www. indexys. eu/
10. Ráth, I., Vágó, D., Varró, D.: Design-time Simulation of Domain-specific Models By In-cremental Pattern Matching. In: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2008)
11. Pintér, G., Majzik, I.: Runtime Verification of Statechart Implementations. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol. 3549, pp. 148-172. Springer, Heidelberg (2005)
12. Sisak, Á., Pintér, G., Majzik, I.: Automated Verification of Complex Behavioral Models Us-ing the SAL Model Checker. In: Tarnai, G., Schnieder, E. (eds.) Formal Methods for Au-tomation and Safety in Railway and Automotive Systems (Proceedings of the FORMS-2008 Conference), Budapest, Hungary, LH́armattan (2008)
13. Partaricza, A.: Systematic generation ofdependability cases from functional models. In: Pro-ceedings ofFormal Methods for Automation and Safety in Railway and Automotive Systems (FORMAT 2008), Budapest, Hungary (2007)
14. Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system archi-tecture based on uml models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architect-ing Dependable Systems. LNCS, vol. 2677, pp. 219-244. Springer, Heidelberg (2003)
15. Schoitsch, E., Althammer, E., Eriksson, H., Vinter, J., Gönczy, L., Pataricza, A., Csertán, G.: Validation and Certification of Safety-Critical Embedded Systems-the DECOS Test Bench. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 372-385. Springer, Heidelberg (2006)
16. Balogh, A., Pataricza, A., Ráth, I.: Automated verification and validation of domain specific languages and their applications. In: Proceedings of the 4th World Congress for Software Quality, Bethesda, USA, pp. 1-6 (2009)
17. Pintér, G., Majzik, I.: Model Based Automatic Code Generation for Embedded Systems. In: Proceedings of the Regional Conference on Embedded and Ambient Systems (RCEAS 2007), Budapest, Hungary, pp. 97-106 (2007)
18. Gönczy, L., Ávéd, J., Varró, D.: Model-based Deployment of Web Services to Standards-compliant Middleware. In: Isaias, P., Miguel Baptista Nunes, I.J.M. (eds.) Proc. of the Iadis International Conference on WWW/Internet 2006 (ICWI 2006), Iadis Press (2006)
19. Kövi, A., Varró, D.: An eclipse-based framework for ais service configurations. In: Malek, M., Reitenspieß, M., van Moorsel, A. (eds.) ISAS 2007. LNCS, vol. 4526, pp. 110-126. Springer, Heidelberg (2007)
20. Pintér, G., Majzik, I.: Automatic Generation of Executable Assertions forRuntimeChecking Temporal Requirements. In: Dal Cin, M., Bondavalli, A., Suri, N. (eds.) Proceedings of the 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), Heidelberg, Germany, October 12-14, pp. 111-120 (2005)
21. Karsai, G., Lang, A., Neema, S.: Design Patterns for Open Tool Integration. Software and Systems Modeling 4(2), 157-170 (2004)
22. Meyer, B.: Applying "design by contract". IEEE Computer 25(10), 40-51 (1992)
23. TMtechnology. In: JTRES 2006: Proceedings of the 4th Inter-national Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 95-96. ACM, New York (2006)
24. ARINC-Aeronautical Radio, Incorporated: A653-Avionics Application Software Standard Interface, https://www.arinc. com/cf/store/catalog-detail.cfm? item-id=633
25. DECOS-Dependabe Embedded Components and Systems consortium: The DECOS Platform Independent Metamodel, public deliverable, http://www.inf.mit.bme.hu/ decoscd/deliverables/DECOS-deliv-PIM- Metamodel.pdf
26. Baar, T.: OCL and graph-transformations-A Symbiotic Alliance to Alleviate the Frame Problem. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 20-31. Springer, Hei-delberg (2006)
27. Azab, K., Habel, A.: High-level programs and program conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 211-225. Springer, Heidelberg (2008)
28. Bergmann, G., Okrös, A., Ráth, I., Varró, D., Varró, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT 2008, 3rd International Workshop on Graph and Model Transformation, 30th International Conference on Software Engineering (2008)
29. Winkelmann, J., Taentzer, G., Ehrig, K., Küster, J.M.: Translation of restricted OCL con-straints into graph constraints for generating meta model instances by graph grammars. Elec-tron. Notes Theor. Comput. Sci. 211, 159-170 (2008)
30. Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science ofComputer Programming 68(3), 214-234 (2007)
31. Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIA-TRA2 Framework. In: ACM Symposium on Applied Computing\Model Transformation Track (SAC 2006) (2006) (in press)
32. Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319-335. Springer, Heidelberg (2004)
33. Horváth, Á., Varró, D.: CSP(M): Constraint Satisfaction Programming over Models. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 107-121. Springer, Hei-delberg (2009)
34. Hemel, Z., Kats, L.C.L., Visser, E.: Code generation by model transformation. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 183-198. Springer, Heidelberg (2008)
35. Ehrig, K., Ermel, C., Hänsgen, S., Taentzer, G.: Towards graph transformation based gen-eration of visual editors using eclipse. Electr. Notes Theor. Comput. Sci. 127(4), 127-143 (2005)
36. Börger, E., Stärk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
37. Koenig, J.: JBoss jBPM White Paper. Technical report, The JBoss Group/Riseforth.com (2004), http://jbossgroup. com/pdf/jbpm-whitepaper.pdf
38. IBM Rational: Jazz Community Site, http://jazz.net/
39. The Object Management Group: Software Process Engineering Metamodel, version 2.0 (2008), http://www.omg.org/technology/documents/formal/spem.htm
40. The EPF Project: The Eclipse Process Framework website, http://www.eclipse.org/epf/
41. Haumer, P.: Increasing Development Knowledge with Eclipse Process Framework Com-poser. Eclipse Review (2006), http://haumer.net/rational/ publications.html
42. Einar W. Karlsen: The UniForM WorkBench: A Higher Order Tool Integration Framework. Lecture Notes in Computer Science 1641 (1999) 266-280
43. Rellermeyer, J.S., Alonso, G., Roscoe, T.: R-OSGi: Distributed Applications Through Soft-ware Modularization. In: Cerqueira, R., Campbell, R.H. (eds.) Middleware 2007. LNCS, vol. 4834, pp. 1-20. Springer, Heidelberg (2007)
44. Margaria, T., Nagel, R., Steffen, B.: jETI: A Tool for Remote Tool Integration. LNCS, vol. 2440, pp. 557-562. Springer, Heidelberg (2005)
45. Corradini, F., Mariani, L., Merelli, E.: An Agent-based Approach for Tool Integration. Inter-national Journal on Software Tools for Technology Transfer 6(3), 231-244 (2004)
46. Gönczy, L., Déri, Z., Varró, D.: Model Driven Performability Analysis of Service Config-urations with Reliable Messaging. In: Proc. of Model Driven Web Engineering Workshop (MDWE 2008) (2008)
47. Gönczy, L., Déri, Z., Varró, D.a.: Model transformations for performability analysis of ser-vice configurations, pp. 153-166 (2009)
48. Ráth, I., Varró, G., Varró, D.: Change-driven model transformations. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 342-356. Springer, Heidelberg (2009)
49. Ráth, I., Ökrös, A., Varró, D.: Synchronization of abstract and concrete syntax in domain-specific modeling languages. Journal of Software and Systems Modeling (2009) (accepted)
50. Klein, P., Nagl, M., Schürr, A.: IPSEN Tools. In: [59], pp. 215-266. World Scientific, Singa-pore (1999)
51. Kapsammer, E., Kargl, H., Kramler, G., Reiter, T., Retschitzegger, W., Wimmer, M.: On Models and Ontologies-A Layered Approach for Model-based Tool Integration. In: Proceedings of the Modellierung 2006, pp. 11-27 (2006)
52. Klar, F., Rose, S., Schürr, A.: A Meta-model Driven Tool Integration Development Process. Lecture Notes in Business Information Processing, vol. 5, pp. 201-212 (2008)
53. Amelunxen, C., Klar, F., Königs, A., Rötschke, T., Schürr, A.: Metamodel-based Tool Inte-gration with MOFLON. In: International Conference on Software Engineering, pp. 807-810. ACM, New York (2008)
54. The TOPCASED Project: TOPCASED-The Open-Source Toolkit for Critical Systems, http://www.topcased.org/
55. Canalsm, A., Le Camus, C., Feau, M., et al.: An Operational Use of ATL: Integration of Model and Meta Model Transformations in the TOPCASED Project. In: Ouwehand, L. (ed.) Proc. of the DASIA 2006-Data Systems in Aerospace Conference, European Space Agency, p. 40 (2006), http://adsabs.harvard.edu/abs/ 2006ESASP. 630E.40C
56. The ModelWare Project: ModelWare-MODELling solution for softWARE systems, http://www.modelware-ist.org/
57. The MODELPLEX Project: MODELPLEX-Modeling Solution for Complex Systems, http://www.modelplex-ist.org/
58. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)