Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
An open system architecture for operation support system at telecommunications service providers
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Hi-index | 0.00 |
As the component raises a principal factor in software engineering to ensure the productivity and reusability of the software, component extracting and implementation, component-based system construction, verification of component interfaces, and other related techniques raise significant issues in software engineering. As a reflex of this tendency, a connector model as a subsidiary tool is proposed to describe the interactions between components and software architecture. In this paper, we propose a method that extracts the domain-specific components for a particular business domain using the connector model and specifies formal descriptions that explain the software architecture. The proposed component extraction method ensures the more earlier identification of components in development cycle and decreases the number of potential modifications by making an estimate of the interfaces of a component. And the formal descriptions of software architecture gains a better understanding of architecture and also is used as a tool for verifying a software at higher abstraction level when changes take place.