Abstract:AbstractComponent-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.

Reasoning Support for Semantic Web Ontology Family Languages Using Alloy

Checking and Reasoning about Semantic Web through Alloy

The expressive language ALCNHR+K(D) for knowledge reasoning

Reasoning about semantic Web in Isabelle/HOL

An ontology-based functional modeling approach for multi-agent distributed design on the semantic web

Product Knowledge Reasoning

Reasoning about ORA-SS data models using the semantic web

Algorithms for Paraconsistent Reasoning with OWL

Ontology-based Axiomatic System Design Semantic Modeling and Reasoning Rules

Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner ?

Automated reasoning support for Standpoint-OWL 2

A Semantic Mapping System for Bridging the Gap between Relational Database and Semantic Web

Integrating Relational Databases with Semantic Web Ontologies : Reasoning and Query Answering using Views

B-FES/o: an ontology-based scheme for functional modeling in design for semantic Web applications

Paraconsistent Reasoning With Quasi-Classical Semantic In Alc

A Semantic Web Environment for Components

Discovering Anomalies in Semantic Web Rules

An Argumentation Framework for Non-monotonic Reasoning in Description Logic

Verifying Feature Models Using OWL

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning

rΣ: Automated reasoning tool for non-functional requirement goal models