Abstract
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. Fragmentation emphasizes the application of design and runtime methods for clustering workflow activities into fragments and for checking the correctness of such fragment identification w.r.t. to some predefined policy. We present a fragment identification approach based on sharing analysis and we show how it can be applied to abstract workflow representations that may include descriptions of data operations, logical link dependencies based on logical formulas, and complex control flow constructs, such as loops and branches. Activities are assigned to fragments (to infer how these fragments are made up or to check their well-formedness) by interpreting the sharing information obtained from the analysis according to a set of predefined policy constraints.
The research leading to these results has received funding from the European Community’s Seventh Framework Programme under the Network of Excellence S-Cube - Grant Agreement n° 215483. Manuel Carro and Manuel Hermenegildo were also partially supported by Spanish MEC project 2008-05624/TIN DOVES and CM project P2009/TIC/1465 (PROMETIDOS). Manuel Hermegildo was also partially supported by FET IST-231620 HATS.
Chapter PDF
Similar content being viewed by others
Keywords
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
Awad, A., Puhlmann, F.: Structural Detection of Deadlocks in Business Process Models. In: Abramowicz, W., Fensel, D. (eds.) International Conference on Business Information Systems. LNBIP, vol. 7, pp. 239–250. Springer, Heidelberg (2008)
Bi, H.H., leon Zhao, J.: Applying Propositional Logic to Workflow Verification. Information Technology and Management 5, 293–318 (2004)
Baresi, L., Maurino, A., Modafferi, S.: Towards Distributed BPEL Orchestrations. ECEASSTÂ 3 (2006)
Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: ACM Symposium on Principles of Programming Languages (POPL 1977), pp. 238–252. ACM Press, New York (1977)
Fdhila, W., Yildiz, U., Godart, C.: A Flexible Approach for Automatic Process Decentralization Using Dependency Tables. In: ICWS, pp. 847–855 (2009)
Hermenegildo, M.V., Bueno, F., Carro, M., López, P., Mera, E., Morales, J.F., Puebla, G.: An Overview of Ciao and its Design Philosophy. Technical Report CLIP2/2010.0, Technical University of Madrid (UPM), School of Computer Science, Under consideration for publication in Theory and Practice of Logic Programming (TPLP) (March 2010)
Jordan, D et al.: Web Services Business Process Execution Language Version 2.0. Technical report, IBM, Microsoft, et. al (2007)
Jacobs, D., Langen, A.: Static Analysis of Logic Programs for Independent And-Parallelism. Journal of Logic Programming 13(2,3), 291–314 (1992)
Khalaf, R.: Note on Syntactic Details of Split BPEL-D Business Processes. Technical Report 2007/2, Institut für Architektur von Anwendungssystemen, Universität Stuttgart, Universitätsstrasse 38, 70569 Stuttgart,Germany (July 2007)
Khalaf, R., Leymann, F.: E Role-based Decomposition of Business Processes using BPEL. In: IEEE International Conference on Web Services, ICWS 2006 (2006)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Muthukumar, K., Hermenegildo, M.: Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In: International Conference on Logic Programming (ICLP 1991), pp. 49–63. MIT Press, Cambridge (June 1991)
Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming 13(2/3), 315–347 (1992)
Marriott, K., Søndergaard, H.: Precise and efficient groundness analysis for logic programs. Technical report 93/7, Univ. of Melbourne (1993)
Object Management Group. Business Process Modeling Notation (BPMN), Version 1.2 (January 2009)
Tan, W., Fan, Y.: Dynamic Workflow Model Fragmentation for Distributed Execution. Comput. Ind. 58(5), 381–391 (2007)
van der Aalst, W., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures number 06291 in Dagstuhl Seminar Proceedings (2006)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245–275 (2005)
The Workflow Management Coalition. XML Process Definition Language (XPDL) Version 2.1 (2008)
Weber, B., Reichert, M., Rinderle-Ma, S.: Change Patterns and Change Support Features - Enhancing Flexibility in Process-Aware Information Systems. Data Knowl. Eng. 66(3), 438–466 (2008)
Yildiz, U., Godart, C.: Information Flow Control with Decentralized Service Compositions. In: ICWS, pp. 9–17 (2007)
Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let’s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145–162. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ivanović, D., Carro, M., Hermenegildo, M. (2010). Automatic Fragment Identification in Workflows Based on Sharing Analysis. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds) Service-Oriented Computing. ICSOC 2010. Lecture Notes in Computer Science, vol 6470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17358-5_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-17358-5_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17357-8
Online ISBN: 978-3-642-17358-5
eBook Packages: Computer ScienceComputer Science (R0)