Abstract
Component-Based Software Engineering (CBSE) has now emerged as a discipline for system development. An important issue is to fill the gap between high-level models (needed for analysis) and implementation. This paper describes a component model with explicit symbolic protocols based on Symbolic Transition Systems (STSs), and its implementation in Java. This implementation relies on controllers that encapsulate protocols and channels devoted to (possibly remote) communications between components.
This is a preview of subscription content, log in via an institution to check access.
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
Allen, R.J.: A formal approach to software architecture. PhD thesis, Carnegie Mellon University (1997)
Arbab, F., Scholten, J.V.G., de Boer, F.S., Bonsangue, M.M.: A channel-based coordination model for components. Technical report, Centruum voor Wiskunde en Informatica (2002)
Arnold, A.: Finite transition systems. Prentice Hall, Englewood Cliffs (1994)
Attiogbé, C., Poizat, P., Salaün, G.: Integration of formal datatypes within state diagrams. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 344–355. Springer, Heidelberg (2003)
Bellissard, L., Atallah, S.B., Kerbrat, A., Riveill, M.: Component-based programming and application management with Olan. In: Briot, J., Geib, J., Yonezawa, A. (eds.) Object-Based Parallel And Distributed Computation. LNCS, vol. 1107, pp. 290–309. Springer, Berlin (1995)
Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)
Calder, M., Maharaj, S., Shankland, C.: A modal logic for full LOTOS based on symbolic transition systems. The Computer Journal 45(1), 55–61 (2002)
Canal, C., Murillo, J.M., Poizat, P. (eds.): WCAT 2004 - Int. Workshop on Coordination and Adaptation Techniques for Software Entities (2004), Available at http://wcat04.unex.es
Chiba, S.: Load-time structural reflection in java. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 313–336. Springer, Heidelberg (2000)
Choppy, C., Poizat, P., Royer, J.-C.: A global semantics for views. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 165–180. Springer, Heidelberg (2000)
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna, Austria, September 2001, pp. 109–120 (2001)
Farías, A., Guéhéneuc, Y.-G., Südholt, M.: Integrating behavioral protocols in Enterprise Java Beans. In: Baclawski, K., Kilov, H. (eds.) Eleventh OOPSLA Workshop on Behavioral Semantics: Serving the Customer, pp. 80–89 (2002)
Gagnon, E.: SableCC, An Object-Oriented Compiler Framework. PhD thesis, School of Computer Science McGill University, Montreal (November 1998)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison Wesley Professional Computing Series. Addison Wesley, Reading (1995)
Ingólfsdóttir, A., Lin, H.: A Symbolic Approach to Value-passing Processes. In: [6], ch. 7, pp. 427–478. Elsevier, Amsterdam (2001)
Kiselev, I.: Aspect-Oriented Programming with AspectJ. Sams Publishing, Indianapolis (2003)
Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Proceedings of ESEC 1995, pp. 137–153. IEEE, Los Alamitos (1995)
Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (1999)
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE - Transactions on Software Engineering 26(1), 70–93 (2000)
Pavel, S., Noyé, J., Poizat, P., Royer, J.-C.: A formal component model with explicit symbolic protocols and its Java implementation. Technical report, École des Mines de Nantes (2005)
Plasïl, F., Visnovsky, S.: Behavior protocols for software components. IEEE - Transactions on Software Engineering 28(11), 1056–1076 (2002)
Poizat, P., Royer, J.-C.: Korrigan: a formal ADL with full data types and a temporal glue. Technical Report 83–2002, Laboratoire de Méthodes Informatiques (2002), Available at http://www.lami.univ-evry.fr/~poizat/publications-fr.php
Royer, J.-C.: The GAT approach to specify mixed systems. Informatica 27(1), 89–103 (2003)
Südholt, M.: A model of components with non-regular protocols. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 99–113. Springer, Heidelberg (2005)
Turner, K.J. (ed.): Using Formal Description Techniques, An introduction to Estelle, LOTOS and SDL. Wiley, Chichester (1993)
van den Bos, J., Laffra, C.: PROCOL: A parallel object language with protocols. In: Meyrowitz, N. (ed.) OOPSLA 1989 Conference Proceedings, pp. 95–102. ACM Press, New York (1989)
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions 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
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Pavel, S., Noyé, J., Poizat, P., Royer, JC. (2005). A Java Implementation of a Component Model with Explicit Symbolic Protocols. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds) Software Composition. SC 2005. Lecture Notes in Computer Science, vol 3628. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11550679_9
Download citation
DOI: https://doi.org/10.1007/11550679_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28748-3
Online ISBN: 978-3-540-28749-0
eBook Packages: Computer ScienceComputer Science (R0)