Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions

Mert Ozkaya

2018

Abstract

Architectural languages (ALs) have been so actively researched since the nineties and this leads to many ALs with different capabilities that have been proposed each day. However, most of the ALs ignore the specifications of the structural, behavioural, and interaction design decisions and do not support their analysis and development. The ALs that do support suffer from the process algebra based notation sets that practitioners do not prefer to work with. This issue is tackled in the paper by extending the Design-by-Contract based architectural language called XCD that supports the contractual specifications of the structural, behavioural, and interaction design decisions about software systems and their formal analysis. XCD is extended with a development support in Java so as to transform the contractual specifications in XCD into a complete Java program that considers all the structural, behavioural, and interaction decisions specified. So, practitioners will be able to specify non-algebraic, contractual specifications in XCD, formally analyse them, and produce the Java source-code that reflects the specified architecture completely and consistently. The produced Java code can also be tested for incompleteness and wrong use of component services automatically.

Paper Citation

in Harvard Style

Ozkaya M. (2018). Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 346-355. DOI: 10.5220/0006568203460355

in Bibtex Style

@conference{modelsward18,
author={Mert Ozkaya},
title={Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={346-355},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006568203460355},
isbn={978-989-758-283-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions
SN - 978-989-758-283-7
AU - Ozkaya M.
PY - 2018
SP - 346
EP - 355
DO - 10.5220/0006568203460355