Communicating X-machines: From theory to practice

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2563, Issue , 2003, Pages 316-335

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

^a UNIVERSITY OF SHEFFIELD   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PERIPHERAL EQUIPMENT; DIGITAL STORAGE; FORMAL METHODS; LARGE SCALE SYSTEMS; LOGIC CIRCUITS; SHAFTS (MACHINE COMPONENTS);

FORMAL MODEL; MODULAR DEVELOPMENT; NON-TRIVIAL; NON-TRIVIAL TASKS; STAND -ALONE; SYSTEM MODELING; X-MACHINES;

MACHINE COMPONENTS;

EID: 35248892577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-38076-0_21     Document Type: Article

References (18)

1. Eilenberg S.: "Automata Machines and Languages", Vol.A, Academic Press, 1974.
2. Holcombe M.: "X-machines as a Basis for Dynamic System Specification", Software Engineering Journal, Vol.3, No.2, pp.69-76, 1988.
3. Clarke E. and Wing J. M.: "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, Vol.28, No.4, pp.626-643, 1996.
4. Ipate F. and Holcombe M.: "Specification and Testing using Generalised Machines: a Presentation and a Case Study", Software Testing, Verification and Reliability, Vol.8, pp.61-81, 1998.
5. Kehris E., Eleftherakis G. and Kefalas P.: "Using X-machines to Model and Test Discrete Event Simulation Programs", In "Systems and Control: Theory and Application" by N. Mastorakis (ed.), World Scientific, pp.163-168, 2000.
6. Holcombe M. and Ipate F.: "Correct Systems: Building a Business Process Solution" , Springer Verlag, London, 1998.
7. Eleftherakis G., Kefalas P. and Sotiriadou A.: "XmCTL: Extending Temporal Logic to Facilitate Formal Verification of X-Machines Models", Annales Univerisitate Bucurest Matematica Informatica, Annul L, pp.79-95, 2002.
8. Balanescu T., Cowling A. J., Gheorgescu H., Gheorghe M., Holcombe M. and Vertan C.: "Communicating Stream X-machines Systems are no Mmore than X-machines", Journal of Universal Computer Science, Vol.5, No.9, pp.494-507, 1999.
9. Gheorgescu H. and Vertan C.: "A New Approach to Communicating X-machines Systems", Journal of Universal Computer Science, Vol.6, No.5, pp.490-502, 2000.
10. Barnard J.: "COMX: a Design Methodology using Communicating X-machines", Information and Software Technology, Vol.40, pp.271-280, 1998.
11. Kefalas P., Eleftherakis G., Holcombe M. and Gheorghe M.: "Simulation and Verification of P Systems using Communicating X-Machines", Biosystems, to appear.
12. Kefalas P. and Kapeti E.: "A Design Language and Tool for X-machines Specification", In "Advances in Informatics" by D. I. Fotiadis and S. D. Nikolopoulos (eds.), World Scientific, pp.134-145, 2000.
13. Kefalas P.: "Automatic Translation from X-machines to Prolog", TR-CS01/00, Dept. of Computer Science, CITY Liberal Studies, 2000.
14. Kefalas P. and Sotiriadou A.: "A Compiler that Transforms X-machines Specification to Z", TR-CS06/00, Dept. of Computer Science, CITY Liberal Studies, 2000.
15. Kefalas P., Eleftherakis G. and Kehris E.: "Modular Modelling of Large Scale Systems using Communicating X-Machines", Proceedings 8th Panhellenic Conference in Informatics, pp.20-29, 2001
16. Georghe M., Holcombe M. and Kefalas P.: "Computational Models for Collective Foraging", BioSystems, Vol.61, pp.133-141, 2001.
17. Kefalas P.: "Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours", Proceedings 2nd Hellenic Conference on AI (SETN-02), pp.461-472, 2002.
18. Kefalas P., Holcombe M., Eleftherakis G. and Gheorghe M.: "A Formal Method for the Development of Agent-Based Systems", In "Intelligent Agent Software Engineering", by V. Plekhavona (ed.), Idea Group Publishing, pp.68-98, 2003.