research-article

Extensible visual constraint language

Authors:

Brian Broll,

Ákos LédecziAuthors Info & Claims

DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling

Pages 63 - 70

https://doi.org/10.1145/2846696.2846704

Published: 27 October 2015 Publication History

Get Access

Abstract

The paper presents a visual, imperative language for the specification of constraints corresponding to domain-specific modeling languages (DSML) in the new WebGME modeling environment. The language is based on the visual notation introduced by Scratch. The novel feature of the approach is that the constraint language is just another DSML defined through UML class diagram-based metamodels. As such, it is easily extensible via metamodel inheritance. The visual constraint programs are automatically translated into asynchronous JavaScript code that utilizes the native WebGME APIs for evaluation.

References

[1]

Visual OCL. http://www.user.tuberlin.de/o.runge/tfs/projekte/vocl/,. Accessed: 2014-12-19.

Google Scholar

[2]

Visual OCL: A visual notation of the object constraint language. http://www.user.tuberlin.de/o.runge/tfs/projekte/vocl/gKTW02.pdf,. Accessed: 2015-1-19.

Google Scholar

[3]

P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. A visualization of ocl using collaborations. In UML 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools, pages 257–271. Springer, 2001.

Digital Library

Google Scholar

[4]

A. Fish, J. Howse, G. Taentzer, and J. Winkelmann. Two visualizations of ocl: A comparison. 2005.

Google Scholar

[5]

E. K. Jackson, D. Seifert, M. Dahlweid, T. Santen, N. Bjørner, and W. Schulte. Specifying and composing non-functional requirements in model-based development. In Software Composition, pages 72–89. Springer, 2009.

Digital Library

Google Scholar

[6]

S. Kent. Constraint diagrams: visualizing invariants in objectoriented models. In ACM SIGPLAN Notices, volume 32, pages 327–341. ACM, 1997.

Digital Library

Google Scholar

[7]

Á. Lédeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai. Composing domain-specific design environments. Computer, 34(11):44–51, 2001.

Digital Library

Google Scholar

[8]

M. Maróti, T. Kecskés, R. Kereskényi, B. Broll, P. Völgyesi, L. Jurácz, T. Levendoszky, and Á. Lédeczi. Next generation (meta) modeling: Web-and cloud-based collaborative tool infrastructure. Proceedings of MPM, page 41, 2014.

Google Scholar

[9]

J. Mönig and B. Harvey. Bringing “no ceiling” to scratch: Can one language serve kids and computer scientists? Constructionism 2010, 2010.

Google Scholar

[10]

M. Resnick, J. Maloney, A. Monroy-Hernández, N. Rusk, E. Eastmond, K. Brennan, A. Millner, E. Rosenbaum, J. Silver, B. Silverman, et al. Scratch: programming for all. Communications of the ACM, 52(11):60–67, 2009.

Digital Library

Google Scholar

[11]

J. Sztipanovits and G. Karsai. Model-integrated computing. Computer, 30(4):110–111, 1997.

Digital Library

Google Scholar

[12]

J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999. ISBN 0-201- 37940-6.

Digital Library

Google Scholar

Cited By

View all

Selway MGrossman GStumptner MOwen KDexter RWąsowski APaige RHaugen Ø(2018)Integration of Visual Contracts and Model Transformation for Enhanced MDE DevelopmentProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239399(415-425)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239399

Index Terms

Extensible visual constraint language
1. Software and its engineering

Recommendations

Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles
CAiSE '09: Proceedings of the 21st International Conference on Advanced Information Systems Engineering

Nowadays, there are several MDD approaches that have defined Domain-Specific Modeling Languages (DSML) that are oriented to representing their particular semantics. However, since UML is the standard language for software modeling, many of these MDD ...
The Object Constraint Language: Getting Your Models Ready for MDA
Improving Automatic UML2 Profile Generation for MDA Industrial Development
ER '08: Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities

In the context of MDA-oriented solutions, a modeling language with a precise semantics is a mandatory requirement. Even though MDA encourages the use of UML, there are several MDA approaches that define their own Domain Specific Modeling Languages (DSML)...

Comments

Information & Contributors

Information

Published In

DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling

October 2015

76 pages

ISBN:9781450339032

DOI:10.1145/2846696

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 ACM 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]

In-Cooperation

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 October 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

National Science Foundation

Conference

SPLASH '15

Sponsor:

SIGPLAN

SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity

October 27, 2015

PA, Pittsburgh, USA

Acceptance Rates

Overall Acceptance Rate 31 of 50 submissions, 62%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
92
Total Downloads

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

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Selway MGrossman GStumptner MOwen KDexter RWąsowski APaige RHaugen Ø(2018)Integration of Visual Contracts and Model Transformation for Enhanced MDE DevelopmentProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239399(415-425)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239399

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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles

The Object Constraint Language: Getting Your Models Ready for MDA

Improving Automatic UML2 Profile Generation for MDA Industrial Development

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations