Files:DescriptionFile size FormatBrowse
Fulltext0.62 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:David Broman: Department of Computer and Information Science, LinkÄoping University, Sweden
Peter Fritzon: Department of Computer and Information Science, LinkÄoping University, Sweden
Publication title:Abstract Syntax Can Make the Definition of Modelica Less Abstract.
Conference:Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin, Germany, July 30, 2007, conjunction with ECOOP
Publication type: Abstract and Fulltext
Issue:024
Article No.:010
Abstract:Modelica is an open standardized language used for modeling and simulation of complex physical systems. The language speci cation defines a formal concrete syntax, but the semantics is informally described using natural language. The latter makes the language hard to interpret, maintain and reason about, which affect both tool development and language evolution. Even if a completely formal semantics of the Modelica language can be seen as a natural goal, it is a well- known fact that defining understandable and concise formal semantics specifications for large and complex languages is a very hard problem. In this paper, we will discuss different aspects of formulating a Modelica specification; both in terms of what should be specified and how it can be done. Moreover, we will further argue that a "middle-way" strategy can make the specification both clearer and easier to reason about. A proposal is outlined, where the current informally specified semantics is complemented with several context-sensitive grammars, specifying intermediate representations of abstract syntax. We believe that this kind of evolutionary strategy is easier to gain acceptance for, and is more realistic in the short-term, than a revolutionary approach of using a fullyformal semantics definition of the language.
Language:English
Year:2007
No. of pages:16
Pages:111–126
ISBN:978-91-7519-822-4
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/024/010/ecp2407010.pdf
Available:2007-07-18
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
David Broman, Peter Fritzon (2007). Abstract Syntax Can Make the Definition of Modelica Less Abstract., Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools: Berlin, Germany, July 30, 2007, conjunction with ECOOP http://www.ep.liu.se/ecp_article/index.en.aspx?issue=024;article=010 (accessed 9/18/2014)