Title :
Little-JIL/Juliette: a process definition language and interpreter
Author :
Cass, Aaron G. ; Lerner, A.S. ; McCall, Eric K. ; Osterweil, Leon J. ; Sutton, Stanley M., Jr. ; Wise, Alexander
Author_Institution :
Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
Abstract :
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the step, which is the focal point for coordination, providing a scoping mechanism for control, data and exception flow and for agent and resource assignment. Steps are organized into a static hierarchy, but can have a highly dynamic execution structure including the possibility of recursion and concurrency. Little-JIL is based on two main hypotheses. The first is that coordination structure is separable from other process language issues. Little-JIL provides rich control structures while relying on separate systems for resource, artifact and agenda management. The second hypothesis is that processes are executed by agents that know how to perform their tasks but benefit from coordination support. Accordingly, each Little-JIL step has an execution agent (human or automated) that is responsible for performing the work of the step. This approach has proven effective in supporting the clear and concise expression of agent coordination for a wide variety of software, workflow and other processes
Keywords :
formal specification; high level languages; program control structures; program interpreters; specification languages; Juliette; Little-JIL; agenda management; agent coordination; concurrency; control structures; execution agent; formal syntax; graphical syntax; high-level language; operational semantics; process coordination programming; process definition language; program interpreter; recursion; resource assignment; static hierarchy; Centralized control; Communication system control; Computer languages; Computer science; Control systems; High level languages; Humans; Laboratories; Permission; Resource management;
Conference_Titel :
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Conference_Location :
Limerick
Print_ISBN :
1-58113-206-9
DOI :
10.1109/ICSE.2000.870488