Model checking software architecture specifications in SAM

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 271-274

  He, Xudong ^a   Ding, Junhua ^a   Deng, Yi ^a  

^a Florida International University   (United States)

Author keywords

model checking; petri nets; software architecture; temporal logic

Indexed keywords

ARCHITECTURE DESCRIPTION LANGUAGES; ARCHITECTURE SPECIFICATION; AUTOMATIC VALIDATION; HARDWARE SYSTEM; MODEL CHECKING SOFTWARE; SYMBOLIC MODEL CHECKING;

COMPUTER SOFTWARE; GRAPH THEORY; KNOWLEDGE ENGINEERING; MODEL CHECKING; PETRI NETS; SPECIFICATIONS; TEMPORAL LOGIC;

SOFTWARE ARCHITECTURE;

EID: 77953732244     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568808     Document Type: Conference Paper

References (13)

1. W. Chan, R. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J. Reese, "Model Checking Large Software Specifications", IEEE Trans. on Software Engineering, vol.24, no.7, 1998, 498-520.
2. E.M. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications", ACM Trans. on Programming Languages and Systems, vol.8, no.2, 1986, 244-263. (Pubitemid 16633197)
3. P. Ciancarini and C. Mascolo, "Model Checking a Software Architecture", Proc. of ROSATEA: International Workshop on the Role of Software Architecture in Analysis and Testing" Software Engineering Notes, vol.24, no.4, 1999.
4. X. He and Y. Deng: "A Framework for Developing and Analyzing Software Architecture Specifications in SAM", The Computer Journal, vol.45, no.1, 2002, 111-128.
5. P. Inverardi and D. Richardson (eds.): "ROSATEA: International Workshop on the Role of Software Architecture in Analysis and Testing" Software Engineering Notes, vol.24, no.4, 1999.
6. E. Juan, J.P. Tsai, T. Murata, "Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules", ACM Transactions on Programming Languages and Systems, vol.20, no. 5, 1998, 917-979 (Pubitemid 128655758)
7. K. L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Boston, 1993.
8. N. Medvidovic and R. Taylor, "A Classification and Comparison Framework for Software Architecture Description Languages", IEEE TSE, vol.26, no.1, 2000, 70-93.
9. W. Reisig, Petri Nets- An Introduction. Berlin, Springer-Verlag, 1985.
10. M. Shaw: "The Coming-of-Age of Software Architecture Research", Proc. of ICSE 2001, Toronto, 2001, 656-664.
11. J. Wang and Y. Deng, "Incremental Modeling and Verification of Flexible Manufacturing Systems." Journal of Intelligent Manufacturing, vol.10, no.6, 1999, 485-502. (Pubitemid 30556501)
12. J. Wang, X. He, and Y. Deng, "Introducing Software Architecture Specification and Analysis in SAM through an Example." Information and Software Technology, vol. 41,no.7, 1999, 451-467.
13. G. Wimmel, "A BBD-based Model Checker for the PEP Tool", Major Individual Project, Department of Computer Science, University of Newcastle, 1997.