Skip to main content
Article thumbnail
Location of Repository

Policy-driven Reconfiguration of Service-targeted Business Processes

By Stephen Mark Gorton


Workflows are a key part of Business Process Management, o ering the potential to automate\ud a number of business activities. Workflows are though constrained to their design,\ud i.e. workflow functionality does not extend outside its own specification. A relatively\ud small number of solutions to this inflexibility have been proposed. However, all\ud approaches so far are either at the orchestration level or are tightly-coupled with the workflow,\ud whereas we consider that the problem is at the business level and needs to be loosely\ud coupled from the workflow.\ud Significant value can be gained from separating core functionality in a workflow from\ud variability to that core process. Both can be defined separately and yet still corporately\ud execute to provide a variety of execution states that match the given context. Functionality\ud of the workflow can be supplied by Service Oriented Architecture.\ud Thus we define StPowla as a combination of workflows, policies and Service Oriented\ud Architecture. Workflows define the core business process, policies define the possible\ud variability of the processes and Service Oriented Architecture provides the underlying\ud functionality. We specifically present a set of reconfiguration functions that can be called\ud by policies on workflows and define each of these as graph transformation rules.\ud We provide an encoding from StPowla processes to SRML models, including core\ud workflow descriptions and variability, in order to make precise the relationship between\ud the constituent parts of StPowla. We apply the StPowla approach to an industrial case\ud study, provided by an industrial partner

Publisher: University of Leicester
Year: 2011
OAI identifier:

