Abstract
When we analyze the business domain, we have to decide what business concepts are to be encapsulated into a component and find what business concepts are to be built by using a reuse component. Also, as a component is reused in the form of a black-box, the reuser must have detailed information about the component, such as the functional and non-functional performance which is necessary to reuse or integrate. So, we will propose a formal approach to design a robust component. First, we analyze a business domain by using Z and category theory. Second, we extract the components and the interfaces from previous analysis results. Lastly, we add component contracts(functional and non-functional performances) to the result. We specify business concept based on DbC which is used broadly to specify the behavior of an interface in an object-oriented area. Also, we will define rules for extraction of components and component contracts from specification. Specially, we will use category theory to analyze the relations between components.
This work was supported by grant No. R05-2003-000-12253-0 from the Basic Research Program of the Korea Science & Engineering Foundation.
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.
Similar content being viewed by others
References
Sullivan, K., Marchukov, M., Socha, J.: Analysis of a Conflict Between Aggregation and Interface Negotiation in Microsoft’s Component Object Model. IEEE trans. SE 4, 584–599 (1999)
Sousa, J., Garlan, D.: Formal Modeling of the Enterprise JavaBeans TM Component Integration Framework. In: Proc. FM 1999, pp. 1281–1300 (1999)
Kreuz, D.: Formal Spcecification of CORBA Services using Object-Z. The University of Hamburg-Harburg Telematics Group 21073 Hamburg, Germany (1999)
Nakajima, S., Tamai, T.: Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. In: Proc. of the 8th international SPIN workshop on Medel checking of Software, pp. 163–182 (2001)
Han, J.: Temporal Logic Based Specification of Component Interaction Protocols. In: Proceedings of the 2nd Workshop pf Object Interoperability at ECOOP (2000)
Reussner, R.H.: Enhanced Component Interface to Support Dynamic Adaption and Extension. In: Proceedings of the 34th Hawaiin International Conference on System Science. IEEE, Los Alamitos (2001)
Lee, J.H., Yoo, C.J., Chang, O.B.: Component Contract-Based Interface Specification Technique Using Z. IJSEKE(International Journal of Software Engineering and Knowledge Engineering) 12(4) (August 2002)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)
Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)
Spivey, J.M.: The fuzz manual, Computng Science Consultancy, Oxford (1992)
Bowen, J., Gordon, M.: Z and HOL. In: Z User Workshop, Workshops in Computing, pp. 141–167. Springer, Heidelberg (1994)
Beugnard, A., Jexequel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. IEEE Software, 38–45 (June 1999)
Lee, J.H., Yoo, C.J., Chang, O.B.: Component Contract-Based Component Contract-Based Process for High Level Design. In: SNPD 2003, Lubeck, Germany, pp. 6–11 (2003)
Wendorff, P.: A Formal Approach to the Assessment and Improvement of Terminological Models Used in Information Systems Engineering. In: ACM SIGSOFT Software Engineering Notes, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT symposium on Foundations of software engineering, vol. 26(5) (September 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, JH., Noh, HM., Yoo, CJ., Chang, OB. (2005). Component Contract-Based Formal Specification Technique. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2005. ICCSA 2005. Lecture Notes in Computer Science, vol 3482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424857_91
Download citation
DOI: https://doi.org/10.1007/11424857_91
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25862-9
Online ISBN: 978-3-540-32045-6
eBook Packages: Computer ScienceComputer Science (R0)