Towards a foundation of component-oriented software reference models

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

Volumn 2177, Issue , 2001, Pages 70-84

  Teschke, Thorsten ^a   Ritter, Jörg ^b  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b OSC OFFIS Systems and Consulting GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

COMPONENT DESCRIPTIONS; COMPONENT MODEL; COMPONENT-BASED SOFTWARE SYSTEMS; COMPONENT-ORIENTED; DOMAIN EXPERTS; REFERENCE MODELS; SOFTWARE COMPONENT;

INTEROPERABILITY;

EID: 84956665111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44815-2_6     Document Type: Conference Paper

References (27)

1. APPELRATH, H.-J., andRITTER, J. S A P R/3 Implementation. Methods and Tools. SAP Excellence. Springer-Verlag, Berlin, Heidelberg, 2000.
2. BROCKSCHMIDT K. Inside OLE, 2. ed. Microsoft Press, 1995.
3. CANAL, C., FUENTES, L., TROYA J. M., and VALLECILLAO A., Extending CORBA interfaces with (formula presented) calculus for protocol compatibility. In Proceedings of TOOLS Europe 2000 (Dpto. de Lenguajes y Ciencias de la Computacin, Universidad de Mlaga 2000), IEEE Press.
4. DATA ACCESS TECHNOLOGIES Business Object Component Architecture Overview, May 1998. http://www.d-a-t.com/Documents/CdlConcepts.PDF.
5. EBERT, J., and ENGELS G,. Observable or invocable behaviour - you have to choose! Tech. Rep. tr94-38, University of Koblenz, University of Leiden, 1994.
6. EDDON, G., and EDDON H. Inside Distributed COM. Microsoft Press, 1998.
7. FISCHER, C. CSP-OZ: A combination of Object-Z and CSP. In Proceedings of Formal Methods for Open Object-Based Distributed Systems (FMOODS '97) (1997), H. Bowmann and J. Derrick, Eds., vol. 2, Chapman & Hall, pp. 423-438.
8. GRIFFEL, F. Componentware. dpunkt-Verlag, Heidelberg, 1998.
9. HAREL, D., and GERY E. Executable object modeling with statecharts. IEEE Computer 30, 7 (1997).
10. HARTEL, P., HARTMANN T., KUSCH J., AND SAAKE G,. Specifying information systems dynamics in TROLL. In Proceedings of Workshop Formal Methods for Information Systems Dynamics (University of Twente, 1994), pp. 53-64.
11. HOARE, C. A. R. Communicating Sequential Processes. Prentice Hall, New York, 1985
12. KELLER, G., AND TEUFEL T. SAP R/ 3 Process Oriented Implementation: Iterative Process Prototyping. Addison Wesley Publishing Company, 1998.
13. MAGEE, J., DULAY N., EISENBACH S., AND KRAMER J,. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference (ESEC '95) (Barcelona, 1995).
14. MATENA, V., and HAPNER, M. Enterprise JavaBeans Specification. Sun Microsystems, 1999.
15. MILNER, R,. Communication and Concurrency. Prentice Hall, New York, 1989.
16. MILNER, R. The polyadic T-calculus: A tutorial. In Logic and Algebra of Specification, F. L. Hamer, W. Brauer, and H. Schwichtenberg, Eds. Springer-Verlag, 1993.
17. MILNER, R., PARROW J., and WALKER D,. A calculus of mobile processes, part I and 11. Journal of Information and Computation 100, 1 (1992), 1-77.
18. NIERSTRASZ O ,. Regular types for active objects. In Object-Oriented Software Composition, O. Nierstrasz and D. Tsichritzis, Eds. Prentice Hall, 1995, pp. 99-121.
19. OLDEROG, E.-R. Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1991.
20. OMG. CORBA Components: Joint Revised Submission, OMG T C document orbos/99-02-05. Object Management Group, 1999.
21. OMG. Unified Modeling Language Specification, Version 1.3. Object Management Group, 1999.
22. PIERCE, B. C., and TURNER, D. N. Pict: A programming language based on the T-calculus. Tech. Rep. CSCI 476, Computer Science Department, Indiana University, 1997.
23. RITTER, J. Prozessorientierte Konfiguration komponentenbasierter Anwendungssysteme. Dissertation, Carl von Ossietzky Universität Oldenburg, 2000.
24. STAL, M. Fteich der Mitte - Die Komponententechnologien COM+, EJB und CORBA Components. OBJEKTspektrum 3 (2000), 26-33.
25. SZYPERSKI, C. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 1998.
26. TESCHKE T., and RITTER, J. Towards a foundation of component-oriented software reference models. In Proceedings of Net. Object Days 2000 (2000), pp. 479-493.
27. ZAREMSKI, A. M., and WING, J. M. Specification matching of software components. ACM Transactions on Software Engineering and Methodology 6, 4 (1997), 333-369.