Suggested articles


  1. (2009). A Backwards Composition Context Based Service Selection Approach for Service Composition. doi
  2. (2003). A Calculus for LongRunning Transactions. doi
  3. (2008). A Coordination Model for Service-Oriented Interactions. doi
  4. (2006). A Declarative Approach for Flexible Business Processes Management. doi
  5. (2006). A Formal Approach to Service Component Architecture. doi
  6. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. doi
  7. (2009). A Formal Approach to Service-Oriented Modelling. doi
  8. (2001). A Formal Semantics for UML Activity Diagrams. doi
  9. (2003). A Foundational Vision of e-Services. doi
  10. (2006). A Logic-based Methodology for Business Process Analysis and Design: Linking Business Policies to Workflow Models.
  11. (2008). A Method for Automated Web Service Selection. doi
  12. (2005). A model checking verification environment for UML statecharts. In AICA,
  13. (2004). A Petri Net Semantics for BPEL. doi
  14. (2003). A Petri Net-based Model for Web Service Composition. doi
  15. (2001). A Real-Time Execution Semantics for UML Activity Diagrams. doi
  16. (2007). A Roadmap towards the Convergence of Business Process Management and Service Oriented Architecture. Ubiquity, doi
  17. (2005). A service-oriented workflow language for robust interacting applications. doi
  18. (2008). A Use-Case Driven Approach to Formal Service-Oriented Modelling. doi
  19. (1998). ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control.
  20. (2004). Agentwork: a workflow system supporting rule-based workflow adaptation. doi
  21. (2007). Algebraic Semantics of Service Component Modules. doi
  22. (2007). AO4BPEL: An Aspect-oriented Extension to BPEL. doi
  23. (2005). Appel: The Accent Policy Environment/Language. doi
  24. (2009). Automated Context-Aware Service Selection for Collaborative Systems. doi
  25. (2002). Barbara Pernici, and doi
  26. (2009). BPEL’n’Aspects: Adapting Service Orchestration Logic. In doi
  27. (2011). Business Process Standards for Web Services. doi
  28. (2005). Business Rules Integration in BPEL -A Service-Oriented Approach. In doi
  29. (2008). Carla Ferreira, and Hugo Torres Vieira. A Process Calculus Analysis of Compensations. doi
  30. (2004). Composition of Coordinated Web Services. doi
  31. (1999). Conflicts in Policy-Based Distributed Systems Management. doi
  32. (1997). Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-Oriented Programming. In doi
  33. (2000). Dealing with Workflow Change: Identification of Issues and Solutions.
  34. (2008). Engineering Service Oriented Applications: From StPowla Processes to SRML Models. doi
  35. (2003). Eric Shan, Umeshwar Dayal, and Ming-Chien Shan. Businessoriented management of Web services. doi
  36. (2000). Exception Handling in Workflow Management Systems. doi
  37. (2004). Feature Interaction in Policies. doi
  38. (2007). Fiadeiro, and Anto´nia Lopes. Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In doi
  39. (2011). for Standards and Technology. groups/SNS/cloud-computing/index.html. accessed 15
  40. Formal Verification of e-Services and Workflows. doi
  41. From BPEL to SRML: A Formal Transformational Approach. doi
  42. (2006). From BPMN Process Models to BPEL Web Services. In doi
  43. (2010). From StPowla processes to SRML models. doi
  44. (2000). Graph Transformation and Visual Modeling Techniques: doi
  45. (2009). Group (OMG). Business Process Model and Notation (BPMN) Specification, doi
  46. (2000). Group. Defining Business Rules - What Are They Really? doi
  47. (2002). Harumi Kuno, Mike Lemon, Gregory Pogossiants, Shamik Sharma, and Scott Williams. Web Services Conversation Language (WSCL).
  48. (2008). Logic-based Conflict Detection for Distributed Policies. doi
  49. (2000). Managing Change and Time in Dynamic Workflow Processes. doi
  50. (2002). Marlon Dumas and Petia Wohed. Pattern-Based Analysis of BPML (and WSCI). doi
  51. (2006). Miguel Antunes, Mohammad El-Ramly, and Georgios Koutsoukos. Forms2Net - Migrating Oracle Forms to Microsoft .NET. doi
  52. (2007). Nitto and Matei Ripeanu, editors. Service-Oriented Computing - ICSOC doi
  53. (2006). On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages.
  54. (2007). Organisation for the Advancement of Structured Information Standards. Web Services Business Process Execution Language Version 2.0. http://docs.
  55. (2006). Policy Support for Businessoriented Web Service Management. doi
  56. (2007). Policy-driven Business Management over Web Services. In Integrated Network Management, doi
  57. (1990). Reengineering Work: Don’t Automate, Obliterate. Harvard Business Review,
  58. (2002). Semantics and Verification of UML Activity Diagrams for Workflow Modelling. doi
  59. (2004). Semantics of Control-Flow in UML 2.0 Activities. In
  60. (1997). Semiring-based constraint satisfaction and optimization. doi
  61. (2007). SENSORIA: Engineering for Service-Oriented Overlay Computers.
  62. (2006). Service Oriented Computing: A New Challenge for Process Algebras. doi
  63. (2008). Service-Oriented Modelling of Automotive Systems. doi
  64. (2005). SMAWL: A SMAll Workflow Language Based on CCS.
  65. (2002). Solutions Grid for Business Partners.
  66. (2005). Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. doi
  67. StPowla: SOA, Policies and Workflows. doi
  68. (1999). Strategic Business Process Management for Organisational Effectiveness. Long Range Planning, 32(1):96–106, doi
  69. (2002). Susan Struble, Pal TakacsiNagy, Ivana Trickovic, and Sinisa Zimek. Web Services Choreography Interface (WSCI).
  70. Ten-Step Survival Guide for the Emerging Business Web. doi
  71. (2000). ter Hofstede, and Bartek Kiepuszewski. Advanced Workflow Patterns. doi
  72. (2003). ter Hofstede. Analysis of Web Services Composition Languages: The Case of BPEL4WS. doi
  73. (2001). ter Hofstede. UML Activity Diagrams as a Workflow Specification Language. In doi
  74. (2003). ter Hofstede. Web Service Composition Languages: Old Wine in New Bottles? In doi
  75. (2002). ter Hofstede. What’s in a Service? Distributed and Parallel Databases, doi
  76. (2005). ter Hofstede. YAWL: Yet Another Workflow Language. doi
  77. (2005). The Accent Policy Wizard.
  78. (1998). The Unified Software Development Process.
  79. The Use of Patterns in Service Composition. doi
  80. (2007). Toufic Boubez, and Umit Yalconalp.
  81. (2005). Towards a Formal Semantics of UML 2.0 Activities.
  82. (2006). Towards a Task-Oriented, PolicyDriven Business Requirements Specification for Web Services. doi
  83. (2004). Towards an Aspect Weaving BPEL engine. doi
  84. (2007). Towards Feature Interactions in Business Processes. doi
  85. (2001). Towards Service-Centric System Organization.
  86. (2003). Towards Symbolic Analysis of Visual Modeling Languages. doi
  87. (2005). Transforming BPEL to Petri Nets. doi
  88. (1996). Understanding and Using Patterns doi
  89. (2004). Understanding Service-Oriented Software. doi
  90. (2002). Use of Logic to Describe Enhanced Communications Services. doi
  91. (2005). Using BPMN to model a BPEL Process. BPTrends,
  92. (2003). Using pi-calculus to Formalize UML Activity Diagrams. In doi
  93. (2001). Web Service Flow Language.
  94. (2004). Web Services Glossary. W3C Working Group Note, World Wide Web Consortium
  95. (2004). Web Services: Concepts, Architectures and Applications. doi
  96. (2006). Workflow Control-Flow Patterns: A Revised View. doi
  97. (2003). Workflow Patterns. Distributed and Parallel Databases, doi
  98. (2002). Workflow support for electronic commerce applications. Decision Support Systems, doi
  99. (2006). Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.