A. Wise, A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and J. Stanley M. Sutton. Using Little-JIL to coordinate agents in software engineering. In Proc. of the Automated Soft. Eng. Conf. (ASE 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Better Reasoning About Software Engineering Activities - Menzies (2001) (Correct)
....of some high level goals. Such simple coverage properties may not require the intricacy of formal tools (applied either in a lightweight or a heavyweight mode) Most formal methods focus on product features of software. An alternate approach are process programming languages such as Little JIL [2, 30]. In Little JIL, each software task can include pre conditions, post conditions, exception handlers, and sub tasks. The core data structure of Little JIL is hence a top down decomposition tree showing sub tasks inside tasks. An interpreter exists for Little JIL models [2] but in the available ....
....A softgoal is goal that has no clear cut criteria for success. While goals can be conclusively demonstrated to be satisfied or not satisfied, softgoals can only be satisriced to some qualitative degree. Softgoal labelpropagation rules define how these qualitative values impact each other 4I.e. [2, 30] and the papers accessible from http: 1 a s e r. c s. umass .edu tools littlejil.html 7 (JANE performs the same task using its CombineRules) In CNYM, when two qualitative influences conflict, CNYM 6o requests a resolution for the user. When the softgoal models are small, when the ....
A. Wise, A. Cass, B. S. Lerner, E. McCall, L. Osterwell, and J. S.M. Sutton. Using little-jil to coordinate agents in software engineering. In Proceedings of the Automated Software Engineering Conference (ASE 2000.
Model Checking of Software Processes - Barbara Staudt Lerner Self-citation (Lerner) (Correct)
....the models used in model checking from the process and interpreter implementation. We also report on the analysis results we have achieved thus far, including the uncovering of seven errors in the interpreter implementation. 2 Little JIL Little JIL is a process language with a visual syntax[11]. Little JIL processes describe the coordination of activities carried out by external entities. These external entities may be people, Web services, intelligent software agents, or any other external component that is capable of carrying out requested tasks on input data and reporting the ....
A. Wise, A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and J. Stanley M. Sutton. Using Little-JIL to coordinate agents in software engineering. In Proc. of the Automated Soft. Eng. Conf. (ASE 2000.
Flexible Static Semantic Checking using First-Order Logic - Rura, Lerner Self-citation (Lerner) (Correct)
....interpreter via an API or GUI. Steps are connected with a number of di#erent edges: substep edges, prerequisite and postrequisite edges, reaction and exception handling edges. The characteristics of steps and edges determine how data and control flow between agents. The Little JIL Language Report [9] describes the language in detail. A developer creates a process using a specialized Little JIL editor by creating and manipulating steps, represented graphically, and links between steps, represented as lines. Each step has an icon (the sequencing badge) that describes the control flow for its ....
Alexander Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, and Stanley M. Sutton Jr. Using Little-JIL to coordinate agents in software engineering. In Proceedings of the Automated Software Engineering Conference (ASE 2000), pages 155--164, Grenoble, France, September 2000.
Containment Units: A Hierarchically Composable.. - Cobleigh, Osterweil.. (2002) (4 citations) Self-citation (Wise Lerner Osterweil) (Correct)
....of the robustnesses of Containment Units and the safe addition of new operational components. 3. EXPERIENCES WITH CONTAINMENT UNITS We now describe our experiences in defining, executing, and analyzing Containment Units. While we have exploited our agent coordination language Little JIL [22, 23] to describe the coordination within a Containment Unit and use our Little JIL runtime, Juliette [2] as the basis for our execution experiments, the following discussion does not require understanding of Little JIL. Our example Containment Units are based on a robot search and rescue example we ....
A. Wise, A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and S. M. Sutton, Jr. Using Little-JIL to coordinate agents in software engineering. In Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, pages 155--163, Sept. 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC