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 12/22/2014)