Verifying Service-Oriented Requirements using Model Checking
Software reuse has long been recognized to be an effective way to improve software quality and productivity. Obtaining a proper set of reusable requirement is the key to achieve successful domain engineering. By tailoring the domain engineering, developers can acquire requirements models for application engineering.Early requirements analysis is one of the most important and difficult phases in the software development process. This paper presents an approach to model the user requirements in a service-oriented view. We uses the SOFM (Service-Oriented Feature Model) to structure requirements as SOCIM (Service-Oriented Computer Independent Model), furthermore, automated verification of requirements specification is done by model checking. Model checking in this paper involves two aspects such as completeness and consistency of requirements. To do so, we transform the SOCIM into a formal specification using a Kripke structure. An electric book store is introduced throughout the paper,which is used as an example to demonstrate our approach more clearly.
CAO Xiaoxia MIAO Huaikou XU Qingguo
School of Computer Engineering and Science, Shanghai University, Shanghai, 200072 China
国际会议
AiR08，EM2108，SOAIC08，SIOKM08，BIMA08，DKEEE08(2008IEEE国际电子商务工程学术会议)
西安
英文
643-648
2008-10-22（万方平台首次上网日期，不代表论文的发表时间）