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 72 articles , 1 standard article )

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

1 2 3 4 next

  1. 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)
  2. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  3. Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele: Parallel independence of amalgamated graph transformations applied to model transformation (2010)
  4. Drewes, Frank; Hoffmann, Berthold; Janssens, Dirk; Minas, Mark: Adaptive star grammars and their languages (2010)
  5. Geiger, Leif; Zündorf, Albert: Fujaba case studies for GraBaTs 2008: lessons learned (2010)
  6. Giese, Holger; Hildebrandt, Stephan; Neumann, Stefan: Model synchronization at work: keeping SysML and AUTOSAR models consistent (2010)
  7. Greenyer, Joel; Kindler, Ekkart: Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars (2010)
  8. Heckel, Reiko; Torrini, Paolo: Stochastic modelling and simulation of mobile systems (2010)
  9. Horváth, Ákos; Bergmann, Gábor; Ráth, István; Varró, Dániel: Experimental assessment of combining pattern matching strategies with VIATRA2 (2010)
  10. Jakumeit, Edgar; Buchwald, Sebastian; Kroll, Moritz: GrGen.NET. The expressive, convenient and fast graph rewrite system (2010)
  11. Karsai, Gabor: Lessons learned from building a graph transformation system (2010)
  12. Marburger, André; Westfechtel, Bernhard: Graph-based structural analysis for telecommunication systems (2010)
  13. Minas, Mark; Schneider, Hans Jürgen: Graph transformation by computational category theory (2010)
  14. Rensink, Arend; Van Gorp, Pieter: Graph transformation tool contest 2008 (2010)
  15. Giese, Holger; Wagner, Robert: From model transformation to incremental bidirectional model synchronization (2009)
  16. Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, Dániel: A benchmark evaluation of incremental pattern matching in graph transformation (2008)
  17. Manning, Greg; Plump, Detlef: The York abstract machine. (2008)
  18. Manning, Greg; Plump, Detlef: The York abstract machine (2008)
  19. Minas, Mark; Hoffmann, Berthold: An example of cloning graph transformation rules for programming. (2008)
  20. Narayanan, Anantha; Karsai, Gabor: Towards verifying model transformations (2008)

1 2 3 4 next