Abstract
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 (2)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- Proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13) strony 1 - 6
- Language:
- English
- Publication year:
- 2013
- Bibliographic description:
- Zander J., Mosterman P.: Semantics for an Interdisciplinary Computation// Proceedings of the Symposium on Theory of Modeling and Simulation (TMS'13)/ San Diego, CA, USA: SCS, 2013, s.1-6
- Verified by:
- Gdańsk University of Technology
seen 109 times