COMX: A design methodology using communicating X-machines

Information and Software Technology

Volumn 40, Issue 5-6, 1998, Pages 271-280

  Barnard, Judith ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

Communicating X machine; COMX; Formal specification; Verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONCURRENCY CONTROL; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; INFORMATION THEORY; MATHEMATICAL MODELS; STATE SPACE METHODS; TREES (MATHEMATICS);

COMMUNICATING X-MACHINES; FORMAL SPECIFICATION;

SOFTWARE ENGINEERING;

EID: 0032115871     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(98)00053-6     Document Type: Article

References (15)

1. J. Barnard, COMX: A methodology for the formal design of computer systems using communicating X-machines, Ph.D. thesis, School of Computing, Staffordshire University, 1996.
2. J. Barnard, J. Whitworth, M. Woodward, Communicating X-machines, Journal of Information and Software Technology 38 (6) (1996) 401-407.
3. S. Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.
4. J. Barnard, X-machine specification, verification and testing techniques, M.Sc. thesis, Department of Computer Science, University of Sheffield, 1993.
5. C. Petri, Kommunikation mit Automaten, Ph.D. thesis, University of Bonn, 1962.
6. K. Jensen, An introduction to the theoretical aspects of coloured Petri Nets, in: J.W. De Bakker, W.P. De Roever, G. Rozenberg (Eds.), A Decade of Concurrency, Lecture Notes in Computer Science, Vol. 803, Springer, Berlin, 1994, pp. 230-272.
7. R. Valette, Analysis of Petri Nets by stepwise refinements. Journal of Computer and System Sciences 18 (1979) 35-46.
8. D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming 8 (1987) 231-274.
9. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, S. Shtull-Trauring, M. Trakhtenbrot, STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions of Software Engineering 16 (4) (1990) 403-414.
10. O. Færgemand, A. Olsen, Introduction to SDL-92, Computer Networks and ISDN Systems 26 (1994) 1143-1167.
11. R. Braek, O. Haugen, Engineering Real-Time Systems, Prentice Hall, Englewood Cliffs, NJ, 1993.
12. P.C. Masiero, J.C. Maldonado, I.G. Boaventura, A reachability tree for statecharts and analysis of some properties, Information and Software Technology 36 (10) (1994) 615-624.
13. A. Valmari, A stubborn attack on state explosion, in: Lecture Notes in Computer Science 531, Springer, Heidelberg, 1990, pp. 156-165.
14. A. Alderson, J. Barnard, On making a crossing safe, Technical Report SOCTR/97/01, School of Computing, Staffordshire University.
15. J. Barnard, C.J. Theaker, J. Whitworth, M. Woodward, Real-time communicating X-machines for the formal design of real-time systems, in: Proceedings of DARTS '95, University Libre de Brussels, 9-11 November, 1995.