Using Little-JIL to coordinate agents in software engineering

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 155-163

  Wise, A ^a   Cass, A G ^a   Lerner, B S ^b   McCall, E K ^c   Osterweil, L J ^a   Sutton, S M ^d  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

^b WILLIAMS COLLEGE   (United States)

^c HEWLETT PACKARD LABORATORIES   (United States)

^d IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; HIGH LEVEL LANGUAGES; SEMANTICS; SOFTWARE ENGINEERING; TECHNOLOGY TRANSFER;

AGENT COORDINATION; CONTROL STRUCTURE; COORDINATE AGENT; COORDINATION CONTROL; COORDINATION OF AGENTS; LEVEL PROCESS; LITTLE-JIL; OPERATIONAL SEMANTICS;

SOFTWARE AGENTS;

EID: 70349377923     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873660     Document Type: Conference Paper

References (30)

1. E. Araujo, D. Karuppia, Y. Yang, R. Grupen, P. Deegan, B. Lerner, E. Riseman, and Z. Zhu. Software mode changes for continuous motion tracking. In Int'l Workshop on Self Adaptive Software, Apr 2000.
2. S. Bandinelli, A. Fuggetta, and S. Grigolli. Process modeling in-the-large with SLANG. In Proc. of the Second Int'l Conf. on the Software Process, pages 75-83. IEEE Computer Society Press, 1993.
3. M. Barbuceanu and M. S. Fox. COOL: A language for describing coordination in multi agent systems. In Proc. of the First Int'l Conf. on Multi-Agent Systems, 1995.
4. N. Belkhatir, J. Estublier, and M. L. Walcelio. ADELE-TEMPO: An environment to support process modeling and enaction. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 187-222. John Wiley & Sons Inc., 1994.
5. E. Bertino, S. Jajodia, L. Mancini, and I. Ray. Multiform transaction model for workflow management. In Proc. of the NSF Workshop on Workflow and Process Automation in Information Systems, May 1996.
6. G. Canals, N. Boudjlida, J.-C. Derniame, C. Godart, and J. Lonchamp. ALF: A framework for building process-centred software engineering environments. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 153-185. John Wiley & Sons Inc., 1994.
7. N. Carriero and D. Gelernter. How to Write Parallel Programs A First Course. MIT Press, 1990.
8. A. G. Cass, H. Lee, B. S. Lerner, and L. J. Osterweil. Formally defining coordination processes to support contract negotiations. Technical Report 99-39, University of Massachusetts at Amherst, Jun 1999.
9. A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and A. Wise. Logically central, physically distributed control in a process runtime- environment. Technical Report 99-65, University of Massachusetts at Amherst, Nov. 1999.
10. J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil. Verifying properties of process definitions. Technical Report 99-63, University of Massachusetts at Amherst, Nov. 1999.
11. D. Cohen. AP5 Manual. Univ. of Southern California, Information Sciences Institute, March 1988.
12. R. Conradi, M. Hagaseth, J.-O. Larsen, M. N. Nguyên, B. P. Munch, P. H. Westby, W. Zhu, M. L. Jaccheri, and C. Liu. EPOS: Object-oriented cooperative process modelling. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 33-70. John Wiley & Sons Inc., 1994.
13. S. Dami, J. Estublier, and A. Amiour. APEL: A graphical yet executable formalism for process modelling. Automated Software Engineering, Mar. 1997.
14. K. S. Decker and V. R. Lesser. Designing a family of coordination mechanisms. In Proc. of the First Int'l Conf. on Multi-Agent Systems, 1995.
15. M. B. Dwyer and L. A. Clarke. Data Flow Analysis for Verifying Properties of Concurrent Programs. In Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, pages 62-75. ACM Press, December 1994.
16. C. Fernström. PROCESS WEAVER: Adding process support to UNIX. In Proc. of the Second Int'l Conf. on the Software Process, pages 12-26, 1993.
17. T. Finin, Y. Labrou, and J. Mayfield. Kqml as an agent communication language. In Software Agents. MIT Press, 1997.
18. D. Jensen, Y. Dong, B. S. Lerner, E. K. McCall, L. J. Osterweil, S. M. Sutton Jr., and A. Wise. Coordinating agent activities in knowledge discovery processes. In Int'l Joint Conf. on Work Activities Coordination and Collaboration, July 1998. submitted.
19. G. Junkermann, B. Peuschel, W. Schäfer, and S. Wolf. MERLIN: Supporting cooperation in software development through a knowledge-based environment. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 103-129. John Wiley & Sons Inc., 1994.
20. T. Katayama. A hierarchical and functional software process description and its enaction. In Proc. of the 11th Int'l Conf. on Software Engineering, pages 343-353. IEEE Computer Society Press, 1989.
21. M. I. Kellner, P. Feiler, A. Finkelstein, T. Katayama, L. J. Osterweil, and M. H. Penedo. ISPW-6 software process example. In Proc. of the First Int'l Conf. on the Software Process, pages 176-186, 1991.
22. K. Kuwabara, T. Ishida, and N. Osato. Agentalk: Coordination protocol description for multi-agent systems. In Proc. of the First Int'l Conf. on Multi-Agent Systems, 1995.
23. B. S. Lerner, S. M. Sutton, Jr., and L. J. Osterweil. Enhancing design methods to support real design processes. In 9th IEEE Int'l Workshop on Software Specification and Design, pages 159-161. IEEE Computer Society Press, Apr. 1998.
24. E. K. McCall, L. A. Clarke, and L. J. Osterweil. An Adaptable Generation Approach to Agenda Management. In Proc. of the 20th Int'l Conference on Software Engineering, pages 282-291, Apr. 1998.
25. R. M. Podorozhny, B. S. Lerner, and L. J. Osterweil. Modeling resources for activity coordination and scheduling. In Proceedings of Coordination 1999, pages 307-322. Springer-Verlag, Apr 1999. Amsterdam, The Netherlands.
26. P. Stone and M. Veloso. Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork. Artificial Intelligence, 1999.
27. S. M. Sutton, Jr., D. Heimbigner, and L. J. Osterweil. APPL/A: A language for software-process programming. ACM Trans. on Software Engineering and Methodology, 4(3):221-286, July 1995.
28. S. M. Sutton, Jr. and L. J. Osterweil. The design of a next-generation process language. In Proc. of the Joint 6th European Software Engineering Conf. and the 5th ACM SIGSOFT Symp. on the Foundations of Software Engineering, pages 142-158. Springer-Verlag, 1997.
29. A. Wise. Little-JIL 1.0 Language Report. Technical Report 98-24, University of Massachusetts at Amherst, Apr. 1998.
30. P. S. Young and R. N. Taylor. Human-executed operations in the teamware process programming system. In Proc. of the Ninth Int'l Software Process Workshop, 1994.