| Files: | Description | File size | Format | Browse |
| Fulltext | 0.62 MB | PDF (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 5/25/2013) |
|
Ph.D., Lic. Theses
