Realization of distributed system models using code generation extensions. (11th December 2018)

• Record Type: Journal Article
• Authors: Hasanagić, Miran; Tran‐Jørgensen, Peter W. V.; Nilsson, René S.; Larsen, Peter Gorm
• Is Part Of: Software, practice & experience. Volume 49:Number 3(2019)
• Page Start: 478
• Page End: 497
• Publication Date: 2018-12-11
• Subjects: code generation -- distributed systems -- software implementation -- system development -- validation -- VDM; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2671
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: Development of distributed software systems is complex due to the distribution of resources, which complicates validation of system‐wide functionality. Such systems include various facets like functionality and distribution, each of which must be validated and integrated in the final software solution. Model‐based techniques advocate various abstraction approaches to cope with such challenges. To enhance model‐based development, this paper proposes (1) guidelines for development of distributed systems, where the different facets are introduced gradually through systematic modeling extensions, (2) code generation capabilities supporting technology specific realizations, and (3) demonstration of the applicability of our approach using an industrial case study involving the development of a harvest planning system, where the communication infrastructure paradigm changed late in the project. When developing this system, we spent most time validating system‐wide functionality. The model extensions allowed an easier change of the underlying communication paradigm and code generation supported realization of the different system representations.