Files:DescriptionFile size FormatBrowse
Fulltext0.68 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:P. Pepper: Institut für Softwaretechnik. TU Berlin, Germany
A. Mehlhase: Institut für Softwaretechnik. TU Berlin, Germany
Ch. Höger: Institut für Softwaretechnik. TU Berlin, Germany
L. Scholz: Institut für Mathematik. TU Berlin, Germany
Publication title:A Compositional Semantics for Modelica-style Variable-structureModeling
Conference:Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
Publication type: Abstract and Fulltext
Issue:056
Article No.:006
Abstract:Modelica traditionally has a non-compositional semantic definition; based on so-called “flattening”. But in the realm of programming languages and theoretical computer science it is by now an accepted principle that semantics should be given in a compositional way. Such a semantics is given in this paper for Modelica-style languages. Moreover; the approach is also used to consider more general modeling concepts; namely so-called variable-structure systems. As an outlook we discuss the correspondence between such an idealized mathematical semantics and a more pragmatic numeric solver-oriented semantics.
Language:English
Keywords:Modelica; compositional semantics; structure dynamics; uncertainty
Year:2011
No. of pages:10
Pages:45-54
ISBN:978-91-7519-825-5
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/056/006/ecp1105606.pdf
Available:2011-11-03
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
P. Pepper, A. Mehlhase, Ch. Höger, L. Scholz (2011). A Compositional Semantics for Modelica-style Variable-structureModeling, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=056;article=006 (accessed 10/30/2014)