Checking necessary conditions for control and data flow compatibility Between business and interaction logics in web processes

Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08

Volumn , Issue , 2008, Pages 92-101

  Ibáñez, María José ^a   Álvarez, Pedro ^a   Ezpeleta, Joaquín ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Petri nets; Process composition at run time; Process oriented software architectures; Semantic based data flow; Workflow and interactions compatibility

Indexed keywords

ARCHITECTURAL DESIGN; GRAPH THEORY; INFORMATION THEORY; MANAGEMENT; MARINE BIOLOGY; ONTOLOGY; PETRI NETS; SEMANTICS; SOFTWARE ARCHITECTURE; WEB SERVICES; WORLD WIDE WEB;

ANALYSIS TECHNIQUES; BUSINESS PROCESSING; INTER-ACTION PROTOCOLS; INTERACTION LOGICS; PARAMETRIZATION; PROCESS COMPOSITION AT RUN-TIME; PROCESS-ORIENTED SOFTWARE ARCHITECTURES; RUN TIME; SEMANTIC-BASED DATA FLOW; WEB BASED APPLICATIONS; WEB PROCESSING; WORKFLOW AND INTERACTIONS COMPATIBILITY;

INTERNET PROTOCOLS;

EID: 58449106862     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2008.18     Document Type: Conference Paper

References (29)

1. L. Ardissono, G. Petrone, and M. Segnan. Extending Web Service Technologies. The use of Multi-Agent approaches, chapter Enabling flexible interaction with web services, pages 187-208. Springer Verlag, 2004.
2. S. Arroyo, M.-A. Sicilia, and J.-M. Dodero. Choreography Frameworks for Business Integration: Addressing Heterogeneous Semantics. Computers in Industry, 58(6):487-503, 2007.
3. B. Benatallah, F. Casati, J. Ponge, and F. Toumani. Compatibility and Replaceability Analysis for Timed Web Services Protocols. Data Knowledge Engeniering, 58(3):327-357, 2006.
4. J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M, Weber. The Petri Net Markup Language: Concepts, Technology, and Tools. In Applications and Theory of Petri Nets 2003: 24th International Conference, pages 1023-1024, Eindhoven, The Netherlands, June 2003.
5. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and Orchestration: A Synergic Approach for System Design. In Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, pages 228-240, 2005.
6. E. Clarke, O. Grumberg, and D. Long. Verification Tools for Finite State Concurrent Systems. In A Decade of Concurrency-Reflections and Perspectives, volume 803, pages 124-175, Noordwijkerhout, Netherlands, 1993. Springer-Verlag.
7. N. Desai, A, U. Mallya, A. K, Chopra, and M. P. Singh. OWL-P: A Methodology for Business Process Development. In Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, volume 3529 of Lecture Notes in Computer Science, pages 79-94. Springer, 2005.
8. E. A. Emerson. Temporal and Modal Logic. volume B: Formal Models and Semantics, pages 995-1072. MIT Press, 1990.
9. European Community for Software and Software Services. 3S Green Paper on Software and Service Architectures, Infrastructures and Engineering - A Working Document for a Future EU Action Paper on the Area (version 1.2). Sixth Framework Programme. Priority 2: Information Society Technologies. Technical report, European Commission. Information Society and Media, 2007.
10. J. Euzenat and P. Shvaiko. Ontology Matching. Springer-Verlag, Heidelberg (DE), 2007.
11. J. Fabra, P. Álvarez, J. Bañares, and J. Ezpeleta. A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems. In 4th International Conference on Business Process Management (BPM 2006), Lecture Notes in Computer Science. Springer Verlag, 2006.
12. J. Fabra, P. Álvarez, J. Bañares, and J. Ezpeleta. Run Time Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions. In IEEE International Conference on Services Computing, July 8-11, 2008, Honolulu, Hawaii, USA, 2008.
13. FIPA. FIPA ACL Message Structure Specification. Technical Report SC00061G, Foundation for Intelligent Physical Agents, 2002.
14. J. E. Hanson, P. Nandi, and S. Kumaran. Conversation Support for Business Process Integration. In EDOC '02: Proceedings of the Sixth International Entreprise Distributed Object Computing Conference (EDOC'02), page 65, Washington, DC, USA, 2002. IEEE Computer Society.
15. M. Hepp and D. Roman. An Ontology Framework for Semantic Business Process Management. In Internationale Tagung Wirtschaftsinformatik 2007, Karlsruhe, Germany, February 28 - March 2, 2007, pages 423-440, 2007.
16. M. J. Ibáñez, P. Álvarez, and J. Ezpeleta. Syntactic Compatibility and Replaceability in DENEB-based Processes. Technical Report RR-08-02, Department of Computer Science and System Engineering, Zaragoza University, Maria de Luna 3, e-50015 Zaragoza (España), March 2008.
17. O. Kummer, F. Wienberg, M. Duvigneau, J. Schumacher, M. Köhler, D. Moldt, H. Rölke, and R. Valk. An Extensible Editor and Simulation Engine for Petri Nets: Renew. In Applications and Theory of Petri Nets 2004., volume 3099, pages 484-493. Springer, June 2004.
18. Q. Lin, J. Ge, H. Hu, and J. Lu. An Approach to Model Cross-organizational Processes using Object Petri Net. In 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pages 146-152,2007.
19. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580, 1989.
20. Y. Narahari and N. Viswanadham. A Petri Net Approach to the Modeling and Analysis of Flexible Manufacturing Systems. Annals of Operations Research, 3(4):449, 1985.
21. A. Petrinjak and R. Elio. Understanding Not-Understood: Towards an Ontology of Error Conditions for Agent Communication. In Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, volume 2671, pages 383-399. Springer, June 2003.
22. D. Roman, U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel. Web Service Modeling Ontology. Applied Ontology, 1(1):77-106, 2005.
23. C. Schröter, S. Schwoon, and J. Esparza. The Model-Checking Kit. In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22-31, Masaryk University, Brno, 2002.
24. K. A. Schulz and M. E. Orlowska. Facilitating Cross-Organisational Workflows with a Workflow View Approach. Data Knowledge Engeniering, 51(1): 109-147, 2004.
25. M. Stollberg, T. Strangl, and D. Fensel. Automated Collaboration on the Semantic Web. In Doctoral Symposium at the Fifth International Conference on Web Engineering (ICWE2005), Sydney, Australia, July 2005.
26. R. Valk. Object Petri Nets: Using the Nets-within-Nets Paradigm. Lectures on Concurrency and Petri Nets:Advances in Petri Nets- Volume 3098 of Lecture Notes in Computer Science / Jrg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.), pages 819-848, June 2004.
27. W. M. P. van der Aalst. Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? Information Technology and Management, 4(4):345-389, 2003.
28. W. M. P. van der Aalst, A. T. Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow Patterns. Distributed Parallel Databases, 14(l):5-51, 2003.
29. Z. Zhou, S. Bhiri, K. Ning, L. Vasiliu, D. Foxvog, and W. Gaaloul. Better Behavioral Description for Dynamic Semantic Web Services Collaboration. In SKG'07: Proceedings of the Third International Conference on Semantics, Knowledge and Grid, pages 338-341, Washington, DC, USA, 2007. IEEE Computer Society.