Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Communications of the ACM - Special issue on analysis and modeling in software development
A calculus of mobile processes, II
Information and Computation
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
Business Process Management: The Third Wave
Business Process Management: The Third Wave
Distributed and Parallel Databases
Modeling Processes and Workflows by Business Rules
Business Process Management, Models, Techniques, and Empirical Studies
Flexible Workflow Management Systems: An Approach Based on Generic Process Models
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluation of correctness criteria for dynamic workflow changes
BPM'03 Proceedings of the 2003 international conference on Business process management
Using control-flow patterns for specifying business processes in cooperative environments
Proceedings of the 2007 ACM symposium on Applied computing
A static compliance-checking framework for business process models
IBM Systems Journal
Data & Knowledge Engineering
A Specification Framework for Earth-Friendly Logistics
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
A modeling method based on CCS for workflow
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
A Formal Approach for Milk-Run Transport Logistics
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark
Information and Software Technology
Science of Computer Programming
Business process monitoring for dependability
Architecting dependable systems IV
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
How service choreography statistics reduce the ontology mapping problem
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Event structure semantics of Orc
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Towards a formal framework for reuse in business process modeling
BPM'07 Proceedings of the 2007 international conference on Business process management
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
SEPL--a domain-specific language and execution environment for protocols of stateful Web services
Distributed and Parallel Databases
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
Formalizing service interactions
BPM'06 Proceedings of the 4th international conference on Business Process Management
A formal approach to the analysis of clinical computer-interpretable guideline modeling languages
Artificial Intelligence in Medicine
On the concurrency of inter-organizational business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Welcome to the jungle: a subjective guide to mobile process calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Formalising business process execution with bigraphs and reactive XML
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.00 |
This paper discusses the application of a general process theory – the π-calculus – for describing the behavioral perspective of workflow. The π-calculus is a process algebra that describes mobile systems. Mobile systems are made up of components that communicate and change their structure as a result of communication. The ideas behind mobility, communication and change can also enrich the workflow domain, where flexibility and reaction to change are main drivers. However, it has not yet been evaluated whether the π-calculus is actually appropriate to represent the behavioral patterns of workflow. This paper investigates the issue and introduces a collection of workflow patterns formalizations, each with a sound formal definition and execution semantics. The formalizations can be used as a foundation for pattern-based workflow execution, reasoning, and simulation as well as a basis for future research on theoretical aspects of workflow.