Sciweavers

6016 search results - page 92 / 1204
» The semantics of graphical languages
Sort
View
ENTCS
2008
98views more  ENTCS 2008»
15 years 4 months ago
Graph Transformation Semantics for a QVT Language
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
Arend Rensink, Ronald Nederpel
MEDINFO
2007
157views Healthcare» more  MEDINFO 2007»
15 years 6 months ago
EHR Query Language (EQL) - A Query Language for Archetype-Based Health Records
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
Chunlan Ma, Heath K. Frankel, Thomas Beale, Sam He...
139
Voted
DAGSTUHL
2004
15 years 6 months ago
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
Martin Gogolla
CONCUR
2006
Springer
15 years 8 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra
ESOP
1999
Springer
15 years 8 months ago
Deterministic Expressions in C
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
Michael Norrish