Semantics for an interdisciplinary computation is becoming increasingly difficult to capture while dealing with multi-domain problems. Expertise from Computer Science, Computer Engineering, Electrical Engineering, and other disciplines merges as engineering challenges in modern systems, such as, Cyber-Physical Systems, Smart Cities, and Bionic Systems must be tackled in a methodological manner. In this paper, a paradigm for formalization of such a computational semantics is proposed. It is based on the experience of a Computer Scientist, Mathematician, and an Engineer when their efforts converge to design a complex system. The design is embedded in the Model-Based Design process and a simulation aids to build the actual system implementation. To let the experts achieve the same understanding level, a declarative layer for simulation semantics is defined. This introduces abstraction and helps understand the behavior of the interacting elements in a system design using mathematical principles that are easier to embrace for more diverse scientific communities.
Authors
- dr inż. Justyna Zander link open in new tab ,
- Pieter J. Mosterman
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2013
Source: MOSTWiedzy.pl - publication "Semantics for an Interdisciplinary Computation" link open in new tab
