loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Mert Ozkaya

Affiliation: Altinbas University, Turkey

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 s pecify 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)

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 44.200.27.175

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. (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 - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 346-355. DOI: 10.5220/0006568203460355

@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 - MODELSWARD},
year={2018},
pages={346-355},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006568203460355},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

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