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 条

[1] Using simulation to validate style-specific architectural refactoring patterns
Stephenson, Zoe
McDermid, John
Choy, Jason
30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 123 - +
[2] On the automatic recovery of style-specific architectural relations in software systems
Traverso M.
Mancoridis S.
Automated Software Engineering, 2002, Kluwer Academic Publishers (09) : 331 - 360
[3] Checking refactoring using model transformation
Ichii, Makoto
Ogawa, Hideto
Computer Software, 2015, 32 (03) : 70 - 76
[4] Style-specific language model adaptation for Korean conversational speech recognition
Park, YH
Chung, MW
2003 INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 2003, : 591 - 596
[5] Generating Style-Specific Chinese Tang Poetry With a Simple Actor-Critic Model
Liu, Dayiheng
Lv, Jiancheng
Li, Yunxia
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, 2019, 3 (04): : 313 - 321
[6] COMPOSER STYLE-SPECIFIC SYMBOLIC MUSIC GENERATION USING VECTOR QUANTIZED DISCRETE DIFFUSION MODELS
Zhang, Jincheng
Fazekas, Gyorgy
Saitis, Charalampos
2024 IEEE 34TH INTERNATIONAL WORKSHOP ON MACHINE LEARNING FOR SIGNAL PROCESSING, MLSP 2024, 2024,
[7] Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns
Calinescu, Radu
Johnson, Kenneth
Paterson, Colin
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), 2018, : 61 - 64
[8] Using Workflow Patterns to Model and Validate Service Requirements
Wang, Ye
Jiang, Bo
Wang, Ting
2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2016, : 281 - 288
[9] Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report
Schuts, Mathijs
Hooman, Jozef
Vaandrager, Frits
INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 311 - 325
[10] Verifying Patterns of Dynamic Architectures Using Model Checking
Marmsoler, Diego
Degenhardt, Silvio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (245): : 16 - 30

← 1 2 3 →