2021 search results - page 217 / 405 » COCO: Composition Model and Composition Model Implementation |
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
135
click to vote
JUCS
2008
15 years 6 months ago
2008
In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide models for a number of problems that are commonly foun...
155
click to vote
APCCM
2007
15 years 8 months ago
2007
A business process may be modeled in different ways by different modelers even when utilizing the same modeling language. An appropriate method for solving ambiguity issues in p...
157
click to vote
SBP
2010
Springer
15 years 10 months ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
148
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...