loading
Documents

Research.Publish.Connect.

Paper

Author: Mert Ozkaya

Affiliation: Altinbas University, Turkey

ISBN: 978-989-758-283-7

Keyword(s): Software Architecture, XCD, Code Generation, Java, Design-by-Contract.

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

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 sp ecify 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

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 18.232.53.231

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 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

@conference{modelsward18,
author={Mert Ozkaya. and 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},
}

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.
AU - Ozkaya, M.
PY - 2018
SP - 346
EP - 355
DO - 10.5220/0006568203460355

Login or register to post comments.

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