research-article

Abstraction-aware verifying compiler for yet another MDD

Authors:

Di Ai,

Yasutaka KameiAuthors Info & Claims

ASE '14: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Pages 557 - 562

https://doi.org/10.1145/2642937.2642952

Published: 15 September 2014 Publication History

Get Access

Abstract

This paper rethinks both modularity and compilation in the light of abstraction between design and implementation. We propose a new compilation approach called abstraction-aware verifying compiler, in which abstraction is the target of compilation. Both a design model and its code are inputted as the first-class software modules to the compiler.

References

[1]

Aldrich, J., Chambers, C., and Notkin, D.: ArchJava: Connecting Software Architecture to Implementation, In Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pp.187--197, 2002.

Digital Library

Google Scholar

[2]

Cassou, D., Balland, E., Consel, C., and Lawall, J.: Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications, In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), pp.431--440, 2011.

Digital Library

Google Scholar

[3]

Egyed, A., Letier, E., and Finkelstein, A.: Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models, In Proceedings of the 23rd International Conference on Automated Software Engineering (ASE 2008), pp.99--108, 2008.

Digital Library

Google Scholar

[4]

Kiczales, G., Lamping, J., Mendhekar A., Maeda, C., Lopes, C., Loingtier, J. and Irwin, J.: Aspect-Oriented Programming, In Proceeding of European Conference on Object-Oriented Programming (ECOOP'97), pp.220--242, 1997.

Crossref

Google Scholar

[5]

Kramer, J.: Is Abstraction the Key to Computing? Communications of the ACM, Vol. 50 Issue 4, pp.36--42, 2007.

Digital Library

Google Scholar

[6]

Steel, J. and Jézéquel, J. M.: Model Typing for Improving Reuse in Model-Driven Engineering, In Proceedings 8th International Conference On Model Driven Engineering Languages And Systems of (MoDELS 2005) pp.84--96, 2005.

Digital Library

Google Scholar

[7]

Ubayashi, N., Nomura, J., and Tamai, T.: Archface: A Contract Place Where Architectural Design and Code Meet Together, In Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), pp.75--84, 2010.

Digital Library

Google Scholar

[8]

Ubayashi, N. and Kamei, Y.: Design Module: A Modularity Vision Beyond Code "Not Only Program Code But Also a Design Model Is a Module", In Proceedings of the 5th International Workshop on Modelling in Software Engineering (MiSE 2013) (Workshop at ICSE 2013), pp.44--50, 2013.

Digital Library

Google Scholar

[9]

Yices: http://yices.csl.sri.com/

Google Scholar

[10]

Zheng, Y. and Taylor, R. N.: Enhancing Architecture-Implementation Conformance with Change Management and Support for Behavioral Mapping, In Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), pp.628--638, 2012.

Digital Library

Google Scholar

Cited By

View all

Ubayashi NKamei YSato R(2019)Modular Programming and Reasoning for Living with UncertaintySoftware Technologies10.1007/978-3-030-29157-0_10(220-244)Online publication date: 13-Aug-2019
https://doi.org/10.1007/978-3-030-29157-0_10
Watanabe KUbayashi NFukamachi TNakamura SMuraoka HKamei Y(2017)iArch-U: Interface-Centric Integrated Uncertainty-Aware Development Environment2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)10.1109/MiSE.2017.7(40-46)Online publication date: May-2017
https://doi.org/10.1109/MiSE.2017.7
Fukamachi TUbayashi NHosoai SKamei Y(2015)Modularity for UncertaintyProceedings of the 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering10.1109/MiSE.2015.9(7-12)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.1109/MiSE.2015.9
Show More Cited By

Index Terms

Abstraction-aware verifying compiler for yet another MDD

Recommendations

Yet another language extension scheme
SLE'09: Proceedings of the Second international conference on Software Language Engineering

Magnolia is an experimental programming language designed to try out novel language features. For a language to be a flexible basis for new constructs and language extensions, it will need a flexible compiler, one where new features can be prototyped ...
Abstraction, concurrency, and communal computing in SequenceL
COMPSAC '97: Proceedings of the 21st International Computer Software and Applications Conference

SequenceL is a new computer language that provides declarative constructs for nonscalar processing. In SequenceL, a problem solver provides little in the way of iterative/recursive details in a problem solution. Instead, the problem solver describes the ...
Synchronization abstraction in the BETA programming language

This paper argues that synchronization of processes need not be part of the core of a programming language, but that they can just as well be built from existing abstractions - provided these are sufficiently flexible and general. BETA's notion of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ASE '14: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

September 2014

934 pages

ISBN:9781450330138

DOI:10.1145/2642937

General Chair:
Ivica Crnkovic
Mälardalen University, Sweden
,
Program Chairs:
Marsha Chechik
University of Toronto, Canada
,
Paul Grünbacher
Johannes Kepler Universität Linz, Austria

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 September 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Ministry of Education, Culture, Sports, Science, and Technology

Conference

ASE '14

Sponsor:

SIGAI
SIGSOFT
Mälardalen University

ASE '14: ACM/IEEE International Conference on Automated Software Engineering

September 15 - 19, 2014

Vasteras, Sweden

Acceptance Rates

ASE '14 Paper Acceptance Rate 82 of 337 submissions, 24%;

Overall Acceptance Rate 82 of 337 submissions, 24%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
133
Total Downloads

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

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ubayashi NKamei YSato R(2019)Modular Programming and Reasoning for Living with UncertaintySoftware Technologies10.1007/978-3-030-29157-0_10(220-244)Online publication date: 13-Aug-2019
https://doi.org/10.1007/978-3-030-29157-0_10
Watanabe KUbayashi NFukamachi TNakamura SMuraoka HKamei Y(2017)iArch-U: Interface-Centric Integrated Uncertainty-Aware Development Environment2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)10.1109/MiSE.2017.7(40-46)Online publication date: May-2017
https://doi.org/10.1109/MiSE.2017.7
Fukamachi TUbayashi NHosoai SKamei Y(2015)Modularity for UncertaintyProceedings of the 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering10.1109/MiSE.2015.9(7-12)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.1109/MiSE.2015.9
Fukamachi TUbayashi NHosoai SKamei Y(2015)Poster: Conquering Uncertainty in Java Programming2015 IEEE/ACM 37th IEEE International Conference on Software Engineering10.1109/ICSE.2015.266(823-824)Online publication date: May-2015
https://doi.org/10.1109/ICSE.2015.266

View Options

Login options

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

Cited By

Index Terms

Recommendations

Yet another language extension scheme

Abstraction, concurrency, and communal computing in SequenceL

Synchronization abstraction in the BETA programming language