.png){kind=icon}
返回
A Formal Engineering Framework for Service-Based Software Modeling
.png){kind=icon}
PRE
AI
DOI：10.1109/TSC.2012.22.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Service-based software
formal methods
modeling
formal engineering methods
SOFL
期刊
IF:
5.8
论文数:
2.2K
被引数:
6.5K
机构
引用论文
On the Probability of Identity States in Permutable Populations: Reply to Cannings关于可置换群体中同型状态概率的研究：对Cannings的回应
OAAI
OAAI分享收藏
"Cyclic" and "Non-Cyclic" Small Mammal Populations: An Artificial Dichotomy周期性和非周期性小型哺乳动物种群：一个人为的二分法.png)
Oikos
OikosIF0
PREAI
分享收藏
查看更多内容