Abstract
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically published, discovered and invoked over a network. The engineering of such systems presents novel challenges, mostly due to the dynamicity and distributed nature of service-based applications. In this paper, we focus on the modelling of service orchestrations. We discuss the relationship between two languages developed under the Sensoria project: SRML as a high level modelling language for Service Oriented Architectures, and StPowla as a process-oriented orchestration approach that separates core business processes from system variability at the end-user’s level, where the focus is towards achieving business goals. We also extend the current status of StPowla to include workflow reconfigurations. A fundamental challenge of software engineering is to correctly align business goals with IT strategy, and as such we present an encoding of StPowla to SRML. This provides a formal framework for StPowla and also a separated view of policies representing system variability that is not present in SRML.
This work has been partially sponsored by the project Sensoria, IST-2005-016004.
Chapter PDF
Similar content being viewed by others
Keywords
- Business Process
- Service Orient Architecture
- Business Process Modelling
- Strict Preference
- Business Process Modelling Notation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 358–373. Springer, Heidelberg (2007)
Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 291–308. Springer, Heidelberg (2006)
Bocchi, L., Hong, Y., Lopes, A., Fiadeiro, J.L.: From BPEL to SRML: A Formal Transformational Approach. In: Proc.of 4th International Workshop on Web Services and Formal Methods (WSFM 2007). LNCS, Springer, Heidelberg (2007)
Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.): BPM 2006. LNCS, vol. 4102. Springer, Heidelberg (2006)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. Web Services and Formal Methods 4184, 193–213 (2006)
Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini, L.: StPowla: SOA, Policies and Workflows. In: Proceedings of 3rd International Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition, Vienna, Austria, September 17, 2007 (2007)
Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar,, et al. (eds.) [4], pp. 465–470
Haas, H., Brown, A.: Web Services Glossary. W3C Working Group Note, World Wide Web Consortium (W3C) (2004), http://www.w3.org/TR/ws-gloss/
Beisiegel, M., Blohm, H., Booz, D., Dubray, J., Colyer, A., Edwards, M., Ferguson, D., Flood, B., Greenberg, M., Kearns, D., Marino, J., Mischkinsky, J., Nally, M., Pavlik, G., Rowley, M., Tam, K., Trieloff, C.: Building Systems using a Service Oriented Architecture. Whitepaper, SCA Consortium (2005), http://www.oracle.com/technology/tech/webservices/standards/sca/pdf/SCA_White_Paper1_09.pdf
Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic–Based Detection of Conflicts in Appel Policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 257–271. Springer, Heidelberg (2007)
Moses, T.: extensible access control markup language specification (2005), www.oasis-open.org
Müller, R., Greiner, U., Rahm, E.: Agentwork: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)
Reiff-Marganiec, S.: Policies: Giving users control over calls. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features, Dagstuhl Seminar 2003. LNCS, vol. 2975, pp. 189–208. Springer, Heidelberg (2004)
Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: the accent project policy environment/language. Technical Report TR-161, University of Stirling (2005)
Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the suitability of uml 2.0 activity diagrams for business process modelling. In: Stumptner, M., Hartmann, S., Kiyoki, Y. (eds.) APCCM. CRPIT, vol. 53, pp. 95–104. Australian Computer Society (2006)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003), Information, www.workflowpatterns.com
Wang, H.J.: A Logic-based Methodology for Busines Process Analysis and Design: Linking Business Policies to Workflow Models. PhD thesis, University of Arizona (2006)
White, S.A.: Business process modelling notation. Object Management Group (OMG) and Business Process Management Initiative (2004), www.bpmn.org
Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J.L., Gilmore, S., Hölzl, M., Koch, N., Pugliese, R.: SENSORIA: Engineering for Service-Oriented Overlay Computers, June 2007. MIT, Cambridge (submited 2007)
Wohed, P., Aalst, W.M.P.v.d., Dumas, M., Hofstede, A.H.M.t., Russell, N.: On the suitability of bpmn for business process modelling. In: Dustdar, et al. (eds.) [4], pp. 161–176
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bocchi, L., Gorton, S., Reiff-Marganiec, S. (2008). Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fiadeiro, J.L., Inverardi, P. (eds) Fundamental Approaches to Software Engineering. FASE 2008. Lecture Notes in Computer Science, vol 4961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78743-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-78743-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78742-6
Online ISBN: 978-3-540-78743-3
eBook Packages: Computer ScienceComputer Science (R0)