Formal Specification of Component-Based Software Architectures: Correctness Checking (with Parq) - Calculus

被引：0

作者：

Diosa, Henry Alberto ^{[1
]}

Diaz Frias, Juan Francisco ^{[1
]}

Gaona Cuevas, Carlos Mauricio ^{[1
]}

机构：

[1] Univ Los Andes, Bogota, Colombia

来源：

REVISTA CIENTIFICA | 2010年 / 12期

关键词：

Reference architecture; reference model; rho(arq) - Calculus; formal method; software components; labelled transition systems; correctness checking; observation equivalence;

D O I：

暂无

中图分类号：

G40 [教育学];

学科分类号：

040101 ; 120403 ;

摘要：

In this paper we describe a correctness checking formal method of reference architectures against reference models in a component-based software development perspective. These models are specified by means of rho(arq)-calculus. We use two formal tools; the first, the concept of Labelled Transition System (LTS) enhanced with the conditional-transition concept for logical variables whose resolution may be obtained from a global store of constraints. The second, the observation equivalence theory proposed by Robin Milner and his collaborators in Cambridge University.

引用

页码：156 / 171

页数：16

共 50 条

[1] Model Checking the Component-based Protocol Specification for Proving the Design Correctness
Kaliappan, Prabhu Shankar
Koenig, Hartmut
2014 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (IEEE ICCIC), 2014, : 302 - 309
[2] ON THE CORRECTNESS OF SOFTWARE ARCHITECTURES Formal Specification of Correctness Properties using π-AAL
Oquendo, Flavio
ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 208 - 217
[3] Component specification to test component-based software
Kansomkeat, S
Rivepiboon, W
COMPUTERS AND THEIR APPLICATIONS, 2004, : 282 - 285
[4] Formal specification of non-functional properties of component-based software systems
Zschaler, Steffen
SOFTWARE AND SYSTEMS MODELING, 2010, 9 (02): : 161 - 201
[5] A formal model for component-based software
Cox, PT
Song, BM
IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 304 - 311
[6] Tool Support for Component-Based Software Architectures
Buchgeher, Georg
Weinreich, Rainer
APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 127 - +
[7] Reliability prediction for component-based software architectures
Reussner, RH
Schmidt, HW
Poernomo, IH
JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 66 (03) : 241 - 252
[8] A formal approach for the specification and verification of trustworthy component-based systems
Mohammad, Mubarak
Alagar, Vangalur
JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
[9] The Impact of Mobile Architectures on Component-based Software Engineering
Giedrimas, Vaidas
Omanovic, Samir
PROCEEDINGS OF THE 2015 IEEE 3RD WORKSHOP ON ADVANCES IN INFORMATION, ELECTRONIC AND ELECTRICAL ENGINEERING (AIEEE 2015), 2015,
[10] Correctness of component-based adaptation
Kulkarni, SS
Biyani, KN
COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 48 - 58

← 1 2 3 4 5 →