Modeling functional and non-functional properties of systems based on a multi-view approach
type: Dataset
contact point: Organization
  fn: CCSD
keyword: theses
keyword: heterogeneous-models
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: power-consumption
keyword: mde
keyword: multi-vue
keyword: infoeu-reposemanticsdoctoralthesis
keyword: moc
keyword: uml
keyword: multi-view
keyword: sysm
keyword: modeles-heterogenes
keyword: sysml
keyword: consommation-de-puissance
keyword: ccsl
keyword: marte
keyword: ieee-42010
keyword: idm
landing page: https://theses.hal.science/tel-00931001
description: At the system-level, experts specify functional and non-functional properties by employing their own theoretical models, tools and environments. Such experts attempt to use the most adequate formalisms to verify the defined system properties in a specific domain. Nevertheless, each one of these experts' views is supported on a common base and impacts directly or indirectly the models described by the other experts. Therefore, it is essential to keep a semantic coherence among the different points of view, and also to be able to reconcile and to include all the points of view before undertaking the different phases of the analysis. This thesis proposes a specific domain model called PRISMSYS. This model is based on a model-driven multi-view approach where the concepts, and the relationships between them, are described for each experts' domain. Moreover, these concepts maintain a relation with a backbone model. PRISMSYS allows keeping a semantic coherence among the different views by means of the manipulation of events and logical clocks. PRISMSYS is represented in an UML profile, supported as much as possible by SysML and MARTE. The semantic model, which preserves the view coherence, is specified by using CCSL, a declarative formal language for the specification of causal and temporal relationships between events of different views. The environment proposed by PRISMSYS allows the co-simulation of the model and its analysis. The approach is illustrated taking as case study an electronic system, where the main domain analysis is power consumption.
identifier: NNT: 2013NICE4153
issued: 2026-05-05T16:18:53.141287
language: en
modified: 2026-05-05T16:18:53.141292

Modeling functional and non-functional properties of systems based on a multi-view approach
type: Distribution
access URL: https://theses.hal.science/tel-00931001
format: HTML
issued: 2026-05-05T16:18:53.144602
modified: 2026-05-05T16:18:53.126171

test_moissonnage_selune
type: Agent