2050 search results - page 50 / 410 » A formal foundation for process modeling |
173
click to vote
MODELS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
184
click to vote
WSFM
2007
Springer
16 years 11 days 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...
148
click to vote
SYNASC
2007
IEEE
16 years 16 days 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 ...
213
click to vote
JITECH
2010
15 years 1 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...
259
click to vote
STOC
1993
ACM
15 years 10 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...