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

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 239-249

  Pezze, Mauro ^a   Young, Michal ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONCURRENCY CONTROL; FORMAL LOGIC; MATHEMATICAL MODELS; STATE SPACE METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; KNOWLEDGE BASED SYSTEMS;

MULTIFORMALISM STATE SPACE ANALYSIS TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING; STATE SPACE METHODS;

CONCURRENT SYSTEMS; HETEROGENEOUS SYSTEM DESCRIPTIONS; MULTIFORMALISM STATE SPACE ANALYSIS TOOLS;

EID: 0030615480     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1109/ICSE.1997.610261     Document Type: Conference Paper

References (15)

1. L. Baresi A. Orso M. Pezzé Customizable notations for kernel formalisms Proceedings of the First IEEE International Conference on Engineering Complex Computer Systems 43 46 Proceedings of the First IEEE International Conference on Engineering Complex Computer Systems Fort Lauderdale Florida 1995-November
2. G. Berry P. Couronne G. Gonthier Synchronous programming of reactive systems: An introduction to Esterel March 1987 France, Rocquencourt 647 INRIA
3. R. Cleaveland E. Madelaine S. Sims Generating front ends for verification tools Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95) 1019 Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95) 1995-May
4. N. Day A model checker for StateCharts October 1993 TR-93-35 University of British Columbia, Department of Computer Science http://www.cs.ubc.ca/tr/1993/TR-93-35
5. L. K. Dillon G. S. Avrunin 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
6. C. Ghezzi D. Mandrioli On eclecticism in specifications: A case study centered around Petri nets Proceedings 4th International Workshop on Software Specification and Design 216 225 Proceedings 4th International Workshop on Software Specification and Design Monterey 1987-April
7. D. Harel Statecharts: A visual formalism for complex systems Science of Computer Programming 8 231 274 1987
8. N. G. Leveson M. P. E. Heimdahl H. Hildreth J. Reese Requirements specification for process control systems IEEE Transactions on Software Engineering SE-20 9 684 707 September 1994
9. Lecture Notes in Computer Science 891 1995 Springer-Verlag Formal Development of Reactive Systems
10. M. Pezzé R. Ν. Taylor M. Young Graph models for reachability analysis of concurrent programs ACM Transactions on Software Engineering and Methodology 4 2 171 213 April 1995
11. M. Pezzé M. Young Generation of multi-formalism state-spaceanalysis tools Proceedings of the 1996 International Symposium on Software Testing and Analysis 172 179 Proceedings of the 1996 International Symposium on Software Testing and Analysis San Diego California 1996-January
12. B. Sanden The case for electric [sic] design of real-time software IEEE Transactions on Software Engineering 15 3 360 362 March 1989
13. G. Winskel Petri nets, algebras, morphisms, and compositionality Information and Computation 72 197 238 1987
14. W. J. Yeh M. Young Compositional reachability analysis using process algebra Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4) 49 59 Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4) Victoria British Columbia 1991-October
15. P. Zave M. Jackson Conjunction as composition ACM Transactions on Software Engineering and Methodology 2 4 379 411 October 1993