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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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