Abstract
The design of components for open and distributed systems is challenging the software community with its specific problems. One of the current approaches is based on a reflective model that uses standard, independent, composible meta-components (controllers) to coordinate components and modify their behavior according to the user. requirements. However, this approach still has some pending issues, like the definition of design methodologies that lead to reusable and composible components and controllers, and the use of formal tools to reason about the correctness of the composed applications. This paper presents a formal framework in Object-Z for specifying reusable controllers, based on a component model for this kind of systems. The basic mechanisms of the model are formalized, together with the concepts and methods that allow developers of the controllers to prove their correctness, specify their behavior, and characterize the effect of adding them to components.
Chapter PDF
References
G.R. Andrews. Concurrent Programming. Principles and Practice. The Benjamin/Cummings Publishing Company, Inc., 1991.
G. Agha. Actors: A Model of Concurrent Computation. MIT Press, 1986.
G. Agha et al. A Foundation for Actor Computation. In Journal of Functional Programming, 1996.
G. Agha. Compositional Development from Reusable Components Requires Connectors for Managing Both protocols and Resources. Workshop on Compositional Software Architectures. California, 1998.
M. Aksit et al. Abstracting Object-Interactions using Composition Filters. Object-Based Distributed Processing, LNCS 791, Springer-Verlag, 1993.
J. Bosch. Language Support for Component Communication in LayOM. Workshop Reader of ECOOP’96. Max Muehlhaeuser (ed. ). Dpunkt Verlag, 1997.
P. Ciancarini and C. Mascolo. Analyzing and Refining an Architectural Style. In Proc. of ZUM’97, LNCS 1212, Springer-Verlag, 1997.
R. Duke, G. Rose and G. Smith. Object-Z: a Specification Language Advocated for the Description of Standards. Tech. Report 94–45, Univ. of Queensland, 1994.
R. Duke, C. Baffles and G. Smith. A Blocking Model for Reactive Objects. Formal Aspects of Computing, 8 (3): 347–368, 1996.
R.K. Joshi, N. Vivekananda and D. Janaki Ram. Message Filters for Object-Oriented Systems. Software-Practice and Experience, 27 (6): 677–699, 1997.
G. Kiczales et al. Aspect-Oriented Programming. In Proc. of ECOOP’97, LNCS 1241, Springer-Verlag, 1997.
D. Lea. Interface-Based Protocol Specification of Open Systems using PSL. In Proc. of ECOOP’95, LNCS 952, Springer-Verlag, 1995.
B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.
S. Ren and G.A. Agha. A Modular Approach for Programming Distributed Real- Time Systems. In JPDC, Special Issue on 00 Real-Time Systems, 1996.
J.M. Spivey. The Z Notation. A Reference Manual. 2nd Ed. Prentice Hall, 1992.
D.C. Sturman. Modular Specification of Interaction Policies in Distributed Computing. PhD thesis. University of Illinois at Urbana-Champaign, 1996.
J.M. Troya and A. Vallecillo. A Reflective Component Model for Open Systems. In Proc. of the Workshop on Reflective 00 Progr. and Systems, ECOOP’98, 1998.
G. Wiederhold. Mediation in Information Systems. ACM Comp. Surveys, 27 (2): 265–267, June 1995.
J. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996.
D.M. Yellin and R.E. Strom. Protocol Specifications and Components Adaptors. ACM Trans. on Programming Languages and Systems, 19 (2): 292–333, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Troya, J.M., Vallecillo, A. (1999). Specifying Reusable Controllers for Software Components. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive