
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 objectoriented 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 welldefined operational semantics. Socalled 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]
 realtime rewrite formal semantics to realtime 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, semanticspreserving program transformations) to assist in constructing proofs. Earlier...

Refiner
 Referenced in 5 articles
[sw00790]
 through the successive application of semanticspreserving 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 deﬁnition 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 semanticspreserving 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...