A Modular Method for Global System Behaviour Specification

Urooj Fatima, Rolv Bræk

2015

Abstract

The challenge addressed in this paper is that how can we specify the global behaviour of distributed reactive systems in a way which eases the comprehension of the system without compromising its specification’s correctness, completeness, modularity and readability. Instead of defining the global behaviour models in a monolithic way, we approach the problem by decomposing the specification into interface functionality and core functionality. The resulting interface-modular method for system specification is presented and discussed in this paper using a TaxiCentral as case study. The novelty of this method lies in the clear separation of interfaces from core functionality in global specification, and the use of activity diagrams in combination with collaborations to express and compose the specifications.

Paper Citation

in Harvard Style

Fatima U. and Bræk R. (2015). A Modular Method for Global System Behaviour Specification . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 490-497. DOI: 10.5220/0005245104900497

in Bibtex Style

@conference{modelsward15,
author={Urooj Fatima and Rolv Bræk},
title={A Modular Method for Global System Behaviour Specification},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={490-497},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005245104900497},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Modular Method for Global System Behaviour Specification
SN - 978-989-758-083-3
AU - Fatima U.
AU - Bræk R.
PY - 2015
SP - 490
EP - 497
DO - 10.5220/0005245104900497