2050 search results - page 42 / 410 » A formal foundation for process modeling |
170
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
171
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
184
click to vote
FINTAL
2006
15 years 10 months ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
173
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
155
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...