61 N.H. Minsky, D. Rozenshtein. A software development environment for law-governed systems. In P.B. Henderson (ed.), Proc. of the ACM SIGSOFT /SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE'88), pp. 65-75, 1988.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Then the firing of the second rule is considered recursively. Forward chaining arises when the action or post condition of a rule fulfills the pre conditions of some rules, which are then fired recursively. Rule based PMLs can be roughly divided into backward chaining oriented such as Darwin [22], forward chaining oriented such as AP5 [8] and those that incorporate both, like Merlin [25] The rule is the minimal common sub process that might be shared among local processes. When a decentralized rule is fired, either directly by a user or indirectly through automatic enaction (chaining) ....

Naftaly H. Minsky and David Rozenshtein. A software development environment for law-governed systems. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 65--75, November 1988.

....processes. However, without studying specific generic and instantiated processes as we did in this work, the value of these mechanisms is hard to evaluate. This work is related to other projects aimed at developing a process centered software environment, like those reported in [MS92, KF87, MR88, Phi89, ACM90, FO91, MGDS90, DG90] The most significant difference between these efforts and our work is that our work, targeted at specific process requirements, provides very specific strategies for supporting specific processes that emerge from the work of other acknowledged experts (in this ....

....design) For example, we provide very specific interface architecture and tool access methods for supporting SDMs and their various users. In contrast, most work in developing process centered environments is aimed at developing general purpose software development environments. For instance, MR88] supports specifying any software development rules. Marvel [KF87] is a general purpose programming environment. It does not describe specifically how to provide effective guidance for using specific development method on specific kinds of projects. Another difference is that our work focuses on ....

N. Minsky and D. Rozenshtein. Software development environment for law-governed systems. In Proc. of the ACM SIGSOFT/PLAN Software Engineering Symposium on Practical SDE, pages 65-- 75, Nov. 1988.

....1 1. Introduction Software development environments aim to assist developers of software projects in carrying out the development process. A particular class of environments, which we call rule based development environments (RBDEs) model the software development process in terms of rules [1, 2, 3]. RBDEs encapsulate development activities as rules and provide assistance to developers by applying forward and or backward chaining on the rules to automatically perform software development activities and or inform the developers when particular activities should or should not be done. RBDEs ....

....an activity requested by a user. The RBDE automatically carries out as many activities as it can, but this does not affect the validity of activities requested directly by users. 2.1. A Consistency Preserving Model The consistency preserving assistance model is implemented in systems like Darwin [2], whose rules are considered laws that cannot be violated. Every rule has a condition and a set of one or more effects. The rule cannot be invoked unless its condition is satisfied. If the condition is not satisfied, the RBDE applies backward chaining to invoke rules, whose effects might verify ....

N. H. Minsky and D. Rozenshtein. A Software Development Environment for Law-Governed Systems. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM Press, New York NY, 1988. Published as a special issue of SIGPLAN Notices, 24(2):65-75.

....Work There are many other systems that support intelligent assistance; we focus on those systems that execute some form of chaining to perform this assistance. EPOS [14] and TPLAN [6] attempt to achieve subgoals (backward chaining) when the condition for an invoked rule is not satisfied. Darwin [15] carries out inferencing to determine whether or not an activity is allowed. These kind of systems perform strictly backward chaining, and are usually Prolog based. The unification scheme in Prolog successfully determines parameters to match because the body of Prolog clauses have no quantified ....

N. H. Minsky and D. Rozenshtein. A Software Development Environment for Law-Governed Systems. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 65--75, Boston MA, November 1988.

....methods. This makes it difficult to reason about a style on the basis of its Aesop definition, to tell whether two styles have conflicting constraints, or to modify the policies associated with constraint enforcement and tool invocation. Approaches based on explicit rules (e.g. as in Darwin [MR88] or inter object mediation (e.g. as in [SN92] are attractive alternatives. ffl Control over supertype visibility. When a new style is defined, it is often the case that the types of design elements should be restricted to just those defined by the new style. For example, a pipe filter style ....

Naftaly H. Minsky and David Rozenshtein. A software development environment for law-governed systems. In Proceedings of the ACM SIGSOFT /SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, MA, November 1988. Published as SIGPLAN NOTICES, 24(2).

No context found.

61 N.H. Minsky, D. Rozenshtein. A software development environment for law-governed systems. In P.B. Henderson (ed.), Proc. of the ACM SIGSOFT /SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE'88), pp. 65-75, 1988.

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