• GROOVE

  • Referenced in 50 articles [sw09480]
  • basis for model transformation and operational semantics. This entails a formal foundation for model transformation ... ability to verify model transformation and dynamic semantics through an (automatic) analysis of the resulting...
  • AGG

  • Referenced in 49 articles [sw04449]
  • system properties by assigning a graph transformation based semantics to some system model, graph transformation...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • TRIPLE –a query, inference, and transformation language for the semantic web. This paper presents TRIPLE ... layered and modular rule language for the Semantic Web. TRIPLE is based on Horn logic ... especially designed for querying and transforming RDF models. TRIPLE can be viewed as a successor ... that TRIPLE does not have a fixed semantics for object-oriented features like classes...
  • VPM

  • Referenced in 11 articles [sw07364]
  • specified semantics, there is an increasing need for automated and provenly correct model transformations that ... founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras ... Performance and Time. However, such transformations into different semantic domains typically require the deep understanding ... refinement calculus and graph transformation) where the structure and operational semantics of mathematical models...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • Objects. Their operational semantics definition follows the lines of distributed graph transformation, thereby permitting...
  • Henshin

  • Referenced in 11 articles [sw10085]
  • structured into nested transformation units with well-defined operational semantics. So-called amalgamation units...
  • AToM3

  • Referenced in 32 articles [sw10092]
  • techniques and graph grammars to perform the transformations between formalisms as well as for other ... tasks, such as code generation and operational semantics specification...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • real-time rewrite formal semantics to real-time model transformations, and show how the models...
  • Data Refinement IBP

  • Referenced in 3 articles [sw28836]
  • DataRefinementIBP: Semantics and Data Refinement of Invariant Based Programs. The invariant based programming ... presented here we formalize the predicate transformer semantics for invariant based programs and their data...
  • MOFLON

  • Referenced in 9 articles [sw06922]
  • latest OMG standards with graph transformations and their formal semantics. MOFLON provides a combination...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • Moreover, we show how to use this semantics in order to generate efficient sequential code ... program. Formal rules for program transformation are also presented...
  • RuleML

  • Referenced in 22 articles [sw01792]
  • semantics, and efficient implementations.RuleML covers the entire rule spectrum, from derivation rules to transformation rules...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • observational equivalence, relational Hoare logic, semantics-preserving program transformations) to assist in constructing proofs. Earlier...
  • Refiner

  • Referenced in 5 articles [sw00790]
  • through the successive application of semantics-preserving program transformations. Code development is recorded...
  • DACTL

  • Referenced in 28 articles [sw02871]
  • languages can be described as graph rewriting transformations using Dactl notation. This is followed ... formal definition of the syntax and semantics of the language. Some implementation issues are also...
  • Hakaru

  • Referenced in 4 articles [sw14669]
  • Probabilistic inference by program transformation in Hakaru (system description). We present Hakaru, a new probabilistic ... system implements two automatic and semantics-preserving program transformations -- {it disintegration}, which calculates conditional distributions...
  • SQEMA

  • Referenced in 38 articles [sw03056]
  • correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... canonical completeness result. SQEMA is based on transformation rules, the most important of which employs ... that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first...
  • KAD

  • Referenced in 1 article [sw32231]
  • Hoare logics, dynamic logics or predicate transformer semantics. We formalise a modular hierarchy of algebras...
  • MorphDroid

  • Referenced in 1 article [sw34337]
  • latitude) and (ii) modeling of semantic transformations over private data (e.g. conversion of the location...
  • APSEE

  • Referenced in 3 articles [sw03146]
  • Using graph transformation as the semantical model for software process execution in the APSEE environment...