Validating MAS simulation models with mutation

Multiagent and Grid Systems

Volumn 3, Issue 2, 2007, Pages 225-243

  Merelli, Emanuela ^a   Young, Michal ^b  

^a UNIVERSITY OF CAMERINO   (Italy)

^b UNIVERSITY OF OREGON   (United States)

Author keywords

Multi agent systems (MAS); Mutation; Systems biology

Indexed keywords

AUTONOMOUS AGENTS; BIOINFORMATICS; BIOLOGICAL SYSTEMS; COMPUTATIONAL METHODS; VERIFICATION;

AGENT BASED SIMULATION; AGENT-BASED MODEL; BIOLOGICAL MUTATIONS; CARBOHYDRATE OXIDATIONS; MODELING FIDELITY; MUTATION; SOFTWARE VALIDATION; SYSTEMS BIOLOGY;

MULTI AGENT SYSTEMS;

EID: 85006265944     PISSN: 15741702     EISSN: 18759076     Source Type: Journal    
DOI: 10.3233/MGS-2007-3206     Document Type: Article

References (24)

1. E. Berluti, F. Corradini, S. Leli and E. Merelli, Glicolisi e fermentazioni produzione di energia nelle cellule (glycolisis and fermentation in cellular energy production). Technical Report TR-CS-01-06, University of Camerino, Department of Mathematics and Computer Science, 2006. http://www.cs. unicam.it/merelli/publications/TR-CS0106.pdf.
2. B. Boehm, Software Engineering Economics, Prentice Hall, 1981.
3. T.A. Budd, R.A. DeMillo, R.J. Lipton and F.G. Sayward, Theoretical and empirical studies on using program mutation to test the functional correctness of programs, in POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACMPress, New York, NY, USA, 1980, 220-233.
4. K.P. Burnham, D.R. Anderson, G. White, C. Brownie and K.H. Polock, Design and analysis methods for fish survival experiments based on release-recapture, volume 5. American Fisheries Society Monograph, 1987.
5. N. Cannata, F. Corradini, E. Merelli, A. Omicini and A. Ricci, An agent-oriented conceptual framework for biological systems simulation, Transaction on Computation System Biology 3 (2005), 105-122.
6. F. Corradini, E. Merelli and M. Vita, A multi-agent system for modelling the oxidation of carbohydrate cellular process, in Proceeding of Int. Conference on Computational Science and its Applications, Modelling Complex Systems, volume 3481 of Lecture Notes in Computer Science, Springer Verlag, 2005, 1265-1273.
7. M. d’Inverno and R. Saunders, Agent-based modelling of stem cell organisation in a niche. In Springer, editor, Engineering Self-Organising Systems, volume 3464 of Lecture Notes in Artificial Intelligence, 2005, 52-68.
8. R. Garret and C. Grisham, Biochemistry, Sunder College Publishing, 1995.
9. P. Gonzalez, M. Cardenas, A.D. Camacho, O. Rosas and J.L. Otero, Cellulat: an agent-based intracellular signalling model, BioSystem 68 (2003), 171-185.
10. R.G. Hamlet, Testing programs with the aid of a compiler, IEEE Trans Software Eng 3(4) (1977), 279-290.
11. L.J. Jagadeesan, A. Porter, C. Puchol, J.C. Ramming and L.G. Votta, Specification-based testing of reactive software: Tools and experiments, in: Proceedings of the 19st International Conferece on Software Engineering (ICSE’97), S. Berlin Heidelberg New York, editor, 1997, 525-537.
12. N. Jennings, An agent-based approach for building complex software systems, Communication of ACM44(6) (April 2001), 35-41.
13. H. Kitano, Systems biology: A brief overview, Science 295 (March 2002), 1662-1664.
14. A.M. Law, How to build valid and credible simulation models, in Proceedings of the 2005 Winter Simulation Conference (WSC05), INFORMS Simulation Society, 2005, 24-32.
15. R. Milner, Communication and Concurrency, Prentice Hall, 1989.
16. R. Milner, Communication and mobile system: the π-calculus, Cambridge University Press, 1999.
17. H. Ogata, S. Goto, K. Sato, W. Fujibuchi, H. Bono and M. Kanehisa, KEGG: Kyoto Encyclopedia of Genes and Genomes, Nucl Acids Res 27(1) (1999), 29-34.
18. A. Omicini, A. Ricci, M. Viroli, C. Castelfranchi and L. Tummolini, Coordination artifacts: Environment-based coordination for intelligent agents, in: 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), volume 1, N.R. Jennings, C. Sierra, L. Sonenberg and M. Tambe, eds, New York, USA, 19-23 July 2004, 286-293. ACM.
19. D.L. Parnas, On the criteria to be used in decomposing systems into modules, Commun ACM 15(12) (1972), 1053-1058.
20. R.G. Sargent, Verification and validation of simulation models, in Proceedings of the 2005 Winter Simulation Conference (WSC05), INFORMS Simulation Society, 2005, 130-143.
21. D. Walker, J. Southgate, G. Hill, M. Holcombe, D.R. Hose, S.M. Wood, S. Mac Neil and R.H. Smallwood, The epitheliome:agent-based modelling of the social behaviour of cells, Biosystems 76(1-3) (August-October 2004), 89-100.
22. P. Wegner, Coordination as constrained interaction, in: Coordination Languages and Models-Proceedings of the 1st International Conference (COORDINATION’96), volume 1061 of LNCS, P. Ciancarini and C. Hankin, eds, Springer-Verlag, Cesena (I), April 15-17, 1996, pp. 305-320.
23. F. Zambonelli and A. Omicini, Challenges and research directions in agent-oriented software engineering, Autonomous Agents and Multi-Agent Systems 9(3) (Nov. 2004), 253-283.
24. A. Zanella, E. Fermo, P. Bianchi and G. Valenteni, Red cell pyruvate kinase deficiency: Molecular and clinical aspects, British Journal of Haematology 130 (July 2005), 1-11.