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.

CBR:A Component-Based Reduction Method for Semantics Verification of Workflow Processes

A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique

Verification And Reduction Of Cyclic Structure In Workflow Model

Executive validation analysis of workflow process

The syntactical analysis of workflow model with loop structure

Research on Workflow Process Structure Verification

Semantic Deduction-Based Workflow Structure Verification Method

A Workflow Verification Method Based on Calculus.

A Practical Method to Analyze Workflow Logic Models.

Workflow Process Model Verification Using Reduction Method Based on P/T System

A Formal Verification Approach for Robotic Workflows

Workflow Model Verification Based on Matrix Transformation

Verification Problems in Conceptual Workflow Specifications

Wolf-Pack Algorithm for Business Process Model Syntactic and Semantic Structure Verification in the Workflow Management Environment

On Design, Verification, and Dynamic Modification of the Problem-Based Scientific Workflow Model

Semantic Validation of Workflow Based Condition-restricted and its Applications

AN APPROACH FOR AUTOMATED COMPOSITION AND IMPLEMENTATION OF WEB APPLICATION COMPONENTS BASED ON SEMANTIC DESCRIPTION

Verifying Workflow Processes: a Transformation-Based Approach

A Framework for Model Checking Web Service Compositions Based on BPEL4WS

A Semantic Web Environment for Components

Solving reachability problems on data-aware workflows