Files:DescriptionFile size FormatBrowse
Fulltext0.43 MBPDF (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
Malte Lochau, Henning Günther (2008). A Static Aspect Language for Modelica Models, Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;article=006 (accessed 4/19/2014)