Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Business artifacts: An approach to operational specification
IBM Systems Journal
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation
SASOW '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops
Enforcement from the Inside: Improving Quality of Business in Process Management
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Formalizing higher-order mobile embedded business processes with binding bigraphs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
A graph syntax for processes and services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A framework for rule-based dynamic adaptation
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
CAptLang: a language for context-aware and adaptable business processes
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Hi-index | 0.00 |
Adaptable Pervasive Flows is a novel workflow-based paradigm for the design and execution of pervasive applications, where dynamic workflows situated in the real world are able to modify their execution in order to adapt to changes in their environment. In this paper, we study a formalisation of such flows by means of a formal flow language. More precisely, we define APFoL (Adaptable Pervasive Flow Language) and formalise its textual notation by encoding it in Blite, a formalisation of WS-BPEL. The encoding in Blite equips the language with a formal semantics and enables the use of automated verification techniques. We illustrate the approach with an example of a Warehouse Case Study.