Communicating X-machines: A practical approach for formal and modular specification of large systems

Information and Software Technology

Volumn 45, Issue 5, 2003, Pages 269-280

  Kefalas, Petros ^a   Eleftherakis, George ^a   Kehris, Evangelos ^b  

^a UNIVERSITY OF SHEFFIELD   (Greece)

^b TECHNOLOGICAL EDUCATIONAL INSTITUTE OF SERRES   (Greece)

Author keywords

Communicating X machines; Formal methods; X machines

Indexed keywords

COMPUTER SOFTWARE; DATA STRUCTURES; SEMANTICS; SOFTWARE ENGINEERING;

FINITE STATE MACHINES (FSM);

COMPUTER SYSTEMS;

EID: 0037380621     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00018-1     Document Type: Article

References (28)

1. Young W.D. Formal methods versus software engineering: is there a conflict? Proceedings of the Fourth Testing, Analysis, and Verification Symposium. 1991;188-189.
2. Clarke E., Wing J.M. Formal methods: state of the art and future directions. ACM Computing Surveys. 28:(4):1996;626-643.
3. Spivey M. The Z Notation: A Reference Manual. 1989;Prentice-Hall, Englewood Cliffs, NJ.
4. Jones C.B. Systematic Software Development using VDM. Second ed :1990;Prentice-Hall, Englewood Cliffs, NJ.
5. Futatsugi K., Goguen J., Jouannaud J.-P., Meseguer J. Principles of OBJ2. Reid B. Proceedings of the 12th ACM Symposium on Principles of Programming Languages. 1985;52-66.
6. Wulf W.A., Shaw M., Hilfinger P.N., Flon L. Fundamental Structures of Computer Science. 1981;Addison-Wesley, Reading, MA.
7. Reisig W., Petri Nets-An Introduction, EATCS Monographs on Theoretical Computer Science. vol. 4:1985;Springer, Berlin.
8. Harel D. Statecharts:a visual approach to complex systems. Science of Computer Programming. 8:(3):1987;231-274.
9. Eilenberg S. Automata Machines and Languages. vol. A:1974;Academic Press, New York.
10. Holcombe M. X-machines as a basis for dynamic system specification. Software Engineering Journal. vol. 3:(2):1988;69-76.
11. Holcombe M., Ipate F. Correct Systems: Building a Business Process Solution. 1998;Springer, London.
12. Ipate F., Holcombe M. Specification and testing using generalised machines: a presentation and a case study. Software Testing, Verification and Reliability. 8:1998;61-81.
13. Kehris E., Eleftherakis G., Kefalas P. Using X-machines to model and test discrete event simulation programs. Mastorakis N. Systems and Control: Theory and Applications. 2000;163-168 World Scientific and Engineering Society Press.
14. Chow T.S. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering. SE-4:(3):1978;178-187.
15. Eleftherakis G., Kefalas P., Sotiriadou A. XmCTL: extending temporal logic to facilitate formal verification of X-machines. Matematica-Informatica, Analele Universitatii Bucuresti. 50:2002;79-95.
16. Eleftherakis G., Kefalas P. Towards model checking of finite state machines extended with memory through refinement. Antoniou G., Mastorakis N., Panfilov O. Advances in Signal Processing and Computer Technologies. 2001;321-326 World Scientific and Engineering Society Press.
17. Balaneascu T., Cowling A.J., Gheorgescu H., Gheorghe M., Holcombe M., Vertan C. Communicating stream X-machines systems are no more than X-machines. Journal of Universal Computer Science. 5:(9):1999;494-507.
18. Cowling A.J., Gheorgescu H., Vertan C. A Structured Way to use Channels for Communication in X-machines Systems. Formal Aspects of Computing. 12:2000;485-500.
19. Barnard J. COMX: a design methodology using communicating X-machines. Journal of Information and Software Technology. 40:1998;271-280.
20. Kefalas P., Kapeti E. A design language and tool for X-machines specification. Fotiadis D.I., Nikolopoulos S.D. Advances in Informatics. 2000;134-145 World Scientific, Singapore.
21. P. Kefalas, Automatic translation from X-machines to Prolog, Technical Report TR-CS01/00, Department of Computer Science, CITY Liberal Studies, 2000.
22. P. Kefalas, A. Sotiriadou, A compiler that transforms X-machines specification to Z, Technical Report TR-CS06/00, Department of Computer Science, CITY Liberal Studies, 2000
23. P. Kefalas, XMDL User Manual, Version 1.6, Technical Report TR-CS07/00, Department of Computer Science, CITY Liberal Studies, 2000.
24. P. Kefalas, G. Eleftherakis, M. Holcombe, M. Gheoghe, Simulation and verification of P systems through communicating X-machines, BioSystems, to be published.
25. F. Ipate, T. Balanescu, P. Kefalas, M. Holcombe, G. Eleftherakis, A new model for communicating X-machines, Romanian Journal of Information Technology, to be published.
26. Kefalas P., Eleftherakis G., Kehris E. Modular modeling of large-scale systems using communicating X-machines. Proceedings of the Eighth Panhellenic Conference in Informatics, Cyprus. 2001;20-29.
27. Georghe M., Holcombe M., Kefalas P. Computational models for collective foraging. BioSystems. 61:2001;133-141.
28. Kefalas P. Formal modelling of reactive agents as an aggregation of simple behaviours. Vlahavas I.P., Spyropoulos C.D. Lecture Notes in Artificial Intelligence 2308. 2002;461-472 Springer, Berlin.