1728 search results - page 27 / 346 » Formal Modeling of Process Migration |
WSFM
2007
Springer
14 years 1 months ago
2007
Springer
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
SYNASC
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
JITECH
2010
13 years 2 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
Current scientific workflow models require datasets to be transferred from their source to the hosts where they can be processed. This seriously impedes data-intensive application...