Using model checking to validate style-specific architectural refactoring patterns

被引：0

作者：

Stephenson, Zoe ^{[1
]}

McDermid, John ^{[1
]}

机构：

[1] Univ York, Dept Comp Sci, High Integr Syst Engn Grp, York YO10 5DD, N Yorkshire, England

来源：

31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS | 2007年

关键词：

D O I：

10.1109/SEW.2007.36

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

When developing a new domain-specific architectural style, there can be uncertainty about the feasibility of using that style. In particular, the HADES architectural style contains refactoring patterns intended to remove undesirable scheduling features such as deadlock and livelock, but these patterns have not yet been fully validated. We report on the translation between the HADES structure and the input languages for two popular model checkers (SPIN and NuSMV) to help validate these patterns. We found model checking to be a valuable asset in confirming the presence of undesirable features.

引用

页码：53 / 62

页数：10

共 23 条

[21] Personalization of a Human Body Model Using Subject-Specific Dimensions for Designing Clothing Patterns
Hyncik, Ludek
Cechova, Hana
Bonkowski, Tomasz
Kavalirova, Gabriela
Spottova, Petra
Hampejsova, Viola
Meng, Hong
APPLIED SCIENCES-BASEL, 2021, 11 (21):
[22] Using a Dosimetric Scorecard to Create and Validate a Head and Neck Knowledge Based Planning Model from a Foundation Model for Subsite Specific Application on Cases with Bilateral Parotid Involvement to Create High Quality Treatment Plans without Revision
Clark, R.
Magliari, A.
Rosa, L.
Paisley, J.
Beriwal, S.
MEDICAL PHYSICS, 2024, 51 (10) : 7910 - 7910
[23] Investigating the performance of four specific types of material grafts and their effects on hemodynamic patterns as well as on von Mises stresses in a grafted three-layer aortic model using fluid-structure interaction analysis
Rahmani S.
Jarrahi A.
Navidbakhsh M.
Alizadeh M.
Navidbakhsh, Mahdi (mnavid@iust.ac.ir), 1600, Taylor and Francis Ltd. (41): : 630 - 643

← 1 2 3 →