What are X-machines?

Formal Aspects of Computing

Volumn 12, Issue 6, 2000, Pages 418-422

  Holcombe, Mike ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042279886     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070002     Document Type: Article

References (88)

1. Eilenberg, S.: 'Automata, Languages and machines', Volume A. Academic Press, 1974.
2. Holcombe, M.: 'Systems, machines and algebra', BCS-FACS (6): 1984.
3. Holcombe, M.: 'Formal methods in the specification of the human-machine interface', Intl C.I.S. J. 1(2): 1987, 24-34.
4. Holcombe, M.: 'Goal-directed task analysis', Intl C.I.S. J. 1(4): 1987, 14-22.
5. Stannett, M.: 'An organisational approach to decision-making in command systems'. Intl C.I.S. J. 1, 1987, 23-34.
6. Holcombe, M.: 'Algebraic techniques in system specification', Bull. Irish Math. Soc. 21, 1988, 13-28.
7. Holcombe, M.: 'X-machines as a basis for dynamic systems specification', Software Engineering Journal 3(2): 1988, 69-76.
8. Holcombe, M.: 'Software Engineering, in Trends in Information Technology'. Ed. D. Linkens and R. Nicolson. Peregrinus, 1990, pp. 17-36.
9. Stannett, M.: 'Implications of X-machines and the Halting Problem: Building a super-Turing machine for computational AI', AISB Quarterly 74.
10. Stannett, M.: 'X-machines and the Halting Problem: Building a super-Turing machine', Formal Aspects of Computing 2, 331-41.
11. Stannett, M.: 'An Introduction to post-Newtonian and non-Turing Computation', Technical Report, Department of Computer Science, University of Sheffield, CS-91-02.
12. Clarke, S.: 'The Modelling and Evaluation of the Human-Computer Interface', PhD thesis, University of Sheffield, 1991.
13. Laycock, G.: 'The Theory and Practice of Specification-Based Software Testing', PhD thesis, University of Sheffield, 1992.
14. Holcombe, M.: 'An integrated methodology for the formal specification, verification and testing of systems', Proc. Eurostar 93, London.
15. Holcombe, M.: 'From VLSI through machine models to cellular metabolism', in R. Paton, Computing with biological metaphors Chapman and Hall.
16. Holcombe, M. and Paton, R.: 'Computational models of cellular information systems', IEE Coll. Molecular Bioinformatics, London, 3/1-3/5.
17. Paton, R. and Holcombe, M.: 'Computational models of cellular information systems', in Advances in Molecular Bioinformatics, ed. S. Schulze-Kremer, IOS Press.
18. Duan, Z., Holcombe, M. and Linkens, D.: 'Timed interval temporal logic and the modelling of hybrid systems', Pro. Eur. Simulation Multi-Conference, Barcelona, 534-541.
19. Fairtlough, M., Holcombe, M., Ipate, F., Jordan, C., Laycock, G. and Duan, Z.: 'Using an X-machine to model a video cassette recorder', Current issues in Electronic modelling 3, 141-151.
20. Duan, Z., Holcombe, M. and Linkens, D. A.: 'Modelling of a Soaking Pit Furnace in Hybrid Machines', Systems Analysis, Modelling, and Simulation. 18, 153-157.
21. Duan, Z. H., Holcombe, M. and Linkens, D. A.: 'Specification of a Soaking Pit System in Parallel Hybrid Machines', in Proceedings of the 21 Euromicro Conference, IEEE/CS, pp. 241-247, Como, Italy, September 4-7.
22. Holcombe, M., Ipate, F. and Grondoudis, A.: 'Complete functional testing of safety critical systems'. Proc. IFAC Workshop on Emerging Control Technologies. Florida, 343-358.
23. Ipate, F.: 'Theory of X-machines and Applications in Specification and Testing', PhD Thesis, University of Sheffield.
24. Bell, A. and Holcombe, M.: Computational models of cellular processing, Proc. Conf. on Information Processing in Cells and Tissues '95. Liverpool, 171-184.
25. Ipate, F.: 'X-machine Based Testing', in Proceedings of the 10th International Conference on Control Systems and Computer Science, Vol. 2, Bucharest, 262-272.
26. Barnard, J., Theaker, C., Whitworth, J. and Woodward, M.: 'Real-time communicating X-machines for the formal design of real-time systems', Proceedings of DARTS '95, Universite Libre, Brussels, Belguim, November 9-11th.
27. Berki, E. and Novakovic, D.: 'Towards an Integrated Specification Environment (ISE)', In the Proc. of the 5th Hellenic International Conference of Informatics, Athens, GREECE.
28. Ipate, F.: 'X-machine based testing', in Proceedings of 10th Int. Conf. Control Systems and Computer Science, Vol. 2, Bucharest, pp. 262-272.
29. Duan, Z. H. and Holcombe, M.: 'From Requirements to Specifications for Hybrid Systems', Proceedings of the International Symposium on Future Software Technology, Xian, China, Oct 9-11, 239-246.
30. Ipate, F. and Holcombe, M.: 'Another look at computability', Informatica, 20, 359-372.
31. Bell, A. and Holcombe, M.: 'Computational models of cellular processing', in Computation in Cellular and Molecular Biological Systems. M. Holcombe, R. Paton and R. Cuthbertson (Eds.), World Scientific Press, Singapore.
32. Barnard, J., Whitworth, J. and Woodward, M.: 'Communicating X-machines', Information and Software Technology, 38, 401-407.
33. Duan, Z.: 'Modelling of Hybrid Systems', PhD thesis, University of Sheffield.
34. Berki, E. and Georgiadou, E.: 'Towards resolving Data Flow Diagramming Deficiencies by using Finite State Machines', 5th Software Quality Conference, Universities of Abertay Dundee and Humberside, ISBN: 1 899796 02 9, Scotland, UK.
35. Georgiadou, E. and Berki, E.: 'Improving Systems Specification Understandability by Using a Hybrid Approach', First International Conference on Software Process Improvement, Research, Education and Training, (INSPIRE '96), The British Computer Society, ISBN: 1899621113, Bilbao, SPAIN.
36. Bogdanov, K., Fairtlough, M., Holcombe, M., Ipate, F. and Jordan, C.: 'X-machine Specification and Refinement of Digital Devices', Department of Computer Science Internal Report, CS-97-16, University of Sheffield.
37. Ipate, F. and Holcombe, M.: 'An Integration Testing method which is proved to find all faults'. Intl J. Comp. Math. 63, 159-178.
38. Holcombe, M.: 'When testing is done'. Proc. EuroSTAR97, Edinburgh.
39. Ipate, F.: 'Is software testing effective?', in Proceedings of the 3rd International Symposium of Economic Informatics, Bucharest, 173-179.
40. Siakas, K., Berki, E., Georgiadou, E. and Sadler, C.: 'The Complete Alphabet of Quality Information Systems': Conflicts and Compromises ", 7th World Congress on Total Quality Management (TQM '97), McGraw-Hill, ISBN 0-07-463186-1, N. Delhi, INDIA.
41. Berki, E., Georgiadou, E. and Siakas, K.: 'A Methodology is as strong as the degree of user involvement it supports'. Proceedings of the International Symposium on Software Engineering in the Universities (ISSEU '97), Rovaniemi, FINLAND.
42. Bavan, S., Berki, E., Georgiadou, E., Milankovic-Atkinson, M. and Walker, M.: 'Towards a Formal Specification of an Object-Oriented Parallel Architecture', International Conference for Parallel and Distributed Processing Techniques and Applications (PDPTA), Volume II, ISBN: 0-9648666-6-8, Las Vegas, USA.
43. Ipate, F.: 'Is Software Testing Effective?' in proceedings of 3rd. Int. Symposium of Economic Informatics, Bucharest, pp. 173-179.
44. Ipate, F. and Holcombe, M.: 'A method for refining and testing generalised machine specifications'. Intl J. Comp. Math. 68, 197-219.
45. Ipate, F. and Holcombe, M.: 'Specification and testing using generalised machines': a presentation and a case study. Software testing, Verification and Reliability, 8, 61-81.
46. Bogdanov, K. and Holcombe, M.: 'Automated Test Set Generation for Statecharts', in Applied Formal Methods FM-Trends 98 (Boppard, Germany), D. Hutter, W. Stephan, P. Traverso and M. Ullmann (Editors), Springer LNCS Series, 1641.
47. Bell, A. and Holcombe, M.: 'Computational models of immunological systems'. In Information Processing in Cells and Tissues, (eds.) M. Holcombe and R. Paton, 213-226. Plenum Press.
48. Holcombe, M. and Ipate, F.: 'Correct systems - building a business process solution'. Springer, Applied Computing Series.
49. Bell, A.: 'Formal Computational Models of Biological Systems', PhD thesis, University of Sheffield.
50. Barnard, J.: 'COMX: a design methodology using communicating X-machines', Inform. Software Tech. 40(5-6): 271-280.
51. Berki, E. and Georgiadou, E.: 'A Comparison of Qualitative Frameworks for Information Systems Development Methodologies', Proceedings of The Twelfth International Conference of The Israel Society for Quality, Jerusalem, ISRAEL.
52. Balanescu, T., Cowling, A. J., Georgescu, H., Gheorghe, M., Holcombe, M. and Vertan, C.: 'Communicating Stream X-machines Systems are no more than X-machines'. Journal of Universal Computer Science, Volume 5, no. 9, 494-507.
53. Kefalas, P. and Kapeti, E.: 'A Design Language and Tool for X-Machines Specification in Advances in Informatics', edited by D. I. Fotiadis, S. D. Nikolopoulos, World Scientific.
54. Barnard, J.: 'Object COMX: Methodology using communicating X-machine objects', J. Object-oriented Prog. 12(7): 12-17.
55. Ipate, F.: 'Using Hybrid Machines for specifying Hybrid Software Systems', in Proceedings of the 4th International Symposium of Economic Informatics, Bucharest, 679-686.
56. Ipate, F.: 'Using Hybrid Machines for Specifying Hybrid Software Systems', in Proceedings of 4th Int. Symp. of Economic Informatics, Bucharest, pp. 679-686.
57. Ipate, F.: 'A method for testing non-deterministic X-machines that finds all faults', to appear in Proc. CAIM 1999, Pitesti.
58. Balanescu, T., Gheorghe, M., Holcombe, M.: 'Deterministic stream X-machines based on grammar systems in Words', sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume I, Ed. C. Martin-Vide and V. Mitrana, Kluwer.
59. Ipate, F. and Holcombe, M.: 'Testing non-deterministic X-machines', in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume II, Ed. C. Martin-Vide and V. Mitrana, Kluwer.
60. Holcombe, M.: 'X-machines in Computing', Biology and Art. Proceedings, Grammar Systems 2000, ed. R. Freund and A. Kelemenova, Silesian University at Opava, Czech Republic, ISBN 80-7248-067-7, 343-346.
61. Balanescu, T., Gheorghe, M. and Holcombe, M.: 'A subclass of stream X-machines with underlying distributed grammars', Proceedings, Grammar Systems 2000, ed. R. Freund and A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 93-112.
62. Duan, Z., Holcombe, M., Bell, A.: 'A logic for Biological Systems', Biosystems, 55(1-3): 93-105.
63. Eleftherakis, G.: 'Model Checking and X-machine Specification', Technical Report, CS-02/00, City College, Thessaloniki, Greece.
64. Kehris, E., Eleftherakis, G. and Kefalas, P.: 'Using X-machines to Model and Test Discrete Event Simulation Programs', in Proceedings of the 4th World MultiConference on Circuits, Systems, Communications and Computers (CSCC), Athens.
65. Kefalas, P. and Sotiriadou, A.: 'Transforming X-machines to Z Specifications', Technical Report, CS-06/00, City College, Thessaloniki, Greece.
66. Kefalas, P.: 'X-machine Description Language': User Manual, version 1.6. Technical Report, CS-07/00, City College, Thessaloniki, Greece.
67. Kefalas, P. and Kapeti, E.: 'A Design Language and Tool for X-machine Specification', in Advances in Informatics, (D. I. Fotadis and S. D. Nikolopoulos eds.), World Scientific, 134-145.
68. Georgescu, H. and Vertan, C.: 'A New Approach to Communicating Stream X-machines', Journal of Universal Computer Science, 6(5): 490-502.
69. Kefalas, P.: 'Automatic translation from X-machines to Prolog', Technical Report, CS-01/00, City College, Thessaloniki, Greece.
70. Bogdanov, K. and Holcombe, M.: 'Statechart Testing Method for Aircraft Control', To appear, Software Testing, Verification and Reliability.
71. Kefalas, P.: 'Modelling an Agent Reactive Architecture with X-machines', Technical Report, CS-01/00, City College, Thessaloniki, Greece.
72. Kefalas, P., Eleftherakis, G. and Kehris, E.: 'Communicating X-machines: a Practical Approach for Modular Specification of Large Systems', Technical Report, CS-09/00, City College, Thessaloniki, Greece.
73. Vanak, S.: 'X-Machines + L-Systems = XL-Systems', International Conference on Computer Graphics 2000, Geneva, Switzerland, 127-134.
74. Bogdanov, K.: 'Automated Testing of Harel's Statecharts', PhD thesis, University of Sheffield.
75. [Ch-S00] Chambers, S.: 'Applying X-Machines in the Retrospective Analysis and Testing of Computer Software', PhD thesis, University of Sheffield.
76. [Ch-C00] Chambers, C.: 'Industrial Strength Techniques for the Development of PLC-Based Safety-Related Control and Protection Systems', PhD thesis, University of Sheffield.
77. Grondoudis, A.: 'X-Machine Based Specification and Design for Testing of the CATV Protocol', PhD thesis, University of Sheffield.
78. Holcombe, M., Balanescu, T., Gheorghe, M. and Radovici-Marculescu, P.: 'On testing generalized stream X-machines', in Gh Paun (Ed), Recent topics in Mathematical Computational Linguistics, Romanian Academy Publishing House, 130-141.
79. Ipate, F. and Popescu, M.: 'A Z Type Language for Specifying X-Machines', in Proceedings of CITTI, Constanta, Romania, 82-88.
80. Ipate, F.: 'A Theory of Testing for X-machines', in Proceedings of CAIM 2000 (Conference on Applied and Industrial Mathematics), Pitesti, Romania.
81. Berki, E.: 'Process Metamodels and Method Engineering in Software Process Improvement', in the Proc. of the BCS INSPIRE IV Conference: Training and Teaching for the Understanding of Software Quality, ISBN 1-902505-36-0, Sep. 2000, University of North London, UK.
82. Hierons, R. and Harman, M.: 'Testing against non-deterministic stream X-machines'. Formal Aspects of Computing, 12(6): 423-442, 2000.
83. Gheorghe, M.: 'Generalised stream X-machines and cooperating distributed grammar systems'. Formal Aspects of Computing, 12(6): 459-472, 2000.
84. Balanescu, T.: 'Generalised stream X-machines with output delimited type'. Formal Aspects of Computing, 12(6): 473-484, 2000.
85. Ipate, F. and Holcombe, M.: 'Generating test sequences from non-deterministic X-machines'. Formal Aspects of Computing, 12(6): 443-458, 2000.
86. Cowling, A., Georgescu, H. and Vertan, C.: 'A structured way to use channels for communication in X-machine systems'. Formal Aspects of Computing, 12(6): 485-500, 2000.
87. Holcombe, M., Ipate, F. and Bogdanov, K.: 'Total Software Testing', to appear in Proc. ICSTEST, Bonn, Germany.
88. Eleftherakis, G. and Kefalas, P.: 'Model Checking Safety-Critical Systems Specified as X-Machines', to appear in Annals of Bucharest University.