Testing collaborative agents defined as stream X-machines with distributed grammars

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

Volumn 2159, Issue , 2001, Pages 296-305

  Bălănescu, Tudor ^a   Gheorghe, Marian ^b   Holcombe, Mike ^b   Ipate, Florentin ^a  

^a UNIVERSITY OF PITESTI   (Romania)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE AGENTS;

COLLABORATIVE AGENTS; DESIGN FOR TEST; PRODUCTION RULES; STREAM X-MACHINES; TESTING SOFTWARE;

SOFTWARE TESTING;

EID: 84906543271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (22)

1. A. Aho, J. Ullman, The Theory of Parsing, Translation and Compiling, Vol. I: Parsing, Prentice-Hall, Englewood Cliffs, N.J, 1972.
2. T. Balanescu, Generalized stream X-machines with output delimited type, Formal Aspects of Computer Science, accepted, 2001.
3. T. Balanescu, T. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan, Communicating Stream X- Machines are more than X- Machines, J. of Universal Computer Sci., 5, 9(1999), 492-507.
4. T. Balanescu, H. Georgescu, M. Gheorghe, Stream X- machines with underlying Distributed Grammars, submitted 2001.
5. T. Balanescu, M. Gheorghe, M. Holcombe, A Subclass of Stream X-machines with Underlying Distributed Grammars, in Proceedings of the International Workshop Grammar Systems 2000, R. Freund and A. Kelemenova (eds), Bad Ischl, Austria, 2000, 93-111.
6. G. Bernot, M. Gaudel, B. Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, 6(1991), 387-405.
7. T.S. Chow, Testing software design modelled by finite-state machines, IEEE Transactions on Software Engineering, 4, 3(1978), 178-187.
8. E. Csuhaj-Varju, J. Dassow, J. Kelemen, Gh. Paun, Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach, London, 1994.
9. S. Eilenberg, Automata, languages, and machines, Vol. A, Academic Press, 1974.
10. M. Gheorghe, Generalized Stream X- machines and Cooperating Distributed Grammar Systems, Formal Aspects of Computer Science, accepted, 2001.
11. A. Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962.
12. M. Holcombe, X- machines as a basis for dynamic system specification, Software Engineering Journal 3(1988), 69-76.
13. M. Holcombe, Computational models of cells and tissues - machines, agents and fungal infection, presented at UCL, London 15-16 Feb, 2001, submitted to Briefings in Bioinformatics.
14. M. Holcombe, F. Ipate, Correct Systems: Building a Business Process Solution, Springer Verlag, 1998.
15. F. Ipate, M. Holcombe, An Integration Testing Method That is Proved to Find all Faults, Intern. J. Computer Math, Vol 69 (1997), 159-178.
16. F. Ipate, M. Holcombe, Generating test sets from non-deterministic stream Xmachines, Formal Aspects of Computer Science, accepted, 2001.
17. P. Kefalas, Modelling an Agent Reactive Architecture with X- Machines, Technical Report, CITY Liberal Studies, 2000.
18. Formal Models of Agents, (J-J. Ch Meyer, P-Y. Schobbens eds), Springer Verlag, LNAI 1760, 1999.
19. Gh. Paun, Computing with membranes, Journal of Computer and System Sciences, 61, 1 (2000), 108-143.
20. Grammatical models of multi-agent systems, (Gh. Paun, A. Salomaa eds), Topics in Computer Mathematics 8, Gordon and Breach Science, Amsterdam, 1999.
21. A. S. Rao and M. P. Georgeff, BDI Agents: From Theory to Practice, in Proceedings of the 1st International Conference on Multi-Agent Systems, San Francisco, USA, 1995, 312-319.
22. M. Wooldridge, N.R. Jennings, Intelligent Agents - Theory and Practice, Knowledge Engineering Review, 10, 2(1995), 115-152.