• DocumentCode
    2440018
  • 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
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    754
  • Lastpage
    757
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering, 2000. Proceedings of the 2000 International Conference on
  • Conference_Location
    Limerick
  • ISSN
    0270-5257
  • Print_ISBN
    1-58113-206-9
  • Type

    conf

  • DOI
    10.1109/ICSE.2000.870488
  • Filename
    870488