2060 search results - page 253 / 412 » The Composition of Event-B Models |
197
click to vote
APN
1992
Springer
15 years 10 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
187
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
153
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
162
click to vote
TGC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
183
click to vote
PPSWR
2005
Springer
16 years 11 hour ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...