Sciweavers

3429 search results - page 18 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
103
Voted
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 1 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
DAGSTUHL
2006
14 years 11 months ago
System model for UML -- The interactions case
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
María Victoria Cengarle
86
Voted
EPEW
2005
Springer
15 years 3 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
CSL
1999
Springer
15 years 1 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
ICFP
2004
ACM
15 years 9 months ago
Relating models of backtracking
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
Mitchell Wand, Dale Vaillancourt