239 search results - page 6 / 48 » Using Event Semantics for Modeling Contracts |
64
Voted
CODAS
1996
14 years 11 months ago
1996
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
78
Voted
LREC
2010
14 years 11 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
ASM
2008
ASM
14 years 11 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
GI
2010
Springer
14 years 7 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...