Architectural specification and analysis with XCD

Author

Ozkaya, Mert ; Kloukinas, Christos

Author_Institution

Dept. of Comput. Sci., City Univ. London, London, UK

fYear

2014

fDate

7-9 Jan. 2014

Firstpage

368

Lastpage

375

Abstract

Despite promoting precise modelling and analysis, architecture description languages (ADLs) have not yet gained the expected momentum. Indeed, practitioners prefer using far less formal languages like UML, thus hindering formal verification of models. One of the main issues with ADLs derives from process algebras which practitioners view as having a steep learning curve. In this paper, we introduce a new ADL called X_CD which enables designers to model their software architectures through a Design-by-Contract approach, as for example in the Java Modelling Language (JML). We illustrate how X_CD can be used in architectural modelling and analysis using the Aegis combat software system.

Keywords

Unified Modeling Language; formal languages; formal verification; process algebra; software architecture; ADLs; Aegis combat software system; JML; Java modelling language; UML; X_CD; architectural modelling; architectural specification; architecture description languages; design-by-contract approach; formal languages; formal verification; software architecture analysis; steep learning curve; Analytical models; Arrays; Connectors; Contracts; Ports (Computers); Servers; Unified modeling language; Architectural Modelling; Design-by-Contract; Formal Analysis; ProMeLa;

fLanguage

English

Publisher

ieee

Conference_Titel

Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on

Conference_Location

Lisbon

Print_ISBN

978-9-8975-8065-9

Type

conf

Filename

7018485