Article

Free access

Constructing multi-formalism state-space analysis tools: using rules to specify dynamic semantics of models

Authors:

Michal YoungAuthors Info & Claims

ICSE '97: Proceedings of the 19th international conference on Software engineering

Pages 239 - 250

https://doi.org/10.1145/253228.253278

Published: 01 May 1997 Publication History

First page of PDF

References

[1]

L. Baresi, A. Orso, and M. Pezze. Customizable notations for kernel formalisms. In Proceedings of the First IEEE International Conference on Engineering Complex Computer Systems, pages 43-46, Fort Lauderdale, Florida, November 1995. IEEE Computer Society Press.

Digital Library

[2]

G. Berry, P Couronne, and G. Gonthier. Synchronous programming of reactive systems: An introduction to Esterel. Technical Report 647, INRIA, Rocquencourt, France, March 1987.

[3]

R. Cleaveland, E. Madelaine, and S. Sims. Generating front ends for verification tools. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95), volume 1019 of Lecture Notes in Computer Science. Springer-Verlag, May 1995.

Digital Library

[4]

N. Day. A model checker for StateCharts. Technical Report TR-93-35, University of British Columbia, Department of Computer Science, October 1993. http://www.cs.ubc.ca/tr/l993/TR-93-35.

Digital Library

[5]

L. K. Dillon, G. S. Avnmin, and J. C. Wileden. Constrained expressions: Toward broad applicability of analysis methods for distributed software systems. ACM Transactions on Programming Languages and Systems, 10(3):374-402, July 1988.

Digital Library

[6]

C. Ghezzi and D. Mandrioli. On eclecticism in specifications: A case study centered around Petri nets. In Proceedings 4th International Workshop on Software Specification and Design, pages 216-225, Monterey, April 1987. IEEE Computer Society.

[7]

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

Digital Library

[8]

N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. Reese. Requirements specification for process control systems. IEEE Transactions on Software Engineering, SE-20(9):684-707, September 1994.

Digital Library

[9]

C. Lewerentz and T. L. (Eds.). Formal Development of Reactive Systems. Lecture Notes in Computer Science, 891 Series. Springer-Verlag, 1995.

Digital Library

[10]

M. Pezze, R. N. Taylor, and M. Young. Graph models for reachability analysis of concurrent programs. ACM Transactions on Software Engineering and Methodology, 4(2):171-213, April 1995.

Digital Library

[11]

M. Pezze and M. Young. Generation of multiformalism state-space analysis tools. In Proceedings of the 1996 Intemational Symposium on Software Testing and Analysis, pages 172-179, San Diego, California, January 1996. ACM Press.

Digital Library

[12]

B. Sanden. The case for electric {sic} design of realtime software. IEEE Transactions on Software Engineering, 15(3):360-362,March 1989. Correspondence. ("Electric" is apparently a misprint for "Eclectic".).

Digital Library

[13]

G. Winskel. Petri nets, algebras, morphisms, and compositionality. Information and Computation, 72:197- 238,1987.

Digital Library

[14]

W. J. Yeh and M. Young. Compositional reachability analysis using process algebra. In Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4), pages 49-59, Victoria, British Columbia, October 1991. ACM SIGSOFT, ACM Press.

Digital Library

[15]

P. Zave and M. Jackson. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 2(4):379-411, October 1993.

Digital Library

Cited By

Giese HBlouin DAl-Ali RMkaouar HBandyopadhyay SIacono MAmrani MKlikovits SErata F(2021)An ontology for multi-paradigm modellingMulti-Paradigm Modelling Approaches for Cyber-Physical Systems10.1016/B978-0-12-819105-7.00009-X(67-122)Online publication date: 2021
https://doi.org/10.1016/B978-0-12-819105-7.00009-X
Balasubramanian DPăsăreanu CKarsai GLowry M(2013)PolyglotProceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-36742-7_36(523-529)Online publication date: 16-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-36742-7_36
Prout AAtlee JDay NShaker P(2012)Code generation for a family of executable modelling notationsSoftware and Systems Modeling (SoSyM)10.1007/s10270-010-0176-611:2(251-272)Online publication date: 1-May-2012
https://dl.acm.org/doi/10.1007/s10270-010-0176-6
Show More Cited By

