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

  • David Broman
  • Henrik Nilsson
Conference paper

DOI: 10.1007/978-3-642-27694-1_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7149)
Cite this paper as:
Broman D., Nilsson H. (2012) Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. In: Russo C., Zhou NF. (eds) Practical Aspects of Declarative Languages. PADL 2012. Lecture Notes in Computer Science, vol 7149. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

Declarative Languages Modeling Simulation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • David Broman
    • 1
  • Henrik Nilsson
    • 2
  1. 1.Department of Computer and Information ScienceLinköping UniversitySweden
  2. 2.School of Computer ScienceUniversity of NottinghamUnited Kingdom

Personalised recommendations