| Files: | Description | File size | Format | Browse |
| Fulltext | 0.43 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | Malte Lochau: Institute for Programming and Reactive Systems, TU Braunschweig, Germany |
| | Henning Günther: Institute for Programming and Reactive Systems, TU Braunschweig, Germany |
| Publication title: | A Static Aspect Language for Modelica Models |
| Conference: | Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools |
| Publication type: | Abstract and Fulltext |
| Issue: | 029 |
| Article No.: | 006 |
| Abstract: | With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers often want to ensure the compliance to further requirements early in the development cycle. Mostly emerging as domain specific conventions that often crosscut model structures, according checking mechanisms are required that are detached from the core language. In this paper, a declarative language is presented for specifying and evaluating quantified rules for static model properties. Based on aspectoriented programming, the language allows for concise and expressive model inspections and a variable and typing concept facilitate subsequent model manipulations. A nascent implementation framework is proposed, based on the logic meta programming paradigm, thus leading to efficient and scalable aspect processing applicable as model query engine for an AOP Modelica Compiler. |
| Language: | English |
| Keywords: | Early Checking, Aspect Orientation, Modelica Model Inspection |
| Year: | 2008 |
| No. of pages: | 11 |
| Pages: | 47-57 |
| ISBN: | 978-91-7519-823-1 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/029/006/ecp08029006.pdf |
| Available: | 2008-07-02 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
