Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
IEEE Transactions on Software Engineering
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Exogenous connectors for software components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
A systematic review on the functional testing of semantic web services
Journal of Systems and Software
Hi-index | 0.00 |
Component-based development (CBD) has become an important emerging topic in the software engineering field. It promises long-sought-after benefits such as increased software reuse, reduced development time to market and, hence, reduced software production cost. Despite the huge potential, the lack of reasoning support and development environment of component modeling and verification may hinder its development. Methods and tools that can support component model analysis are highly appreciated by industry. Such a tool support should be fully automated as well as efficient. At the same time, the reasoning tool should scale up well as it may need to handle hundreds or even thousands of components that a modern software system may have. Furthermore, a distributed environment that can effectively manage and compose components is also desirable. In this paper, we present an approach to the modeling and verification of a newly proposed component model using Semantic Web languages and their reasoning tools. We use the Web Ontology Language and the Semantic Web Rule Language to precisely capture the inter-relationships and constraints among the entities in a component model. Semantic Web reasoning tools are deployed to perform automated analysis support of the component models. Moreover, we also proposed a service-oriented architecture (SOA)-based semantic web environment for CBD. The adoption of Semantic Web services and SOA make our component environment more reusable, scalable, dynamic and adaptive.