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

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

1 2 3 4 next

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

1 2 3 4 next