1895 search results - page 129 / 379 » Using ATL for Checking Models |
161
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
171
click to vote
FAC
2008
15 years 5 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
140
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
161
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
165
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...