loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mert Ozkaya and Christos Kloukinas

Affiliation: City University London, United Kingdom

ISBN: 978-989-758-007-9

Keyword(s): Design-by-Contract, ProMeLa, Architectural Modelling, Formal Analysis.

Related Ontology Subjects/Areas/Topics: General-Purpose Modeling Languages and Standards ; Languages, Tools and Architectures ; Model Transformation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering ; Syntax and Semantics of Modeling Languages

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.211.135.32

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.