Component contract-based formal specification technique

Authors:
Ji-Hyun Lee;Hye-Min Noh;Cheol-Jung Yoo;Ok-Bae Chang
Affiliations:
Department of Computer Science, Chonbuk National University, Korea;Department of Computer Science, Chonbuk National University, Korea;Department of Computer Science, Chonbuk National University, Korea;Department of Computer Science, Chonbuk National University, Korea
Venue:
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Year:
2005

Citing 8
Cited 0

An introduction to formal specification and Z

An introduction to formal specification and Z
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model

IEEE Transactions on Software Engineering
Behavioural analysis of the enterprise JavaBeans component architecture

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A formal approach to the assessment and improvement of terminological models used in information systems engineering

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Making Components Contract Aware

Computer
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhanced Component Interfaces to Support Dynamic Adaption and Extension

HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9

Quantified Score

Hi-index	0.00

Visualization

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.