Abstract:Service-based software modeling is considered as an effective technique for developing high-quality service-based systems. One major challenge of this approach is how to effectively utilize existing software services in the process of system modeling to ensure the reliability of the system while reducing the development cost and effort. In this paper, we propose a novel formal engineering framework by integrating an evolutionary service selection approach into a formal engineering method to tackle this problem. In the framework, initial requirements are gradually transformed into a formal design specification through three steps during which existing services are discovered, filtered, selected, and employed. Candidate services are discovered through a keyword-based searching. A static behavior analysis technique is then used to filter the candidate services and a specification-based testing method is adopted to rigorously select the candidate services. The selected services are finally incorporated into the formal design model of the system. We present an empirical case study that was conducted for evaluating the usability of our framework by applying it to develop a travel agency system. The result of the study demonstrates several advantages of the framework over existing approaches but meanwhile also shows some limitation in practice.

A Formal Engineering Approach to Product Family Modeling

Dynamic modeling of product family in mass customization

A Method of Automatically Evolving Feature Models of Software Product Lines

Research of Feature Language Based Product Family Depicting Methodology

Developing A Systematic Method For Constructing The Function Platform Of Product Family

Research on Modeling Method of Part Family to Support Variant Design of Process

A network methodology for structure-oriented modular product platform planning

Study of product family modeling

Lifecycle Data Model & Its Evolvement for Product Family

Module and Product Family Formation Based on Improved Interpretive Structure Model

Modeling of Product Family Configuration Driven by Axiomatic Intent

Study of Integrated Product Modeling in Cooperative Development Environment

A Survey of Freeform Feature Modeling Technology Oriented Product Design

Planning Process Families with a Knowledge-Based System

Software Product Line Oriented Feature Map

A Kansei Engineering Based Method for Automobile Family Design

A Platform Selection Approach Based on Product Family Ontology Modeling

Modeling Variability in Software Product Family

A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines

A Unified Feature Modeling Scheme for Multi-applications in PLM

A Formal Engineering Framework for Service-Based Software Modeling