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 10/26/2014)