7058 search results - page 275 / 1412 » Modelling Business Process Performance |
120
click to vote
IWSSD
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
119
click to vote
IANDC
2006
15 years 3 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
115
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
138
click to vote
ECOOPW
1997
Springer
15 years 7 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
154
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...