Practical Aspects of Declarative Languages

Volume 7149 of the series Lecture Notes in Computer Science pp 258-272

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages

  • David BromanAffiliated withDepartment of Computer and Information Science, Linköping University
  • , Henrik NilssonAffiliated withSchool of Computer Science, University of Nottingham

* Final gross prices may vary according to local VAT.

Get Access


Declarative, Equation-Based Object-Oriented (EOO) modeling languages, like Modelica, support modeling of physical systems by composition of reusable component models. An important application area is modeling of cyber-physical systems. EOO languages typically feature a connection construct allowing component models to be assembled into systems much like physical components are. Different designs are possible. This paper introduces, formalizes, and validates an approach based on explicit nodes that expressly is designed to work for functional EOO languages supporting higher-order modeling. The paper also considers Modelica-style connections and explains why that design does not work for functional EOO languages, thus mapping out the design space.


Declarative Languages Modeling Simulation