Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study

Mert Ozkaya, Christos Kloukinas

2014

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 XCD 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 XCD can be used in architectural modelling and analysis using the Aegis combat software system.

Paper Citation

in Harvard Style

Ozkaya M. and Kloukinas C. (2014). Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 368-375. DOI: 10.5220/0004714403680375

in Bibtex Style

@conference{modelsward14,
author={Mert Ozkaya and Christos Kloukinas},
title={Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={368-375},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004714403680375},
isbn={978-989-758-007-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study
SN - 978-989-758-007-9
AU - Ozkaya M.
AU - Kloukinas C.
PY - 2014
SP - 368
EP - 375
DO - 10.5220/0004714403680375