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

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

1 2 3 4 next