Model-based approaches for validating business critical systems

被引：0

作者：

Augusto, J ^{[1
]}

Howard, Y ^{[1
]}

Gravell, A ^{[1
]}

Ferreira, C ^{[1
]}

Gruner, S ^{[1
]}

Leuschel, M ^{[1
]}

机构：

[1] Univ Southampton, Declarat Syst & Software Engn Res Grp, Dept Elect & Comp Sci, Southampton S017 1BJ, Hants, England

来源：

ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS | 2004年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relationship between modelling and testing. We illustrate how different modelling frameworks, PromelaISPIN and B/ProB/AtelierB, can be used to implement this idea. As a way to reinforce integration between modelling and testing we use model-based tests and trace-driven model checking. As a result we were able to anticipate problems and guide the development of our software In a safer way, Increasing our, understanding of the system and its reliability.

引用

页码：225 / 233

页数：9

共 50 条

[31] Critical observations in model-based diagnosis
Christopher, Cody James
Grastien, Alban
ARTIFICIAL INTELLIGENCE, 2024, 331
[32] Extensibility in Model-Based Business Process Engines
Sanchez, Mario
Jimenez, Camilo
Villalobos, Jorge
Deridder, Dirk
OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, 2009, 33 : 157 - +
[33] Foundations for model-based systems engineering and model-based safety assessment
Rauzy, Antoine B.
Haskins, Cecilia
SYSTEMS ENGINEERING, 2019, 22 (02) : 146 - 155
[34] Model-based generation of business component architectures
Teixeira, HV
Braga, RM
Werner, CML
PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 176 - 183
[35] MODEL-BASED FAILURE ANALYSIS OF BUSINESS PROCESS
Ge, Xiaocheng
Paige, Richard F.
McDermid, John A.
ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 388 - 391
[36] The IT-Socket: Model-Based Business and IT Alignment
Woitsch, Robert
Utz, Wilfrid
Karagiannis, Dimitris
2009 COMPUTATION WORLD: FUTURE COMPUTING, SERVICE COMPUTATION, COGNITIVE, ADAPTIVE, CONTENT, PATTERNS, 2009, : 430 - +
[37] The IT-Socket: Model-Based Business and IT Alignment
Woitsch, Robert
Utz, Wilfrid
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2009, 5914 : 430 - 441
[38] An introduction to model-based systems
Picardi, Claudia
Salles, Paulo
Wotawa, Franz
AI COMMUNICATIONS, 2007, 20 (01) : 1 - 6
[39] Model-based construction and verification of critical systems using composition and partial refinement
Ralph D. Jeffords
Constance L. Heitmeyer
Myla M. Archer
Elizabeth I. Leonard
Formal Methods in System Design, 2010, 37 : 265 - 294
[40] Model-based construction and verification of critical systems using composition and partial refinement
Jeffords, Ralph D.
Heitmeyer, Constance L.
Archer, Myla M.
Leonard, Elizabeth I.
FORMAL METHODS IN SYSTEM DESIGN, 2010, 37 (2-3) : 265 - 294

← 1 2 3 4 5 →