Skip to main content
SpringerLink
Log in

Automating the transformation-based analysis of visual languages

  • Original Article
  • Published:
Formal Aspects of Computing

Abstract

We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of graph transformation rules. The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets. The generated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source rules and their execution control structure). We illustrate these techniques with a DSVL in the domain of production systems, for which we generate a transformation into Petri nets. We also tackle the description of timing aspects in graph transformation rules, and its analysis through their automatic translation into Time Petri nets.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. AGG home page at http://tfs.cs.tu-berlin.de/agg/

  2. Ajmone Marsan A, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalised stochastic Petri nets. Wiley Series in Parallel Computing. Wiley? New York

  3. André C, Mallet F, Peraldi-Frati M-A (2007) Multiform time in UML for real-time embedded applications. In: Proceedings of 13th IEEE international conference on embedded and real-time computing systems and applications, pp 232–240

  4. Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Proceedings of ACPN 2003. Lecture notes in computer science, vol 3098. Springer, Heidelberg, pp 87–124

  5. Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3): 259–273

    Article  MathSciNet  Google Scholar 

  6. Bézivin J, Büttner F, Gogolla M, Jouault F, Kurtev I, Lindow A (2006) Model transformations? Transformation models! In: Proceedings MoDELS’06. Lecture notes in computer science, vol 4199. Springer, Heidelberg, pp 440–453

  7. Boyer M, Diaz M (2001) Multiple enabledness of transitions in Petri Nets with time. In: Proceedings of ninth IEEE international workshop on Petri nets and performance models (PNPM’01), pp 219–228

  8. Cerone A, Maggiolo-Schettini A (1999) Time-based expressivity of time Petri nets for system specification. Theor Comput Sci 216: 1–53

    Article  MATH  MathSciNet  Google Scholar 

  9. Ehrig H, Engels G, Kreowski H-J, Rozenberg G (1999) Handbook of graph grammars and computing by graph transformation, vol 1. World Scientific, Mountain View

  10. Ehrig H, Ehrig K, Prange U, Taentzer G (2006) Fundamentals of algebraic graph transformation. Springer, Heidelberg

    MATH  Google Scholar 

  11. Ehrig H, Ermel C (2008) Semantical correctness and completeness of model transformations using graph and rule transformation. In: Proceedings of ICGT’08. Lecture notes in computer science, vol 5214. Springer, Heidelberg, pp 194–210

  12. Ermel C, Ehrig K (2007) Simulation and analysis of reconfigurable systems. In: Proceedings of AGTIVE’07, pp 261–276

  13. Gardey G, Lime D, Magnin M, Roux OH (2005) Romeo: a tool for analyzing time Petri Nets. In: Proceedings of computer aided verification. Lecture notes in computer science, vol 3576, pp 418–423

  14. Ghezzi C, Mandrioli D, Morasca S, Pezzé M (1991) A unified high-level petri net formalism for time-critical systems. IEEE Trans Softw Eng 17(2): 160–172

    Article  Google Scholar 

  15. Guerra E, de Lara J (2007) Event-driven grammars: relating abstract and concrete levels of Visual Languages. SoSyM 6(3): 317–347

    Article  Google Scholar 

  16. Guerra E, de Lara J, Malizia A, Díaz P (2009) Supporting user-oriented analysis for multi-view domain-specific visual languages. Inf Softw Technol 51(4): 769–784

    Article  Google Scholar 

  17. Gyapay S, Heckel R, Varró D (2002) Graph transformation with time: causality and logical clocks. In: Proceedings of ICGT’02. Lecture notes in computer science, vol 2505. Springer, Heidelberg, pp 120–134

  18. Heckel R, Küster JM, Taentzer G (2002) Confluence of typed attributed graph transformation systems. In: Proceedings of ICGT’02, Lecture notes in computer science, vol 2505. Springer, Heidelberg, pp 161–176

  19. Heckel R (2005) Stochastic analysis of graph transformation systems: a case study in P2P Networks. In: Proceedings of ICTAC’05. Lecture notes in computer science, vol 3722, pp 53–69

  20. Holliday MA, Vernon MK (1987) A generalized times Petri net model for performance analysis. IEEE Trans Softw Eng 13(12): 1297–1310

    Article  Google Scholar 

  21. Kappel G, Kargl H, Reiter T, Retschitzegger W, Schwinger W, Strommer M, Wimmer M (2008) A framework for building mapping operators resolving structural heterogeneities. In: Proceedings of UNISCON 2008, Lecture notes in business information processing, vol 5. Springer, Heidelberg, pp 158–174

  22. Kelly S, Tolvanen JP (2008) Domain-specific modeling: enabling full code generation. Wiley–IEEE Computer Society Press, Los Alamitos

  23. Lambers L, Ehrig H, Orejas F (2006) Conflict detection for graph transformation with negative application conditions. In: Proceedings of ICGT’06, Lecture notes in computer science, vol 4178, pp 61–76

  24. de Lara J, Vangheluwe H (2004) Defining visual notations and their manipulation through meta-modelling and graph transformation. J Visual Lang Comput 15(3–4): 309–330

    Google Scholar 

  25. de Lara J, Bardohl R, Ehrig H, Ehrig K, Prange U, Taentzer G (2007) Attributed graph transformation with node type inheritance. Theor Comput Sci 376(3): 139–163

    Article  MATH  Google Scholar 

  26. de Lara J, Guerra E (2008) Pattern-based model-to-model transformation. In: Proceedings ICGT’2008. Lecture notes computer science, vol 5214, pp 426–441

  27. de Lara J, Vangheluwe H (2008) Translating model simulators to analysis models. In: Proceedings of FASE 2008, Lecture notes computer science, vol 4961. Springer, Heidelberg, pp 77–92

  28. Llorens M, Oliver J (2004) Structural and dynamic changes in concurrent systems: reconfigurable Petri nets. IEEE Trans Comput 53(9): 1147–1158

    Article  Google Scholar 

  29. Marriott K, Meyer B, Wittenburg K (1998) A survey of visual language specification and recognition Theory of Visual Languages. Springer, Heidelberg, pp 5–85

    Google Scholar 

  30. Mellor S, Scott K, Uhl A, Weise D (2004) MDA distilled: principles of model-driven architecture. Addison–Wesley, Reading

    Google Scholar 

  31. Merlin P (1974) A study of the recoverability of computer systems. Ph.D. Thesis, University of California, Irvine

  32. Murata T (1989) Petri nets: properties, analysis and applications. In: Proc IEEE 77(4): 541–580

    Article  Google Scholar 

  33. Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, Englewood Cliffs

  34. Ramchandani C (1974) Analysis of asynchronous concurrent systems by timed Petri nets. Project MAC, TR 120, Massachussets Institute of Technology

  35. Schürr A (1994) Specification of graph translators with triple graph grammars. In: Proceedings of WG’94. Lecture notes in computer science, vol 903. Springer, Heidelberg, pp 151–163

  36. Syriani E, Vangheluwe H (2008) Programmed graph rewriting with time for simulation-based design. In: Proceedings of ICMT 2008. Lecture notes in computer science, vol 5063. Springer, Heidelberg, pp 91–106

  37. Taentzer G, Rensink A (2005) Ensuring structural constraints in graph-based models with type inheritance. In: Proceedings of FASE 2005, Lecture notes in computer science, vol 3442, pp 64–79

  38. UML 2.1.2 infrastructure and superstructure specification (2007). http://www.omg.org/spec/UML/2.1.2/

  39. UML Profile for Schedulability, Performance, and Time Specification v 1.1(2005). http://www.omg.org/technology/documents/formal/schedulability.htm

  40. Home page of UPPAAL. http://www.uppaal.com

  41. Varro D (2006) Model transformation by example. In: Proceedings of MoDELS’06, Lecture notes in computer science, vol 4199. Springer, Heidelberg, pp 410–424

  42. Varro D, Varro-Gyapay S, Ehrig H, Prange U, Taentzer G (2006) Termination analysis of model transformations by Petri nets. In: Proceedings of ICGT’06. Lecture notes in computer science, vol 4178. Springer, Heidelberg, pp 260–274

  43. Wang J, Xu G (2000) Reachability Analysis of real-time systems using time Petri nets. IEEE Trans Syst Man Cybern B Cybern 30(5): 725–736

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Polytechnic School, Universidad Autónoma de Madrid, Campus Cantoblanco, C/Francisco Tomás y Valiente, 11, 28049, Madrid, Spain

    Juan de Lara

  2. School of Computer Science, McGill University, Montreal, Canada

    Hans Vangheluwe

Authors
  1. Juan de Lara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans Vangheluwe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juan de Lara.

Additional information

J.L. Fiadeiro, P. Inverardi and T.S.E. Maibaum

Rights and permissions

Reprints and permissions

About this article

Cite this article

de Lara, J., Vangheluwe, H. Automating the transformation-based analysis of visual languages. Form Asp Comp 22, 297–326 (2010). https://doi.org/10.1007/s00165-009-0114-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00165-009-0114-y

Keywords

Search

Navigation