Index Terms

Constructing multi-formalism state-space analysis tools: using rules to specify dynamic semantics of models

Recommendations

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of ...
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software

An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programming language with facilities for general programming and also for systems programming that is oriented toward communications processing. This ...
Analysis of linear lung models based on state-space models
Highlights
- State-space representations of the parametric linear respiratory system models provide time-varying nature of the system incorporated by the parameters.
Abstract
Background and Objectives: Linear parametric respiratory system models have been used in the model-based analysis of the respiratory system. Although there are studies exploring the physiological correctness and fitting accuracy of the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '97: Proceedings of the 19th international conference on Software engineering

May 1997

713 pages

ISBN:0897919149

DOI:10.1145/253228

Chairman:
W. Richards Adrion
Univ. of Massachuetts, Amherst

Copyright © 1997 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 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]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS\TCSE: TC on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE97

Sponsor:

SIGSOFT
IEEE-CS\TCSE

ICSE97: 19th International Conference on Software Engineering

May 17 - 23, 1997

Massachusetts, Boston, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
386
Total Downloads

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

Reflects downloads up to 12 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Giese HBlouin DAl-Ali RMkaouar HBandyopadhyay SIacono MAmrani MKlikovits SErata F(2021)An ontology for multi-paradigm modellingMulti-Paradigm Modelling Approaches for Cyber-Physical Systems10.1016/B978-0-12-819105-7.00009-X(67-122)Online publication date: 2021
https://doi.org/10.1016/B978-0-12-819105-7.00009-X
Balasubramanian DPăsăreanu CKarsai GLowry M(2013)PolyglotProceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-36742-7_36(523-529)Online publication date: 16-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-36742-7_36
Prout AAtlee JDay NShaker P(2012)Code generation for a family of executable modelling notationsSoftware and Systems Modeling (SoSyM)10.1007/s10270-010-0176-611:2(251-272)Online publication date: 1-May-2012
https://dl.acm.org/doi/10.1007/s10270-010-0176-6
Balasubramanian DPăsăreanu CWhalen MKarsai GLowry MDwyer MTip F(2011)PolyglotProceedings of the 2011 International Symposium on Software Testing and Analysis10.1145/2001420.2001427(45-55)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.1145/2001420.2001427
Esmaeilsabzali SDay N(2010)Prescriptive semantics for big-step modelling languagesProceedings of the 13th international conference on Fundamental Approaches to Software Engineering10.1007/978-3-642-12029-9_12(158-172)Online publication date: 20-Mar-2010
https://dl.acm.org/doi/10.1007/978-3-642-12029-9_12
Niu JAtlee JDay N(2003)Template Semantics for Model-Based NotationsIEEE Transactions on Software Engineering10.1109/TSE.2003.123716929:10(866-882)Online publication date: 1-Oct-2003
https://dl.acm.org/doi/10.1109/TSE.2003.1237169
Dillon LStirewalt R(2003)Inference GraphsIEEE Transactions on Software Engineering10.1109/TSE.2003.117805229:2(133-150)Online publication date: 1-Feb-2003
https://dl.acm.org/doi/10.1109/TSE.2003.1178052
Ray ACleaveland R(2003)Architectural interaction diagrams: AIDs for system modeling25th International Conference on Software Engineering, 2003. Proceedings.10.1109/ICSE.2003.1201218(396-406)Online publication date: 2003
https://doi.org/10.1109/ICSE.2003.1201218
Niu JAtlee JDay N(2002)Composable semantics for model-based notationsACM SIGSOFT Software Engineering Notes10.1145/605466.60548927:6(149-158)Online publication date: 1-Nov-2002
https://dl.acm.org/doi/10.1145/605466.605489
Niu JAtlee JDay NSoffa MGriswold W(2002)Composable semantics for model-based notationsProceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering10.1145/587051.587074(149-158)Online publication date: 18-Nov-2002
https://dl.acm.org/doi/10.1145/587051.587074
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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

Figures

Tables

Media

View Table of Conten