demonstration

Tool support for continuous maintenance of state machine models in program code

Authors:

Moritz Balz,

Michael Striewe,

Michael GoedickeAuthors Info & Claims

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

Pages 175 - 176

https://doi.org/10.1145/1858996.1859033

Published: 20 September 2010 Publication History

Get Access

Abstract

Software under development is considered by developers at different levels of abstraction, often with formal model specifications that describe actual program code. However, there are semantic barriers between high-level specifications and the resulting programs. In this contribution we introduce a set of tools that maintain multiple abstraction levels in appropriate program code patterns throughout the development process, including run time and monitoring. This makes the program code the only notation necessary for expressing different abstraction levels and improves maintenance of high-level specifications, synchronization of different specifications, and design recovery.

References

[1]

}}M. Balz, M. Striewe, and M. Goedicke. Continuous Maintenance of Multiple Abstraction Levels in Program Code. In Proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development - FTMDD 2010, Funchal, Portugal, 2010.

Google Scholar

[2]

}}K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134--152, Oct 1997.

Digital Library

Google Scholar

[3]

}}D. Schwarz. Peeking Inside the Box: Attribute-Oriented Programming with Java 1.5. ONJava.com, June 2004. http://www.onjava.com/pub/ a/onjava/2004/06/30/insidebox1.html.

Google Scholar

[4]

}}M. Striewe, M. Balz, and M. Goedicke. SyLaGen - An Extendable Tool Environment for Generating Load. In B. Müller-Clostermann, K. Echtle, and E. Rathgeb, editors, Proceedings of "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance" 2010, March 15 - 17, Essen, Germany, volume 5987 of LNCS, pages 307--310. Springer, 2010.

Digital Library

Google Scholar

Index Terms

Tool support for continuous maintenance of state machine models in program code
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering

Recommendations

A Formal Framework for ASTRAL Intralevel Proof Obligations

ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on how to formally prove the mathematical correctness of ASTRAL ...
Communicating Real-Time State Machines
Special issue: specification and analysis of real-time systems

Communicating real-time state machines (CRSMs), a complete and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment, are introduced. They are essentially state machines that ...
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models

It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach-the state transition model-using a collection of mechanically supported specification and verification ...

Comments

Information & Contributors

Information

Published In

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

September 2010

534 pages

ISBN:9781450301169

DOI:10.1145/1858996

General Chair:
Charles Pecheur
Université catholique de Louvain, Belgium
,
Program Chairs:
Jamie Andrews
University of Western Ontario, Canada
,
Elisabetta Di Nitto
Politecnico di Milano, Italy

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 September 2010

Check for updates

Author Tags

Qualifiers

Demonstration

Conference

ASE10

Sponsor:

ASE10: IEEE/ACM International Conference on Automated Software Engineering

September 20 - 24, 2010

Antwerp, Belgium

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
143
Total Downloads

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

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

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

Index Terms

Recommendations

A Formal Framework for ASTRAL Intralevel Proof Obligations

Communicating Real-Time State Machines

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations