| Files: | Description | File size | Format | Browse |
| Fulltext | 0.57 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | David Broman: Department of Information and Computer Science, Linköping University, Sweden |
| | Peter Fritzson: Department of Information and Computer Science, Linköping University, Sweden |
| Publication title: | Higher-Order Acausal 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.: | 007 |
| Abstract: | Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models. However, support for model transformation is still often limited to scripting solutions provided by tool implementations. In this paper we investigate the possibility of combining the well known concept of higher-order functions, used in standard functional programming languages, with acausal models. This concept, called Higher-Order Acausal Models (HOAMs), simplifies the creation of reusable model libraries and model transformations within the modeling language itself. These transformations include general model composition and recursion operations and do not require data representation/ reification of models as in metaprogramming/metamodeling. Examples within the electrical and mechanical domain are given using a small research language. However, the language concept is not limited to a particular language, and could in the future be incorporated into existing commercially available EOO-languages. |
| Language: | English |
| Keywords: | Higher-Order,Acausal,Modeling, Simulation, Model Transformation, Equations, Object-Oriented, EOO |
| Year: | 2008 |
| No. of pages: | 11 |
| Pages: | 59-69 |
| 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/007/ecp08029007.pdf |
| Available: | 2008-07-02 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
