research-article

Visual Instance Inlining and Specialization: Building Domain-Specific Diagrams from Reusable Types

Authors:

Görel HedinAuthors Info & Claims

RWDSL '16: Proceedings of the 1st International Workshop on Real World Domain Specific Languages

Article No.: 4, Pages 1 - 10

https://doi.org/10.1145/2889420.2889423

Published: 12 March 2016 Publication History

Abstract

Block diagram languages are often used for physical modeling and automation, where end users are domain engineers that instantiate block types and wire them together. Abstraction mechanisms in these languages allow specialists to build advanced reusable domain-specific libraries. However, this brings a tension between supporting reusability and making the language simple to comprehend for domain engineers. We propose a technique for relieving this tension by supporting visual instance inlining and smart editing mechanisms based on instance specialization. The new technique allows end users to visually edit and comprehend diagrams in terms of domain blocks only, while the underlying program makes use of reusable library types.

References

[1]

J. Åkesson, T. Ekman, and G. Hedin. Implementation of a Modelica compiler using JastAdd attribute grammars. Science of Computer Programming, 75(1-2):21--38, Jan. 2010.

Digital Library

[2]

K. J. Åström and T. Hägglund. Advanced PID control. ISA-The Instrumentation, Systems, and Automation Society; Research Triangle Park, NC 27709, 2006.

[3]

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64--83, 2003.

[4]

T. Ekman and G. Hedin. The JastAdd system - modular extensible compiler construction. Sci. Comput. Progr., 69:14--26, 2007.

Digital Library

[5]

N. Fors and G. Hedin. Intercepting dataflow connections in diagrams with inheritance. In IEEE Symposium on Visual Languages and Human-Centric Computing, pages 21--24, 2014.

[6]

P. Frey, R. von Hanxleden, C. Krüger, U. Rüegg, C. Schneider, and M. Spönemann. Efficient exploration of complex data flow models. In Modellierung 2014, 19.-21. März 2014, Wien, Österreich, pages 321--336, 2014.

[7]

G. W. Furnas. Generalized fisheye views. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pages 16--23. ACM, 1986.

Digital Library

[8]

G. Hedin. Reference Attributed Grammars. In Informatica (Slovenia), 24(3), pages 301--317, 2000.

[9]

D. E. Knuth. Semantics of Context-free Languages. Math. Sys. Theory, 2(2):127--145, 1968.

[10]

R. Lublinerman, C. Szegedy, and S. Tripakis. Modular code generation from synchronous block diagrams: modularity vs. code size. In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pages 78--89, 2009.

Digital Library

[11]

Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification Version 3.2, 2010. Available from www.modelica.org.

[12]

D. L. Moody. The "physics" of notations: Toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Software Eng., 35(6):756--779, 2009.

Digital Library

[13]

T. Reinhard, S. Meier, and M. Glinz. An improved fisheye zoom algorithm for visualizing and editing hierarchical models. In Requirements Engineering Visualization, 2007. REV 2007. Second International Workshop on, pages 9--9, Oct 2007.

Digital Library

[14]

T. Reinhard, S. Meier, R. Stoiber, C. Cramer, and M. Glinz. Tool support for the navigation in graphical models. In 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pages 823--826, 2008.

Digital Library

[15]

C. D. Schulze, M. Spönemann, and R. von Hanxleden. Drawing layered graphs with port constraints. Journal of Visual Languages & Computing, 25(2):89--106, 2014.

Digital Library

[16]

O. van Rest, G. Wachsmuth, J. Steel, J. G. Süß, and E. Visser. Robust real-time synchronization between textual and graphical editors. In ICMT, 2013.

[17]

H. Vogt, S. D. Swierstra, and M. F. Kuiper. Higher-order attribute grammars. In PLDI, pages 131--145, 1989.

Digital Library

Cited By

Fors NHedin GVisser EMurphy-Hill ELopes C(2016)Bloqqi: modular feature-based block diagram programmingProceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/2986012.2986026(57-73)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2986012.2986026

Index Terms

Visual Instance Inlining and Specialization: Building Domain-Specific Diagrams from Reusable Types
1. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

Bloqqi: modular feature-based block diagram programming
Onward! 2016: Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

Automation programming is typically done using blocks and dataflow connections, in diagram languages that support user-defined block types. Often, these types are intended to be instantiated and connected to other blocks in common patterns, ...
Metamodel specialization for graphical modeling language support
MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems

Most of current modeling languages are based on graphical diagrams. The concrete graphical syntax of these languages typically is defined informally -- by text and diagram examples. Only recently, starting from UML 2.5, a formalism is offered for ...
Concrete syntax: a multi-paradigm modelling approach
SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering

Domain-Specific Modelling Languages (DSLs) allow domain experts to create models using abstractions they are most familiar with. A DSL's syntax is specified in two parts: the abstract syntax defines the language's concepts and their allowed ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

RWDSL '16: Proceedings of the 1st International Workshop on Real World Domain Specific Languages

March 2016

46 pages

ISBN:9781450340519

DOI:10.1145/2889420

Program Chairs:
Robert Stewart
Heriot-Watt University
,
Greg Michaelson
Heriot-Watt University

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 March 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Vetenskapsrådet

Conference

RWDSL '16

RWDSL '16: 1st International Workshop on Real World Domain Specific Languages

March 12, 2016

Barcelona, Spain

Acceptance Rates

Overall Acceptance Rate 7 of 9 submissions, 78%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
63
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Fors NHedin GVisser EMurphy-Hill ELopes C(2016)Bloqqi: modular feature-based block diagram programmingProceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/2986012.2986026(57-73)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2986012.2986026

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents