Automatic fragment identification in workflows based on sharing analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 350-364

  Ivanović, Dragan ^a   Carro, Manuel ^a   Hermenegildo, Manuel ^a,b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b IMDEA SOFTWARE INSTITUTE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT WORKFLOW; COMPLEX CONTROL FLOW; DATA OPERATIONS; DESIGN ISSUES; IDENTIFICATION APPROACH; LOGICAL FORMULAS; LOGICAL LINKS; POLICY CONSTRAINTS; RUNTIMES; SERVICE-ORIENTED COMPUTING; SHARING ANALYSIS; SHARING INFORMATION; WORK-FLOWS;

DISTRIBUTED COMPUTER SYSTEMS; MANAGEMENT;

DATA FLOW ANALYSIS;

EID: 78650767784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_24     Document Type: Conference Paper

References (22)

1. 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)
2. Bi, H.H., leon Zhao, J.: Applying Propositional Logic to Workflow Verification. Information Technology and Management 5, 293-318 (2004)
3. Baresi, L., Maurino, A., Modafferi, S.: Towards Distributed BPEL Orchestrations. ECEASST 3 (2006)
4. 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)
5. Fdhila, W., Yildiz, U., Godart, C.: A Flexible Approach for Automatic Process Decentralization Using Dependency Tables. In: ICWS, pp. 847-855 (2009)
6. 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)
7. Jordan, D et al.: Web Services Business Process Execution Language Version 2.0. Technical report, IBM, Microsoft, et. al (2007)
8. Jacobs, D., Langen, A.: Static Analysis of Logic Programs for Independent And- Parallelism. Journal of Logic Programming 13(2,3), 291-314 (1992)
9. 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)
10. Khalaf, R., Leymann, F.: E Role-based Decomposition of Business Processes using BPEL. In: IEEE International Conference on Web Services, ICWS 2006 (2006)
11. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
12. 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)
13. Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming 13(2/3), 315-347 (1992)
14. Marriott, K., Søndergaard, H.: Precise and efficient groundness analysis for logic programs. Technical report 93/7, Univ. of Melbourne (1993)
15. Object Management Group. Business Process Modeling Notation (BPMN), Version 1.2 (January 2009)
16. Tan, W., Fan, Y.: Dynamic Workflow Model Fragmentation for Distributed Execution. Comput. Ind. 58(5), 381-391 (2007)
17. 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)
18. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245-275 (2005)
19. The Workflow Management Coalition. XML Process Definition Language (XPDL) Version 2.1 (2008)
20. 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)
21. Yildiz, U., Godart, C.: Information Flow Control with Decentralized Service Compositions. In: ICWS, pp. 9-17 (2007)
22. 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)