Abstract
Large software systems offer to software designers complex problems to solve. To manage such complexity several techniques have been developed to make this task easier and to allow the designer to reuse prior experience. However such techniques and frameworks often lack formal notations to support formal reasoning about the resulting products. We propose a interface specification language for Java modules and a methodology to support the design of Java components. We show how such a notation helps in designing software systems built of Java components, like JavaBeans.
Chapter PDF
Similar content being viewed by others
Keywords
- Software Architecture
- Mutual Exclusion
- Software Development Process
- Behavioral Module
- Configuration Module
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
G. Abowd, R. Allen, and D. Garlan. Formalizing Style to Understand Descriptions of Software Architecture. ACM Transactions on Software Engineering and Methodology, 4 (4): 319–364, October 1995.
R. J. Allen. A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, May 1997.
K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley, 1996.
P. Baraona and R Alexander. Abstract Architecture Representation using VSPEC. In to appear in VLSI Design, 1996.
A. Birrell, J. Guttag, J. Horning, and R. Levin. Thread synchronization: a Formal Specification. In G. Nelson, editor, System Programming with Modula-3, chapter 5, pages 119–129. Prentice-Hall, 1991.
A. Brown and K. Wallnau. Engineering of Component-Based Systems. In Alan W Brown, editor, Component Based Software Engineering, pages 7–15. IEEE Computer Society Press, 1996.
R Clements. From Subroutine to Subsystems: Component-Based Software Development. In Alan W. Brown, editor, Component Based Software Engineering, pages 3–6 IEEE Computer Society Press, 1996.
J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, Berlin, 1993.
P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21 (4): 373–386, April 1995.
G. Leavens. Larch/C++ Reference Manual. Version 5. 1, January 1997.
R. Lerner. Specifying Objects of Concurrent Systems. Technical Report CMUCS-91–131, Carnegie Mellon University, Pittsburgh, 1991.
D. Luckham et al. Specification and Analysis of System Architecture using RAPIDE. IEEE Transactions on Software Engineering, 21 (4): 336–355, April 1995.
O. Nierstrasz. Component-Oriented Software Technology. In O. Nierstrasz and D. Tsichritzis, editors, Object Oriented Software Composition. Prentice-Hall, December 1995.
J. Penix and P. Alexander. Declarative specification of software architecture. In to appear in the Proceedings of the 12th International Automated Software Engineering Conference, November 1997.
M. Shaw et al. Abstractions for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, 21 (4): 314–335, April 1995.
M. Shaw and D. Garlan. Software Architecture. Perspectives on an Emerging Discipline. Prentice-Hall, 1996.
Sun Microsystems Inc. http://www.sun.com.
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
Cimato, S. (1999). Specifying Component-Based Java Applications. 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_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive