Abstract
The increasing number of available software components and competing interoperability standards render the selection, composition, and configuration of software components increasingly complex. In order to support the domain expert in these processes comprehensive, comparable, and sufficiently abstract component descriptions are required. In this paper, we abstract from the specifics of the component models COM, EJB, and CCM, and propose a unifying component description language for integral descriptions of structure and behaviour of software components and component-based software systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Appelrath, H.-J., and Ritter, J. SAP R/3 Implementation. Methods and Tools. SAP Excellence. Springer-Verlag, Berlin, Heidelberg, 2000.
Brockschmidt, K. Inside OLE, 2. ed. Microsoft Press, 1995.
Canal, C., Fuentes, L., Troya, J. M., and Vallecillo, A. Extending CORBA interfaces with π-calculus for protocol compatibility. In Proceedings of TOOLS Europe 2000 (Dpto. de Lenguajes y Ciencias de la Computacin, Universidad de laga 2000), IEEE Press.
Data Access Technologies. Business Object Component Architecture Overview, May 1998. http://www.d-a-t.com/Documents/CdlConcepts.PDF.
Elbert, J., and Engels, G. Observable or invocable behaviour you have to choose!Tech. Rep.tr94-38, University of Koblenz, University of Leiden, 1994.
Eddon, G., and Eddon, H. Inside Distributed COM. Microsoft Press, 1998.
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.
Griffel, F. Componentware. dpunkt-Verlag, Heidelberg, 1998.
Harel, D., and Gry, E. Executable object modeling with statecharts. IEEE Computer30, 7 (1997).
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.
Hoare, C. A. R. Communicating Sequential Processes. Prentice Hall, New York, 1985.
Keller, G., and Teufel, T. SAP R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison Wesley Publishing Company, 1998.
Magee, J., Dulay, N., Esenbach, S., and Kramer, J. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference (ESEC’ 95) (Barcelona, 1995).
Matena, V., and Hapner, M. Enterprise JavaBeans Specification. Sun Microsystems, 1999.
Mlner, R. Communication and Concurrency. Prentice Hall, New York, 1989.
Milner, R. The polyadic π-calculus: A tutorial. In Logic and Algebra of Specification, F. L. Hamer, W. Brauer, and H. Schwichtenberg, Eds. Springer-Verlag, 1993.
Milner, R., Parrow, J., and Walker, D. A calculus of mobile processes, part I and II. Journal of Information and Computation 100, 1 (1992), 1–77.
Nrstrasz, O. Regular types for active objects. In Object-Oriented Software Composition, O. Nierstrasz and D. Tichritzis, Eds. Prentice Hall, 1995, pp. 99–121.
Olderog, E.-R. Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1991.
OMG. CORBA Components: Joint Revised Submission, OMG TC document orbos/99-02-05. Object Management Group, 1999.
OMG. Unified Modeling Language Specification, Version 1. 3. Object Management Group, 1999.
Pierce, B. C., and Turner, D. N. Pict: A programming language based on the π-calculus. Tech. Rep.CSCI 476, Computer Science Department, Indiana University, 1997.
Ritter, J. Prozessorientierte Konfiguration komponentenbasierter Anwendungssysteme. Dissertation, Carl von Ossietzky Universität Oldenburg, 2000.
Stal, M. DeReich der Mitte-Die Komponententechnologien COM+, EJB und CORBA Components. OBJEKTspektrum3 (2000), 26–33.
Szyperski, C. Component Software-Beyond Object-Oriented Programming. Addison-Wesley, 1998.
Teschke, T., and Ritter, J. Towards a foundation of component-oriented software reference models. In Proceedings of Net. ObjectDays2000 (2000), pp. 479–493.
Aremski, A. M., and Wing, J. M. Specification matching of software components. ACM Transactions on Software Engineering and Methodology6, 4 (1997), 333–369.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Teschke, T., Ritter, J. (2001). Towards a Foundation of Component-Oriented Software Reference Models. In: Butler, G., Jarzabek, S. (eds) Generative and Component-Based Software Engineering. GCSE 2000. Lecture Notes in Computer Science, vol 2177. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44815-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-44815-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42578-6
Online ISBN: 978-3-540-44815-0
eBook Packages: Springer Book Archive