Introducing software architecture specification and analysis in SAM through an example

Information and Software Technology

Volumn 41, Issue 7, 1999, Pages 451-467

  Wang, J ^a   He, X ^b   Deng, Y ^a  

^a The Department of Electrical and Computer Engineering   (United States)

^b North Dakota State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMAND AND CONTROL SYSTEMS; COMPUTER ARCHITECTURE; CONSTRAINT THEORY; FORMAL LOGIC; PETRI NETS; REAL TIME SYSTEMS; TREES (MATHEMATICS);

REAL TIME CONCURRENT SYSTEMS; TIME PETRI NETS;

SOFTWARE ENGINEERING;

EID: 0032647644     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00009-9     Document Type: Article

References (26)

1. Shaw M., Garlan D. Software Architecture: Perspectives on an Emerging Discipline. 1996;Prentice-Hall, Englewood Cliffs, NJ.
2. Luckham D.C., Kenney J., Augustin L., et al. Specification and analysis of system architecture using RAPIDE. IEEE Trans. Software Engng. 21:(4):1995;336-355.
3. Inverardi P., Wolf A. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Software Engng. 21:(4):1995;373-386.
4. Y. Deng, J. Wang., R. Sinha, Incremental architectural modeling and verification of real time concurrent systems, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, 1998.
5. J. Wang, Y. Deng, Incremental modeling and verification of flexible manufacturing systems, Int. J. Intelligent Manufacturing (in press).
6. C. Heitmeyer, D. Mandrioli, Formal methods for real-time computing: An overview, Formal Methods for Real-time Computing, 1995, pp. 1-29.
7. Bucci G., Member E. Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans. Software Eng. 21:(12):1995;969-992.
8. Y. Deng, W. Du, P.C. Attie, M. Evangelist, A formal approach for architectural modeling and decomposition of distributed real-time systems, Proceedings of the Eight International Conference on Software Engineering and Knowledge Engineering, Nevada, 1996, pp. 408-417.
9. Berthomieu B., Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Software Engng. 17:(3):1991;259-273.
10. Murata T. Petri nets properties, analysis and applications. Proc. IEEE. 77:(4):1989;541-580.
11. Wang J. Timed Petri Nets: Theory and Application. 1998;Kluwer Academic Publishers, Dordrecht.
12. Wing J.M. A specifier's introduction to formal methods. IEEE Computer. 23:(9):1990;8-24.
13. Clarke E.M., Emerson E.A., Sistla A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages and Systems. 8:(2):1986;244-263.
14. Emerson E.A., Mok A.K., Sistla A.P., Srinivasian J. Quantitative temporal reasoning. Real-Time Systems. 4:1992;331-352.
15. He X., Lee J.A.N. Integrating predicate transition nets and first order temporal logic in the specification of concurrent systems. Formal Aspects of Computing. 2:(3):1990;226-246.
16. Felder M., Mandrioli D., Morzenti A. Proving properties of real-time systems through logical specifications and Petri net models. IEEE Trans. Software Engng. 20:(2):1994;127-141.
17. Mandrioli D., Morzenti A., Pezze M., Pietro P.S., Silva S. Formal Methods for Real-time Computing. A Petri net and logic approach to the specification and verification of real time systems:1996;Wiley, New York.
18. Clarke E., Wing J. Formal methods: State of the art and future. ACM Comput. Surv. 28:(4):1996;626-643.
19. Abadi M., Lamport L. The existence of refinement mappings. Theoretical Computer Sci. 82:(2):1991;253-284.
20. Abadi M., Lamport L. Composing specifications. ACM Trans. Programming Languages and Systems. 15:(1):1993;73-130.
21. Abadi M., Lamport L. Conjoining specifications. ACM Trans. Programming Languages and Systems. 17:(3):1995;507-534.
22. Athans M. Command and control (C2) theory: a challenge to control science. IEEE Trans. on Automatic Control. AC-32:(4):1987;286-293.
23. Gerber K., Kang D., Hong S., Saksena M. Formal Methods for Real-time Computing. A process algebra method for the specification and analysis of real-time system:1996;Wiley, New York.
24. X. He, W. Yao, Translating hierarchical predicate transition nets into CC++ program skeletons, Proceedings of the 21st International Computer Software and Application Conference (COMPSAC'97), Washington, DC, 1997, pp. 64-69.
25. X. He, F. Zeng, Y. Deng, Specifying software architectural connectors in SAM, Proceedings of 11th International Conference on Software Engineering and Knowledge Engineering, Kaiserslautern, Germany, 1999 (submitted).
26. S. Lewandowski, X. He, A Java framework for implementing hierarchical predicate transition nets, Proceedings of 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, 1998.