Events as atomic contracts for component integration

Data and Knowledge Engineering

Volumn 51, Issue 1, 2004, Pages 81-107

  Snoeck, Monique ^a   Lemahieu, Wilfried ^a   Goethals, Frank ^a   Dedene, Guido ^a   Vandenbulcke, Jacques ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Business events; Contract analysis; Event based coordination paradigm; Preconditions

Indexed keywords

ARCHITECTURAL DESIGN; AUTOMATA THEORY; COMMUNICATION SYSTEMS; DATA PROCESSING; INFORMATION SCIENCE; INTEGRATION; ITERATIVE METHODS; LOCAL AREA NETWORKS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; SEMANTICS; SET THEORY; WORLD WIDE WEB;

BUSINESS EVENTS; COMPONENT INTEGRATION; DESIGN METHODOLOGY; OBJECT-ORIENTED ANALYSIS;

CONTRACTS;

EID: 4243165652     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.03.007     Document Type: Article

References (46)

1. Action Semantics Consortium, Action Semantics for the UML, Available from < http://www.kc.com/as_site/home.html >, accessed on 14/11/2003.
2. A. Arkin, Business Process Modeling Language, BPMI draft specification, 2002, Available from accessed 11/2000.
3. J. Bacon, J. Bates, R. Hayton, K. Moody, Using events to build distributed applications, in: Proceedings of the Second International Workshop in Services in Distributed Networked Environments, IEEE Computer Society Press, Silver Spring, MD, June 1995, pp. 148-155.
4. Baeten J.C.M. Procesalgebra. 1986;Kluwer programmatuurkunde, Deventer.
5. Bourdeau R.H., Cheng B.H.C. A formal semantics for object model diagrams. IEEE Transactions on Software Engineering. 21(10):1995;799-821.
6. Bruel J.M., Lilius J., Moreira A., France R.B. Defining precise semantics for UML. ECOOP 2000, Workshop Reader. Lecture Notes in Computer Science. vol. 1964:2000;113-122 Springer, Berlin.
7. Cabrera, G. Copeland, B. Cox T. Freund, J. Klein, T. Storey, S. Thatte, Specification: Web Services Transaction (WS-Transaction), 2002, Available from < http://www-106.ibm.com/developerworks/webservices/library/ws-transpec/ >, accessed on 22/11/2003.
8. A. Carzaniga, E. Di Nitto, D.S. Rosenblum, A.L. Wolf, Issues in supporting event-based architectural styles, in: Proceedings of the Third International Software Architecture Workshop, ACM Press, New York, November 1998, pp. 17-20.
9. A. Ceponkus, P. Furniss, A. Green, Business Transaction Protocol, OASIS Committee Specification, 2001, Available from < http://xml.coverpage.org/OASIS-BTP-Specification-DRAFT090.pdf >, accessed on 2/12/2003.
10. Cheung K.S., Chow K.O., Cheung T.Y. Consistency analysis on lifecycle model and interaction model. Proceedings of the International Conference on Object Oriented Information Systems, 9-11 September, Paris. 1998;427-441 Springer, Berlin.
11. Cook S., Daniels J. Syntropy. 1994;Prentice Hall, Englewood Cliffs, NJ.
12. Cugola G., Di Nitto E., Fuggetta A. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Transactions on Software Engineering. 27(9):2001;827-850.
13. Dedene G., Snoeck M. Formal deadlock elimination in an object-oriented conceptual schema. Data and Knowledge Engineering. 15(1):1995;1-30.
14. Dijkstra E. Cooperating sequential processes. Genuys F. Programming Languages. 1968;43-112 Academic Press, New York.
15. D'Souza D., Wils A.C. Objects, Components, and Frameworks with UML, the Catalysis approach. 1999;Addison-Wesley, Reading, MA.
16. Evans A., France R., Lano K., Rumpe B. Developing the UML as a formal modelling notation. Bézivin J., Muller P.-A. UML'98 Beyond the Notation, International Workshop, Mulhouse France. Lecture Notes in Computer Science. vol. 1618:1998;397-407 Springer, Berlin.
17. Fiege L., Mezini M., Mühl G., Buchmann A. Engineering event-based systems with scopes. Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP'02). Lecture Notes in Computer Science. vol. 2374:2002;309-334 Springer, Berlin.
18. C.A.R. Hoare, Communicating Sequential Processes, in: Prentice-Hall International, Series in Computer Science, 1985.
19. Hopcroft J.E., Ullman J.D. Formal Languages and their Relation to Automata. 1969;Addison-Wesley, Reading, MA.
20. Joung Y., Smolka S.A. A comprehensive study of the complexity of multiparty interaction. Journal of the ACM. 43(1):1996;75-115.
21. Krishnamurthy B., Rosenblum D.S. Yeast: a general purpose event-action system. IEEE Transactions on Software Engineering. 21(10):1995;845-857.
22. L. Kuzniarz, G. Reggio, J.L. Sourrouille, Z. Huzar, Workshop on Consistency Problems in UML-based software development, Workshop Materials,Research Report 2002:06, Blekinge Institute of Technology, Ronneby 2002, Workshop at the UML 2002 Conference, Available from < http://www.ipd.bth.se/consistencyUML/ >, accessed on 11/2003.
23. H. Lam, S.Y.W. Su, Component interoperability in a virtual enterprise using events/triggers/rules, in: Proceedings of OOPSLA '98 Workshop on Objects, Components, and Virtual Enterprise, October 18-22, 1998, Vancouver, BC, Canada, 1998, pp. 47-53.
24. Le Grand A. Specialisation of object lifecycles. Proceedings of the International Conference on Object Oriented Information Systems, 9-11 September, Paris. 1998;259-275 Springer, Berlin.
25. Lemahieu W., Snoeck M., Michiels C. An enterprise layer based approach to application service integration. Business Process Management Journal. 9(6):2003;760-775. (Special issue on Process outsourcing & application service provision).
26. W. Lemahieu, M. Snoeck, C. Michiels, F. Goethals, G. Dedene, J. Vandenbulcke, Event-based web service description and coordination, in: Web Services, e-Business, and the Semantic Web Workshop of the CAiSE'03 Conference, Lecture Notes in Computer Science Series, Springer, Berlin (accepted).
27. R. Meier, V. Cahill, Taxonomy of distributed event-based programming systems, Technical Report, TCD-CS-2002, Department of Computer Science, Trinity College Dublin, Ireland, March 2002.
28. Meyer B. Object-oriented software construction. second ed. 1997;Prentice-Hall, Englewood Cliffs, NJ.
29. C. Michiels, M. Snoeck, W. Lemahieu, F. Goethals, G. Dedene, A layered architecture sustaining model driven and event driven software development, in: Proceedings of the Perspectives of System Informatics, 9-12 July 2003, Novosibirsk, Akademgorodok, Russia, Springer Lecture Notes in Computer Science, 2890 (2003). Springer, Berlin, pp. 58-65.
30. Milner R. A calculus of communicating systems. Lecture Notes in Computer Science. 1980;Springer, Berlin.
31. Nagarajan K., Lam H., Su S.Y.W. Integration of business event and rule management with the web service model. International Journal of Web Services Research. 1(1):2004;41-57.
32. OMG, Unified Modelling Language, Available from < www.omg.org/uml >, accessed 11/2003.
33. OMG, Model-Driven Architecture, Available from < http://www.omg.org/mda >, accessed 22/11/2003.
34. OMG, CORBA, Available from < http://www.omg.org/corba >, accessed 22/11/2003.
35. pUML, The precise UML group, Available from < http://www.cs.york.ac.uk/puml/ >, accessed 11/2003.
36. Robinson K., Berrisford G. Object-oriented SSADM. 1994;Wiley, Chichester.
37. Rolland C., Richard Chr. The REMORA methodology for information system design and management. Olle T.W., Sol G.H., Verrijn-Stuart A.A. Information Systems Design Methodologies: A Comparative Review. 1982;369-426 IFIP, North Holland.
38. Rosenblum D.S., Wolf A.L. A design framework for internet-scale event observation and notification. Jazayeri M., Schauer H. Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97). Lecture Notes in Computer Science. vol. 1013:1997;344-360 Springer Verlag, Berlin.
39. B. Rumpe, A note on semantics (with an emphasis on UML), in: Second ECOOP Workshop on Precise Behavioural Semantics, in: H. Kilov, B. Rumpe (Eds.), Technische Universität München, TUM-I9813, 1998.
40. Shaw M., Garlan D. Software architecture: perspectives on an emerging discipline. 1996;Prentice-Hall, Upper Saddle River, NJ.
41. Snoeck M., Dedene G. Existence dependency: The key to semantic integrity between structural and behavioral aspects of object types. IEEE Transactions on Software Engineering. 24(4):1998;233-251.
42. Snoeck M., Dedene G., Verhelst M., Depuydt A. 1999, Object-oriented enterprise modelling with MERODE. 1999;Leuvense Universitaire Pers, Leuven.
43. M. Snoeck, On a process algebra approach for the construction and analysis of MERODE-based conceptual models, Ph.D. Dissertation, K.U. Leuven, Faculty of Sciences and Faculty of Applied Economic Sciences, Department of Computer Science, 1995.
44. S. Thatte, XLANG Web services for business process design, Available from < http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm >, accessed 11/2003.
45. Web Services Description Language (WSDL) 1.0 specification, Available from < http://msdn.microsoft.com/xml/general/wsdl.asp >, 2001, accessed 11/2003.
46. S. Weerawana, F. Curbera, Business Process with BPEL4WS, IBM white paper (2002), Available from < http://www-106.ibm.com/developerworks/webservices/library/ws-bpelcol1/ >, accessed 22/11/2003.