Rich, A., and Solomon, M. A logic-based approach to system modelling. In Feiler [8], pp. 84--93.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....information, such tools can be significantly enhanced. This is especially true for program construction, where version information can be used to identify derived objects [20] to share derived objects in binary pools [4] and to deduce build plans based either on PROLOG [17] or on feature logic [28]. As integration in common development environments was our major concern, we have extended the well known MAKE program [10] for usage within the FFS. The resulting ICE MAKE tool provides automatic identification and reuse of derived objects as well as consistency deduction in aggregates, while ....

....processes might be formalized using the version set model and whether SCM tool behaviour may be verified against the SCM process. In general, there is no true methodology yet how components and versions should be attributed with feature terms; experiences from other attribute oriented SCM systems [6, 13, 25, 28] or faceted classification [27] might help here. Changes and change sets as separate entities [14, 25] can be handled in the version set model [39] but not in the CPP representation. Although ICE gives access to arbitrary change sets as they are applied to a baseline # 0 , the FFS should ....

Rich, A., and Solomon, M. A logic-based approach to system modelling. In Feiler [8], pp. 84--93.

.... , locked ] from T and deletes S from T (by changing T to T 0 = T u S = T u fcurrent , locked: g) In T 0 , the current version is now available only in a locked state, since T 0 u S = therefore, subsequent change attempts will fail. Johnson s subsequent check in of the new current version S 0 = current: locked , ffi i : first changes the repository T 0 to T 00 = T 0 u ffi i u current ) identifying it by ffi i and making its revisions non current, and then to T 000 = T 00 t S, adding the new revision. When developer Sanders later checks out [current: from ....

....first changes the repository T 0 to T 00 = T 0 u ffi i u current ) identifying it by ffi i and making its revisions non current, and then to T 000 = T 00 t S, adding the new revision. When developer Sanders later checks out [current: from T 000 , he gets the new current version S 0 . By introducing and maintaining appropriate features applying to specific revisions, modeling other RCS or SCCS properties such as naming of individual revisions or baselines is straight forward. As no special distinction is made between delta features and other features, we may create, select ....

[Article contains additional citation context not shown here]

Anthony Rich and Marvin Solomon. A logic-based approach to system modelling. In Feiler

....mention CPP constraints as a potentially useful application of partial evaluation, but without going into details of how this could be done. The concepts of revisions and variants are usually strictly separated [Tic85, Rei89] However, Rich and Solomon, who use feature logic for system modelling [RS91] anticipated version (i.e. revision) selection as a further instantiation of object terms which is presented in this paper. 8 Conclusion We have seen that use of feature logic and feature unification allows for incremental and interactive configuration management; often, complete ....

Anthony Rich and Marvin Solomon. A logic-based approach to system modelling. In Peter H. Feiler, editor, Proc. 3rd International Workshop on Software Configuration Management, pages 84--93. ACM Press, June 1991.

....as Features R.3.1 Variants vs. Revisions Regarding variants and revisions, most authors assume more or less explicitly that these concepts are orthogonal, as Reichenberger in [Rei89] However, this is not the case for Rich and Solomon, who used like terms for system modelling and construction [RS91] and anticipated version selection as a further instantiation of object terms (i.e. feature terms) Nicklin [Nic91] promised a paper demonstrating how his logic based approach dealt with time dependent variants . R.4 Working on Version Sets R.4.1 Conditional Compilation Conditional ....

Anthony Rich and Marvin Solomon. A logic-based approach to system modelling. In Peter H. Feiler, editor, Proc. 3rd International Workshop on Software Configuration Management, pages 84--93. ACM Press, June 1991.

....new functionality is added, and components are re organized. Maintaining invariants in an evolving system is a critical task for any support system [22, 27, 30] The CAPITL 1 project at the University of Wisconsin has been investigating a logic based approach to software configuration management [21]. The basic thesis of our approach is that if all objects in the #################################### This work was supported in part by the Defense Advanced Research Projects Agency under ARPA Order No. 8856 (monitored by the Office of Naval Research under contract N00014 92 J 1937) To ....

A. Rich and M. Solomon, A Logic-Based Approach to System Modelling, Workshop on Software Configuration Management, Trondheim, Norway, June 1991, 84-93. Adams and Solomon CAPITL Page 25

....in part by the Defense Advanced Research Projects Agency under ARPA Order No. 8856 (monitored by the Office of Naval Research under contract N00014 92 J 1937) The CAPITL 3 project at the University of Wisconsin has been investigating a logic based approach to software configuration management [42]. The basic thesis of our approach is that if all objects in the environment carry with them sufficiently detailed descriptions, desired software products can be described declaratively and the system can infer the process necessary to build them. To test these ideas, we have constructed a ....

Anthony Rich and Marvin Solomon. A logic-based approach to system modelling. In Peter H. Feiler, editor, Workshop on Software Configuration Management, pages 84--93, Trondheim, Norway, June 1991.

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