A meta-metamodel for dynamic constraint feedback in modeling languages

Matt Bunting; Jonathan Sprinkle

doi:10.1145/3358501.3361239

A meta-metamodel for dynamic constraint feedback in modeling languages

Matt Bunting, Jonathan Sprinkle

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Complex design considerations of Cyber-Physical Systems (CPSs) are greatly aided through the use of high-level abstractions in a Domain-Specific Modeling Language (DSML). A DSML environment ensures that models will be correct by construction, however syntax correctness does not imply dynamic safety. Presented is an approach to define a meta-metamodel for DSML design with built in closed loop verification feedback for model correction based on dynamic constraint violations. Usage of this framework during DSML design can benefit CPSs such as autonomous vehicles by ensuring that designs are safe, through codified expert knowledge and verification tool integration. A case study is shown using a simple hybrid controller modeling language and reachability verification tools.

Original language	English (US)
Title of host publication	DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019
Editors	Matti Rossi, Jonathan Sprinkle
Publisher	Association for Computing Machinery, Inc
Pages	11-19
Number of pages	9
ISBN (Electronic)	9781450369848
DOIs	https://doi.org/10.1145/3358501.3361239
State	Published - Oct 20 2019
Event	17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019 - Athens, Greece Duration: Oct 20 2019 → …

Publication series

Name	DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019

Conference

Conference	17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019
Country/Territory	Greece
City	Athens
Period	10/20/19 → …

Keywords

Cyber-Physical Systems
Domain-Specific Modeling
Verification Tools

ASJC Scopus subject areas

Computer Science Applications
Software
Modeling and Simulation

Access to Document

10.1145/3358501.3361239

Cite this

Bunting, M., & Sprinkle, J. (2019). A meta-metamodel for dynamic constraint feedback in modeling languages. In M. Rossi, & J. Sprinkle (Eds.), DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019 (pp. 11-19). (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019). Association for Computing Machinery, Inc. https://doi.org/10.1145/3358501.3361239

A meta-metamodel for dynamic constraint feedback in modeling languages. / Bunting, Matt; Sprinkle, Jonathan.
DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. ed. / Matti Rossi; Jonathan Sprinkle. Association for Computing Machinery, Inc, 2019. p. 11-19 (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bunting, M & Sprinkle, J 2019, A meta-metamodel for dynamic constraint feedback in modeling languages. in M Rossi & J Sprinkle (eds), DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019, Association for Computing Machinery, Inc, pp. 11-19, 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019, Athens, Greece, 10/20/19. https://doi.org/10.1145/3358501.3361239

Bunting M, Sprinkle J. A meta-metamodel for dynamic constraint feedback in modeling languages. In Rossi M, Sprinkle J, editors, DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. Association for Computing Machinery, Inc. 2019. p. 11-19. (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019). doi: 10.1145/3358501.3361239

Bunting, Matt ; Sprinkle, Jonathan. / A meta-metamodel for dynamic constraint feedback in modeling languages. DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. editor / Matti Rossi ; Jonathan Sprinkle. Association for Computing Machinery, Inc, 2019. pp. 11-19 (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019).

@inproceedings{d38c0de7a36c44d79c08e2df233a8b63,

title = "A meta-metamodel for dynamic constraint feedback in modeling languages",

abstract = "Complex design considerations of Cyber-Physical Systems (CPSs) are greatly aided through the use of high-level abstractions in a Domain-Specific Modeling Language (DSML). A DSML environment ensures that models will be correct by construction, however syntax correctness does not imply dynamic safety. Presented is an approach to define a meta-metamodel for DSML design with built in closed loop verification feedback for model correction based on dynamic constraint violations. Usage of this framework during DSML design can benefit CPSs such as autonomous vehicles by ensuring that designs are safe, through codified expert knowledge and verification tool integration. A case study is shown using a simple hybrid controller modeling language and reachability verification tools.",

keywords = "Cyber-Physical Systems, Domain-Specific Modeling, Verification Tools",

author = "Matt Bunting and Jonathan Sprinkle",

note = "Funding Information: Support for this project was provided by the National Science Foundation under award 1253334. The authors would also like to thank the CPS Virtual Organization, award 0931632, for providing a verification tool resource for fast tool evaluation. Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019 ; Conference date: 20-10-2019",

year = "2019",

month = oct,

day = "20",

doi = "10.1145/3358501.3361239",

language = "English (US)",

series = "DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019",

publisher = "Association for Computing Machinery, Inc",

pages = "11--19",

editor = "Matti Rossi and Jonathan Sprinkle",

booktitle = "DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019",

}

TY - GEN

T1 - A meta-metamodel for dynamic constraint feedback in modeling languages

AU - Bunting, Matt

AU - Sprinkle, Jonathan

N1 - Funding Information: Support for this project was provided by the National Science Foundation under award 1253334. The authors would also like to thank the CPS Virtual Organization, award 0931632, for providing a verification tool resource for fast tool evaluation. Publisher Copyright: © 2019 Association for Computing Machinery.

PY - 2019/10/20

Y1 - 2019/10/20

N2 - Complex design considerations of Cyber-Physical Systems (CPSs) are greatly aided through the use of high-level abstractions in a Domain-Specific Modeling Language (DSML). A DSML environment ensures that models will be correct by construction, however syntax correctness does not imply dynamic safety. Presented is an approach to define a meta-metamodel for DSML design with built in closed loop verification feedback for model correction based on dynamic constraint violations. Usage of this framework during DSML design can benefit CPSs such as autonomous vehicles by ensuring that designs are safe, through codified expert knowledge and verification tool integration. A case study is shown using a simple hybrid controller modeling language and reachability verification tools.

AB - Complex design considerations of Cyber-Physical Systems (CPSs) are greatly aided through the use of high-level abstractions in a Domain-Specific Modeling Language (DSML). A DSML environment ensures that models will be correct by construction, however syntax correctness does not imply dynamic safety. Presented is an approach to define a meta-metamodel for DSML design with built in closed loop verification feedback for model correction based on dynamic constraint violations. Usage of this framework during DSML design can benefit CPSs such as autonomous vehicles by ensuring that designs are safe, through codified expert knowledge and verification tool integration. A case study is shown using a simple hybrid controller modeling language and reachability verification tools.

KW - Cyber-Physical Systems

KW - Domain-Specific Modeling

KW - Verification Tools

UR - http://www.scopus.com/inward/record.url?scp=85077184992&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85077184992&partnerID=8YFLogxK

U2 - 10.1145/3358501.3361239

DO - 10.1145/3358501.3361239

M3 - Conference contribution

AN - SCOPUS:85077184992

T3 - DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019

SP - 11

EP - 19

BT - DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019

A2 - Rossi, Matti

A2 - Sprinkle, Jonathan

PB - Association for Computing Machinery, Inc

T2 - 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, DSM 2019, co-located with SPLASH 2019

Y2 - 20 October 2019

ER -

A meta-metamodel for dynamic constraint feedback in modeling languages

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this