Article

Automatic recovery of statecharts from procedural code

Authors:

Moria Abadi,

Yishai A. FeldmanAuthors Info & Claims

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

Pages 238 - 241

https://doi.org/10.1145/2351676.2351711

Published: 03 September 2012 Publication History

Get Access

Abstract

We have developed a static-analysis algorithm that extracts statecharts from procedural implementations of state machines. The extracted statecharts are semantically-equivalent to the original program, and can be used for further development instead of the procedural code. We have implemented this algorithm in a tool called StatRec. We report on the results of running StatRec on a number of examples, including an implementation of the TCP protocol.

References

[1]

A. Abadi, R. Ettinger, and Y. A. Feldman. Improving slice accuracy by compression of data and control ﬂow paths. In Proc. 7th Joint Mtg. European Software Engineering Conf. (ESEC) and ACM Symp. Foundations of Software Engineering (FSE), Aug. 2009.

Digital Library

Google Scholar

[2]

M. Abadi and Y. A. Feldman. Refactoring in multiple representations: Code and statecharts. In Third Workshop on Refactoring Tools, Oct. 2009.

Google Scholar

[3]

M. Abadi and Y. A. Feldman. Refactoring of statecharts. In Proc. Seventh Conf. Next-Generation Information Technologies and Systems (NGITS), June 2009.

Digital Library

Google Scholar

[4]

D. E. Comer, D. L. Stevens, and M. Evangelista. Internetworking with TCP/IP Vol. II: Design, Implementation, and Internals. Prentice Hall, 4th edition, 2004.

Digital Library

Google Scholar

[5]

D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

Digital Library

Google Scholar

[6]

M. Samek. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Newnes, 2nd edition, 2008.

Digital Library

Google Scholar

Cited By

View all

Said WQuante JKoschke R(2019)Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case StudiesModel-Driven Engineering and Software Development10.1007/978-3-030-11030-7_10(211-235)Online publication date: 1-Feb-2019
https://doi.org/10.1007/978-3-030-11030-7_10
Harel DKantor AKatz GMarron AWeiss GWiener G(2015)Towards behavioral programming in distributed architecturesScience of Computer Programming10.1016/j.scico.2014.03.00398:P2(233-267)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.03.003
Couto RNestor Ribeiro ACreissac Campos J(2013)MapIt: A Model Based Pattern Recovery ToolModel-Based Methodologies for Pervasive and Embedded Software10.1007/978-3-642-38209-3_2(19-37)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38209-3_2

Index Terms

Automatic recovery of statecharts from procedural code
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
        Software maintenance
2. Software and its engineering
  1. Software creation and management
    1. Software post-development issues

Recommendations

Explicit modeling of semantics associated with composite states in UML statecharts

UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UML statecharts. The approach focuses on the specific task of generating ...
Conceptualization in State Machines, Statecharts, and Flow Model
SITIS '09: Proceedings of the 2009 Fifth International Conference on Signal Image Technology and Internet Based Systems

Conceptual modeling provides a foundation for the development phases of software systems. UML has become one of the major conceptual modeling tools in Object-Oriented software engineering utilized in a wide range of applications and domains. However, ...
Are Statecharts Finite Automata?
CIAA '09: Proceedings of the 14th International Conference on Implementation and Application of Automata

Statecharts, which have been introduced by D. Harel in 1987, provide compact and expressive visual formalisms for reactive systems. They have been widely used as a modeling tool and adopted by Unified Modeling Language (UML) as an important technique to ...

Comments

Information & Contributors

Information

Published In

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

September 2012

409 pages

ISBN:9781450312042

DOI:10.1145/2351676

General Chair:
Michael Goedicke,
Program Chairs:
Tim Menzies,
Motoshi Saeki

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

SIGAI: ACM Special Interest Group on Artificial Intelligence
Universität Duisburg Essen: Universität Duisburg Essen
TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ASE'12

Sponsor:

SIGSOFT

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

September 3 - 7, 2012

Essen, Germany

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
145
Total Downloads

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

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Said WQuante JKoschke R(2019)Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case StudiesModel-Driven Engineering and Software Development10.1007/978-3-030-11030-7_10(211-235)Online publication date: 1-Feb-2019
https://doi.org/10.1007/978-3-030-11030-7_10
Harel DKantor AKatz GMarron AWeiss GWiener G(2015)Towards behavioral programming in distributed architecturesScience of Computer Programming10.1016/j.scico.2014.03.00398:P2(233-267)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.03.003
Couto RNestor Ribeiro ACreissac Campos J(2013)MapIt: A Model Based Pattern Recovery ToolModel-Based Methodologies for Pervasive and Embedded Software10.1007/978-3-642-38209-3_2(19-37)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38209-3_2

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

Explicit modeling of semantics associated with composite states in UML statecharts

Conceptualization in State Machines, Statecharts, and Flow Model

Are Statecharts Finite Automata?

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

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