A safety criterion for reusing a business process in the desired integrated process

Proceedings - 2006 IEEE International Conference on Services Computing, SCC 2006

Volumn , Issue , 2006, Pages 381-389

  Barat, Souvik ^a   Kulkarni, Vinay ^a   Janakiram, D ^b  

^a TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY MADRAS   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPETITIVE INTELLIGENCE; COMPUTER SUPPORTED COOPERATIVE WORK; DATA ACQUISITION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBLEM SOLVING;

ENTERPRISE APPLICATION INTEGRATION; INTEGRATED PROCESS; ISOLATED APPLICATIONS; PRAGMATIC APPROACH;

SECURITY SYSTEMS;

EID: 35148823344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2006.15     Document Type: Conference Paper

References (22)

1. Dr. Katy Ring and Neil Ward-Dutton of the Ovum consulting group, "White paper: Enterprise Application Integration: Making the Right Connections", May, 1999.
2. Linthicum D, Enterprise Application Integration, Addison-Wesley, 2000.
3. P. Johannesson, B. Wangler, and P Jayaweera, "Application and Process Integration -Concepts, Issues, and Research Directions", Information Systems Engineering Symposium 2000, eds., Springer Verlag, 2000.
4. Vinay Kulkarni and Sreedhar Reddy, "Integrating Aspects with Model Driven Software Development". Software Engineering Research and Practice 2003, pp 186-197.
5. IBM, "Specification: Business Process Execution Language for Web Services Version 1.1", July 2002, http://www-128.ibm.com/developerworks/ library/specification/ws-bpel.
6. Jim Amsden, Tracy Gardner, Catherine Griffin and Sridhar Iyengar, "Draft UML 1.4 profile for automated Business process with a mapping to BPEL1.0", IBM.
7. Hopcroft, J.E., Motwani, R., and Ullman, J.D., Introduction to automata theory, languages, and computation, Addison Wesley, 2001.
8. OMG, "UML Infrastructure 2.0 Draft Adopted Specification", 2003, www.omg.org/uml/.
9. D. Harel, "Statecharts: A visual formalism for complex systems", Science of computer programming, 8(3), June, 1987.
10. C. A. R. Hoare and A. W. Roscoe, "A Theory of Communicating Sequential Processes", J. ACM 31 (3), 1984, pp. 560-599
11. Robin Milner, Communication and mobile systems: the Pi-calculus, Cambridge University Press, 1999.
12. W.M.P. van der Aalst, "The Application of Petri Nets to Workflow Management", The Journal of Circuits, Systems and Computers, 8(1), 1998, pp. 21-66.
13. Gerard Berry , "The Esterel v5 Language Primer Version v5 91 "June 2000.
14. A Bouali, A. Ressouche, V. Roy, and R de Simone, "The fc2tools Set", 8th International Conference on Computer Aided Verification, LNCS: Vol 1102, 1996.
15. S. Nakajima, "Model-Checking Verification for Reliable Web Service", OOPSLA 2002, Workshop on Object-Oriented Web Services, Seattle, Washington, 2002.
16. Rik Eshuis and Roel Wieringa, "An Execution Algorithm for UML Activity Graphs", 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, LNCS; Vol. 218, 2001, pp. 47-61.
17. Roberto W. S. Rodrigues, "Formalising UML Activity Diagrams using Finite State Processes", 3rd Intl. Conf. on the Unified Modeling Language, York, UK, Oct. 2000. [18] Andreas Wombacher, Peter Fankhauser and Erich Neuhold, "Transforming BPEL into annotated Deterministic Finite state Automata enabling process annotated service discovery", 2nd Intl. Conference on Web Services (ICWS 04), San Diego, California.
18. Andreas Wombacher, Peter Fankhauser, Bendick Mahleko and Erich Neuhold. "Matchmaking for Business Processes Based on Choreographies", International Journal of Web Services, 2004
19. A. Ankolekar et al. "DAML-S: Web Service Description for the Semantic Web", Proceedings of the International Semantic Web Conference (ISWC), 2002.
20. Howard Foster, Sebastian Uchitel, Jeff Magee and Jeff Kramer, "Compatibility Verification for Web Service Choreography", Proc. ICWS IEEE, 2004, pp. 738-741.
21. Rachid Hamadi and Boualem Benatallah , "A Petri Netbased Model for Web Service Composition", Conferences in Research and Practice in Information Technology Series, Proceedings of the Fourteenth Australasian database conference on Database technologies, 2003 - Volume 17.
22. Preuner M. and Schrefl M, "Requester-centered composition of business processes from internal and external services", Data & Knowledge Engineering Volume 52, Issue 1 (January 2005) Special issue: Collaborative business process technologies, pp. 121-155.