PROGRES

Integrity constraints in the multi-paradigm language PROGRES. PROGRES is a multi-paradigm visual programming or executable specification language, which has a well-defined static type concept. It supports programming with graph rewriting systems. An integrated type-checker is able to check the static semantics of a specification. This paper presents the integration of static integrity constraints to the language which allow to check a specification’s semantics at runtime. It discusses a number of important design decisions such as when constraints have to be checked and what happens if constraint violations are detected.


References in zbMATH (referenced in 70 articles , 1 standard article )

Showing results 1 to 20 of 70.
Sorted by year (citations)

1 2 3 4 next

  1. Kulcsár, Géza; Corradini, Andrea; Lochau, Malte: A calculus of concurrent graph-rewriting processes (2020)
  2. Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno: Labelled port graph -- a formal structure for models and computations (2018)
  3. Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen: Amalgamation of domain specific languages with behaviour (2017)
  4. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  5. Bergmann, Gábor; Ráth, István; Szabó, Tamás; Torrini, Paolo; Varró, Dániel: Incremental pattern matching for the efficient computation of transitive closure (2012) ioport
  6. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  7. Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele: Parallel independence of amalgamated graph transformations applied to model transformation (2010)
  8. Drewes, Frank; Hoffmann, Berthold; Janssens, Dirk; Minas, Mark: Adaptive star grammars and their languages (2010)
  9. Geiger, Leif; Zündorf, Albert: Fujaba case studies for GraBaTs 2008: lessons learned (2010) ioport
  10. Giese, Holger; Hildebrandt, Stephan; Neumann, Stefan: Model synchronization at work: keeping SysML and AUTOSAR models consistent (2010) ioport
  11. Greenyer, Joel; Kindler, Ekkart: Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars (2010) ioport
  12. Heckel, Reiko; Torrini, Paolo: Stochastic modelling and simulation of mobile systems (2010) ioport
  13. Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel: Experimental assessment of combining pattern matching strategies with VIATRA2 (2010) ioport
  14. Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010) ioport
  15. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  16. Marburger, André; Westfechtel, Bernhard: Graph-based structural analysis for telecommunication systems (2010) ioport
  17. Minas, Mark; Schneider, Hans Jürgen: Graph transformation by computational category theory (2010)
  18. Rensink, Arend; Van Gorp, Pieter: Graph transformation tool contest 2008 (2010) ioport
  19. Giese, Holger; Wagner, Robert: From model transformation to incremental bidirectional model synchronization (2009) ioport
  20. Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, Dániel: A benchmark evaluation of incremental pattern matching in graph transformation (2008)

1 2 3 4 next