Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems

Proceedings of the 2007 IEEE Swarm Intelligence Symposium, SIS 2007

Volumn , Issue , 2007, Pages 348-355

  Rouff, Christopher A ^a   Hinchey, Michael G ^b   Peña, Joaquin ^c   Ruiz Cortés, Antonio ^c  

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b LOYOLA UNIVERSITY MARYLAND   (United States)

^c UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL METHODS; INTELLIGENT AGENTS; NASA; ROBOTS;

INTELLIGENT SWARMS; ROBOTIC VEHICLES;

SYSTEMS ANALYSIS;

EID: 34548741799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIS.2007.367958     Document Type: Conference Paper

References (33)

1. G. Beni and J. Want. Swarm intelligence. In Proc. Seventh Annual Meeting of the Robotics Society of Japan, pages 425-428, Tokyo, Japan, 1989. RSJ Press.
2. E. Bonabeau, G. Théraulaz, J. Deneubourg, S. Aron, and S. Camazine. Self-organization in social insects. Trends in Ecology and Evolution, 12:188-193, 1997.
3. G. Booch, Object-Oriented Design with Applications. Benjamin/Cummings, Redwood City, CA, 1990.
4. K. Mani Chandy and Misra J. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988.
5. P.E. Clark, S.A. Curtis, and M.L. Rilee. ANTS: Applying a new paradigm to Lunar and planetary exploration. In Proc. Solar System Remote Sensing Symposium, Pittsburgh, Pennsylvania, USA, 20-21 September 2002.
6. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.
7. S.A. Curtis, J. Mica, J. Nuth, G. Marr, M.L. Rilee, and M.K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to Asteroid Belt resource exploration. In Proc. Int'l Astronautical Federation, 51st Congress, October 2000.
8. A. Dardenne, A. van Lamsweerde, and S.Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20:3-50, 1993.
9. D.F. D'Souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading, Mass., 1999.
10. J. Fromm. The Emergence of Complexity. Kassel university press, 2004.
11. M. Hinchey, J. Rash, and C. Rouff. Verification and validation of autonomous systems. In Proc. SEW-26, 26th Annual NASA/IEEE Software Engineering Workshop, pages 136-144, Greenbelt, MD, Nov. 2001. NASA Goddard Space Flight Center, IEEE Computer Society Press.
12. C.A.R. Hoare. Communicating sequential processess. Prentice Hall, 1985.
13. N. Jennings. An agent-based approach for building complex software systems. Comm. of the ACM, 44(4):35-41, 2001.
14. A. Karageorgos and N. Mehandjiev. A design complexity evaluation framework for agent-based system engineering methodologies. In A. Omicini, P. Petta, and J. Pitt, editors, Fourth Int'l Workshop Engineering Societies in the Agents World, volume 3071 of Lecture Notes in Computer Science, pages 258-274. Springer, 2004.
15. E. A. Kendall, Role modeling for agent system analysis, design, and implementation. IEEE Concurrency, 8(2):34-41, April/June 2000.
16. W. Michael and L. Holcombe. X-Machines as a basis for system specification. Software Engineering, 3(2):69-76, 1988.
17. J. Odell. Agents and complex systems. Journal of Object Technology, 1(2):35-45, July-August 2002.
18. J. Odell, H. Parunak, and M. Fleischer. The role of roles in designing effective agent organisations. In A. Garcia, C. Lucenaand, F. Zambonelliand, A. Omiciniand, and J. Castro, editors, Software Engineering for Large-Scale Multi-Agent Systems, number 2603 in LNCS, pages 27-28. Springer-Verlag, 2003.
19. OMG. Software process engineering metamodel, version 1.1, 2005. Available at http://www.omg.org/technology/documents/formal/spem.htm.
20. Object Management Group (OMG). Unified modeling language: Superstructure, version 2.0. Final adopted specification ptc/03-08-02, OMG, August 2003. www.omg.org.
21. H. Van Dyke Parunak and James Odell, Representing social structures in UML, In Jörg P. Müller, Elisabeth Andre, Sandip Sen, and Claude Frasson, editors, Proceedings of the Fifth Int'l Conference on Autonomous Agents, pages 100-101, Montreal, Canada, 2001. ACM Press.
22. J. Peña, On Improving The Modelling Of Complex Acquaintance Organisations Of Agents. A Method Fragment For The Analysis Phase. PhD thesis, University of Seville, 2005.
23. J. Peña, R. Corchuelo, and J. L. Arjona. A top down approach for mas protocol descriptions. In ACM Symposium on Applied Computing SAC'03, pages 45-49, Melbourne, Florida, USA, 2003. ACM Press.
24. J. Peña, M. G. Hinchey, M. Resinas, R. Sterritt, and J. L. Rash. Managing the evolution of an enterprise architecture using a mas-product-line approach. In 5th Int'l Workshop on System/Software Architectures (IWSSA'06), page to be published, Nevada, USA, 2006. CSREA Press.
25. J. Peña, M. G. Hinchey, and Antonio Ruiz-Cortes. Multiagent system product lines: Challenges and benefits. Communications of the ACM, December 2006.
26. J. Peña, R. Levy, and R. Corchuelo. Towards clarifying the importance of interactions in agent-oriented software engineering. Int'l Iberoamerican Jrnl of Al, 8(25):19-28, 2005.
27. C. Rouff, M. Hinchey, W. Truszkowski, and J. Rash. Experiences applying formal approaches in the development of swarm-based space exploration systems. Int'l Journal of on software Tools for Technology Transfer. Special Issue on Formal Methods in Industry, (submitted), 2006.
28. C. A. Rouff, W. F. Truszkowski, M. G. Hinchey, and J. L. Rash. Verification of NASA emergent systems. In Proc. 9th IEEE Int'l Conference on Engineering of Complex Computer Systems, Florence, Italy, April 2004.
29. C. Tofts, Describing social insect behavior using process algebra. Transactions on Social Computing Simulation, pages 227-283, 1991.
30. W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff. NASA's swarm missions: The challenge of building autonomous software. IEEE IT Professional, 6(5):47-52, Sept./Oct. 2004.
31. W. F. Truszkowski, M. G. Hinchey, J. L. Rash, and C. A. Rouff. Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).
32. Alan F.T. Winfield, Jin Sa, Mari-Carmen Fernandez-Gago, Clare Dixon, and Michael Fisher. On formal specification of emergent behaviours in swarm robotic systems. Int'l Journal of Advanced Robotic Systems, 2(4):363-370, Dec. 2005.
33. F. Zambonelli, N. Jennings, and M. Wooldridge. Developing multiagent systems: the GAIA methodology. ACM Trans. on Software Engineering and Methodology, 12(3), Sept. 2003.