805 search results - page 19 / 161 » Semantic Modeling of Places using Objects |
126
Voted
ECOOPW
1994
Springer
15 years 7 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
128
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
151
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
138
Voted
ISTA
2004
15 years 4 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
134
Voted
IFM
2007
Springer
15 years 9 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...