Sciweavers

335 search results - page 44 / 67
» User-Friendly Semantic Annotation in Business Process Modeli...
Sort
View
ER
2007
Springer
115views Database» more  ER 2007»
15 years 3 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
JLP
2008
121views more  JLP 2008»
14 years 10 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
ANSS
2008
IEEE
15 years 6 months ago
Executable Protocol Models as a Requirements Engineering Tool
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
Ashley T. McNeile, Ella E. Roubtsova
SKG
2006
IEEE
15 years 5 months ago
Semantic Grid Services in K-Wf Grid
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
Marian Babik, Emil Gatial, Ondrej Habala, Ladislav...
CAISE
2007
Springer
15 years 3 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst