Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction - CentraleSupélec Access content directly
Conference Papers Year :

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction

Abstract

System engineering is a complex discipline[1], which is becoming more and more complicated by the heterogeneity of the subsystem components[2] and of the models involved in their design. This complexity can be managed only through the use of formal methods[3]. However, in general the engineering of software in such systems leads to a need for a mix of modelling languages and semantics; and this often leads to unexpected and undesirable interactions between components at all levels of abstraction[4]. There are currently no generally applicable tools for dealing with this heterogeneity of interactions in the engineering of complex systems.
No file

Dates and versions

hal-01103304 , version 1 (14-01-2015)

Identifiers

Cite

Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩. ⟨hal-01103304⟩
80 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More