Sciweavers

146 search results - page 2 / 30
» An Intuitive Formal Approach to Dynamic Workflow Modeling an...
Sort
View
ISSRE
2000
IEEE
13 years 11 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
AIME
2009
Springer
13 years 8 months ago
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
Ali Daniyal, Syed Sibte Raza Abidi
GI
2005
Springer
14 years 28 days ago
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
Kamyar Sarshar, Peter Loos
RIDE
1999
IEEE
13 years 11 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
EUROSYS
2007
ACM
13 years 11 months ago
Discrete control for safe execution of IT automation workflows
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
Yin Wang, Terence Kelly, Stéphane Lafortune