Abstract
Component-based programming, which promises to facilitate the construction of large-scale applications, relies to a large degree on interfaces. Interfaces on most component models only declare types and sets of services that components implement, and are not expressive enough to formulate structural and behavioral properties of components. In this paper we show how to integrate one important class of behavioral properties: constraints on the sequentialization of services.We are interested in operators for the construction of components, satisfying a correctness property, allowing a component to be substituted by another one.We define a set of protocol composition operators satisfying the correctness property, we provide a first step toward the integration of additional abstract state information into protocols, and we apply our theory to two widely-used component models: JavaBeans and Enterprise JavaBeans.
This work has been partially funded by the EU project “EASYCOMP” (www.easycomp.org), no. IST-1999-014191
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
DeMichiel, L., Yalçinalp, L., Krishnan, S.: Enterprise JavaBeans TM Specification. SUN Microsystems. (2001) Version 2.0, Final Release.
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. 1 edn. Addison-Wesley, Reading, Massachusetts, USA (1999)
Harel, D.: Statecharts: A visual formalism for complex system. Science of Computer Programming 8 (1987) 231–274
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions of Programming Languages and Systems 19 (1997) 292–333
Wydaeghe, B.: PACOSUITE, Component Composition Based on Composition Patterns and Usage Scenarios. PhD thesis, Vrije Universiteit Brussels (2001)
Plasil, F., Visnovsky, S.: Behavior protocols for software components. In: Transactions on Software Engineering, IEEE (2002)
Nierstrasz, O.: Regular types for active objects. In Nierstrasz, O., Tsichritzis, D., eds.: Object-Oriented Software Composition. Prentice Hall (1995) 99–121
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Second edn. AddisonWesley (2001)
Farias, A., Südolt, M.: A component model with explicit protocols. Technical Report 02/4/INFO, Ecole des Mines de Nantes (2002)
Hamilton, G.: Java beans API specification. Technical report, Sun Microsystems (1997)
Eugster, P., Guerraoui, R., Damm, C.: On objects and events. In: Proceedings OOPSLA. (2001)
Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM 31 (1984) 560–599
Van Den Bos, J., Laffra, C.: PROCOL: a parallel object language with protocols. ACM SIGPLAN Notices 24 (1989) 95–102
Rudolph, E., Graubmann, P., Grabowski, J.: Tutorial on Message Sequence Charts. Computer Networks and ISDN Systems 28 (1996) 1629–1641
Allen, R. J.: A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Farías, A., Südholt, M. (2002). On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_64
Download citation
DOI: https://doi.org/10.1007/3-540-36124-3_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00106-5
Online ISBN: 978-3-540-36124-4
eBook Packages: Springer Book Archive