Sciweavers

1014 search results - page 149 / 203
» ''What Is a Petri Net
Sort
View
99
Voted
APN
2009
Springer
15 years 7 months ago
Compositional Service Trees
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
Wil M. P. van der Aalst, Kees M. van Hee, Peter Ma...
BPM
2009
Springer
113views Business» more  BPM 2009»
15 years 7 months ago
Set Algebra for Service Behavior: Applications and Constructions
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
Kathrin Kaschner, Karsten Wolf
97
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 7 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
97
Voted
AINA
2008
IEEE
15 years 7 months ago
Thread Allocation in Chip Multiprocessor Based Multithreaded Network Processors
—This work tries to derive ideas for thread allocation in Chip Multiprocessor (CMP)-based network processors performing general applications by Continuous-Time Markov Chain model...
Yi-Neng Lin, Ying-Dar Lin, Yuan-Cheng Lai
102
Voted
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
15 years 7 months ago
Finding Structure in Unstructured Processes: The Case for Process Mining
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
Wil M. P. van der Aalst, Christian W. Günther