Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Node-Based Connection Semanticsfor Equation-Based Object-Oriented Modeling Languages
Linköpings universitet, PELAB - Laboratoriet för programmeringsomgivningar, Sweden.ORCID iD: 0000-0001-8457-4105
University of Nottingham, England.
2012 (English)In: Proceedings of Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2012), 2012, 258-272 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2012. 258-272 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 7149
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-163771DOI: 10.1007/978-3-642-27694-1_19OAI: oai:DiVA.org:kth-163771DiVA: diva2:803878
Conference
International Symposium on Practical Aspects of Declarative Languages (PADL 2012)
Note

QC 20150415

Available from: 2013-05-30 Created: 2015-04-12 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Broman, David

Search in DiVA

By author/editor
Broman, David
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 96 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf