S. Rabbi and F. Oquendo, "PEACE: Goal-Oriented Logic-Based Formalism for Process Nodeling," Software Process Modelling and Technology, Research Studies Press Ltd, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is therefore possible to offer a richer and more detailed discussion of the ideal features of a PIL. Firstly, it is possible to identify three general strategies for designing a PIL: The PIL contains a rich set of process specific concepts. This is the choice of several languages such as PEACE [60]. The PIL contains one set of very basic constructs that are used by the process implementor to build more complex concepts. The basic assumption here is that, without enough knowledge and experience on the characteristics of PILs, it may be sensible to let certain entities be definable in a ....

S. Rabbi and F. Oquendo. PEACE: Goal-oriented logic-based formalism for process modeling. In [30].

....to have a simple language where process specific concepts are modeled explicitly by the process modeler. Some existing PSEEs incorporate process specific concepts as predefined language constructs. For instance, PEACE offers specific constructs to represent tasks, artifacts, agents, and roles [4]. In other cases, the language includes only generic constructs, with little if any process specific semantics. 3.2.3 Modularity composition reuse The modular entity of Limbo is the angel. Angels are composed to form complex systems. In Pat, the modular entities are the tuple space and the ....

S. Arbaoui and F. Oquendo. PEACE: Goal-oriented logic-based formalism for process modeling. In [30].

....is the mechanism that allows to fire a transition even if the corresponding precondition does not hold. The triggering mechanism is the one that supports pollution analysis, and the reconciling is the mechanism that supports the users in fixing pollution, supplying the list of polluted data. [1] deals with the inconsistencies caused by the uncertain and incomplete knowledge in observed process. In the paper, a goal oriented language is defined (PEACE) which formalizes parts of a process model using an autoepistemic logic. In this way, the user s beliefs can be modeled, and it is ....

S. Arbaoui and F. Oquendo. PEACE: Goal-oriented Logic-based Formalism for Process Modelling. In Anthony Finkelstein, Jeff Kramer, and Bashar Nuseibeh, editors, Software Process Modelling and Technology. Research Studies Press, J. Wiley, 1994.

....model, process performance corresponds to the actual process, and process definition enactment corresponds to the observed process. The possibility for the process performance to deviate from the process definition is recognized, but mechanisms for dealing with this problem are not discussed. [25] and [26] deal with the inconsistencies caused by the uncertain and incomplete knowledge in the observed processes. A goal oriented language PEACE is defined, which formalizes parts of a process model using an autoepistemic logic, which allows users beliefs to be modeled, and supports the ....

S. Arbaoui and F. Oquendo, "Peace: Goal-oriented logic-based formalism for process modelling," in Software Process Modelling and Technology (A. Finkelstein, J. Kramer, and B. Nuseibeh, eds.), Research Studies Press, J. Wiley, 1994.

....that follows at least two approaches, that we will call explicit and implicit . The implicit approach can be loosely characterized as the attempt to exploit Artificial Intelligence techniques in software process modelling; it is exemplified by Articulator [20] Grapple [14] EPOS [9] and PEACE [3]. The emphasis is on the problem solving capabilities of the process engine, that enables the enactment of the process by refining an overall goal to simpler ones. Not always these approaches succeed in providing simple process models, nor it is always easy to assess them. Also modularity, ....

S. Arbaoui and F. Oquendo. PEACE: Goal-oriented Logic-Based Formalism for Process Modelling. pages 249--278. In [10].

....HFSP [26] module decomposition in Arcadia s APPL A [24, 38] or net decomposition in SPADE s SLANG [4] to cite a few. None has an associated refinement calculus. Besides, there are attempts to exploit Artificial Intelligence techniques, like Articulator [30] Grapple [21] EPOS [12] and PEACE [3]. The emphasis is on the problem solving capabilities of the process engine, that enables the enactment of the process by refining an overall goal to simpler ones. These approaches not always succeed in providing simple process models, nor it is always easy to assess them. 9 d stands for ....

S. Arbaoui and F. Oquendo. PEACE: Goal-oriented LogicBased Formalism for Process Modelling. pages 249--278. In [15].

....of the process model obtained after composition of the views. Our experimentation with Process Weaver is presently focused on the change support system component. Future immediate work will include the design of the decision support component, presumably using goal oriented formalisms (e.g. [18]) In the context of a european cooperative research we have planned to invest much effort on defining and prototyping new PSEEs supporting process evolution and maintenance driven by users requirements. Preliminary work has led to the definition of a multi paradigm strategy for this cooperative ....

S. Arbaoui and F. Oquendo. PEACE: Goal-Oriented Logic-Based Formalism for Process Modelling, chapter 10, pages 249--278. In 3, 1994.

....This is meant with template model evolution. A process modeling function is provided by WFMSs as well as by PSEEs. Approaches rooted at the SP domain are mostly based on low level formalisms and focus on process enactment issues. Examples are APPL A [65] Marvel [42] ADELE TEMPO [7] PEACE [1], EPOS SPELL [16] Approaches from the workflow (WF) area on the other hand are more oriented towards human understanding and process reengineering [33] i.e. they are high level graphical formalisms not prepared to be executed by a process engine directly. Examples are Form Flow Models [69] ....

....process modeling focus on a goaloriented approach instead of using activity oriented approaches [2] The core idea is to allow dynamic ordering of activities during process runtime and to focus on goals instead of defined activity sequences. Examples for goaloriented modeling approaches are PEACE [1] or extended ICN [23] Another direction in process modeling coming from the SP domain is represented by cusomizable approaches allowing to define and evolve modeling concepts as well as process models and instances [40] The most recent publications on process modeling argue for an approach ....

Arbaoui, S., Oquendo, F., "PEACE: Goal-Oriented Logic Based Formalism for Process Modelling", in: [29], pp.249278.

....model (parameters) tools (with pre postconditions) ordering constraints on operators (path expressions) rules (reactions) and characteristics (postconditions on the MASP as a whole) ALF lacks explicit exception handlers and assumes that agents are specified and assigned separately. PEACE [1] has input output, pre postconditions, in out events, and intrinsic role (a human agent) To help manage linguistic and process complexity, LittleJIL is a factored language. Factoring has not been an explicit theme in the design of many other process languages. JIL [20] is a factored language, ....

Selma Arbaoui and Flavio Oquendo. PEACE: Goaloriented logic-based formalism for process modeling. In Anthony Finkelstein, Jeff Kramer, and Bashar Nuseibeh, editors, Software Process Modelling and Technology, pages 249--292. John Wiley & Sons Inc., 1994.

....ToolTalk. 400) The design paradigm is L3. SLANG should be suitable for all meta processes phases as Petri nets are an analysis and simulation tool and the language is enactable. SLANG can be used to model and enact the meta process as well. 3.4. 9 PEACE (401) PEACE is the second phase of PEACE [4] . It enhances PEACE with (1) cooperation formalism and support that allow to describe and enact interaction models (communication, coordination, negotiation, etc. during enaction of distributed process models [80] 77] 76] 2) a process models enactment and evolution system based on ....

....constitutes a good trial in applying formal techniques to process Modelling. The advantage of using multimodal logic is that it allows non monotonic reasoning which helps to support process dynamicity and evolvability that result from incomplete and uncertain knowledge during the process enactment [4] . PEACE PML as a reflective language, allows users to define, enact and evolve software processes as well as meta processes in a uniform way. 407) In the framework of the SCALE ESPRIT Project, it also has been developed a graphic language called Process Description Diagram (PDD) designed for ....

S. Arbaoui and F. Oquendo. PEACE: Goal-Oriented Logic-Based Formalism for Process Modelling. In [32] , pages 249--278, 1994.

No context found.

S. Rabbi and F. Oquendo, "PEACE: Goal-Oriented Logic-Based Formalism for Process Nodeling," Software Process Modelling and Technology, Research Studies Press Ltd, 1994.

No context found.

RABBI,S.AND OQUENDO, F. 1994. PEACE: Goal-oriented logic-based formalism for process modeling. In Software Process Modeling and Technology, A. Finkelstein, J. Kramer, and B. Nuseibeh, Eds. Research Studies Press, London, U.K.

No context found.

ARBAOUI,S.AND OQUENDO, F. 1994. PEACE: Goal-oriented logic-based formalism for process modeling. In Software Process Modeling and Technology, A. Finkelstein, J. Kramer, and B. Nuseibeh, Eds. Research Studies Press, London, U.K.

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