3429 search results - page 11 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
ENTCS
2006
13 years 7 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
ENTCS
2006
13 years 7 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
APCCM
2009
13 years 8 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...