7918 search results - page 374 / 1584 » Model Composition Directives |
175
click to vote
APN
1992
Springer
15 years 9 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...
143
click to vote
WSC
2001
15 years 6 months ago
2001
A designer has a choice of many models, methods, frameworks, and architectures. There is little consistency between these terms among researchers. Some of the most widely used arc...
158
click to vote
SEFM
2009
IEEE
15 years 12 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...
130
click to vote
ESWS
2007
Springer
15 years 11 months 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...
135
click to vote
TGC
2007
Springer
15 years 11 months 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...