Paul Adams and Marvin Solomon. An overview of the CAPITL software development environment. Technical Report TR 1143, Computer Science Department, University of Wisconsin-Madison, April 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....In contrast to several description logics, attributes in terms are functional : they can have only one value. This is convenient, since objects can be identified by some unique attribute value. # terms have been successfully applied in the context of SCM, notably in the CAPITL system [1]. CAPITL uses a variant of LOGIN, called CONGRESS, to denote the attributes of components and tools and to describe how these attributes propagate from source components to derived components. As CAPITL is also among the most advanced and well founded SCM systems in terms of building and ....

Adams, P., and Solomon, M. An overview of the CAPITL software development environment. In Software Configuration Management: selected papers / ICSE SCM-4 and SCM-5 workshops (Seattle, Washington, Oct. 1995), J. Estublier, Ed., vol. 1005 of Lecture Notes in Computer Science, Springer-Verlag, pp. 1--34.

....together with tools that explicitly manipulate object files, library archives, and environments (i.e. symbol tables) let their expert users achieve many if not all of the goals that we have outlined. One could also put these manipulations under control of a sophisticated system like CAPITL [Adams and Solomon 1993]. CM uses the same techniques internally, but provides a simple declarative specification language as an interface to these operations. On the other hand, neither the operation of make nor that of CAPITL in itself is based on intermodule semantics of their user s programming language the same way ....

Adams, P. and Solomon, M. 1993. An overview of the CAPITL software development environment. Tech. Rep. CS-TR-93-1143, Computer Sciences Department, University of Wisconsin -- Madison. 4.

....and refinement, and is intended to support a software designer in the analysis of alternative designs using multiple evaluation criteria. More recent complete programming environments that are based on Prolog and offer object oriented abstractions and mechanisms are OBSERV [190] and CAPITL [1]. OBSERV is a prototyping environment able to support and integrate different operational specification formalisms. CAPITL (that stands for Computer Aided Programming in The Large) is an environment in which the software engineer can use a logic language to describe software objects that are ....

P. Adams and M. Solomon. An Overview of the CAPITL Software Development Environment. Technical Report TR1143, CS Dept., Univ. of Wisconsin at Madison, 1993.

.... together with tools that explicitly manipulate object files, library archives, and environments (i.e. symbol tables) let their expert users achieve many if not all of the goals that we have outlined. One could also put these manipulations under control of a sophisticated system like CAPITL [Adams and Solomon 1993]. CM uses the same techniques internally, but provides a simple declarative specification language as an interface to these operations. On the other hand, neither the operation of make nor that of CAPITL in itself are based on inter module semantics of their user s programming language the same ....

Adams, P. and Solomon, M. 1993. An overview of the CAPITL software development environment. Tech. Rep. CS-TR-93-1143, Computer Sciences Department, University of Wisconsin -- Madison. 4.

....as having Motif Resources and Internet Resources,aswellasan Image Viewer. Rather than referring directly to objects, these are intended to be version families (from which versions can be selected using selection rules, although this selection can occur before the browser is executed) Adams [Adams95] has observed that Jason s system template facility is static in nature. According to requirement MR7, partial configurations (or system models) must be capable of being updated, but to do this it is necessary to describe the operations which can be used to modify the system model. This is done by ....

P. Adams and M. Solomon. An overview of the CAPITL software development environment. Software Configuration Management: ICSE SCM-4 and SCM-5 Workshops Selected Papers. Published as Lecture Notes in Computer Science, 1005:1-- 34. Springer Verlag, Berlin, 1995.

....The computational support involves persistent programming support that combines compiler, database and other technology and that is transparent with respect to scientifically irrelevant computation details. The concept of CMS is a significant extension of existing evolutionary approaches (e.g. [27, 41, 42, 40, 39, 12, 31, 1, 25, 20, 21]) The CMS framework of [35] uses a conceptual (CMS) data model which generalizes semantic (e.g. ER [9] SDM [17] etc. and object oriented data models (e.g. Gemstone [11] Vbase [3] ORION [4] O 2 [23] etc. In particular, the CMS data model is based on a sound characterization of ....

P. Adams and M. Solomon. An Overview of the CAPITL Software Development Environment. Technical Report TR-1143, Computer Science Department, University of WisconsinMadison, Apr. 1993.

....have been developed to support such restricted domains of applications as digital terrain modeling (e.g. 16, 23, 27, 50] Early modeling support systems [19, 20, 21, 22] are specialized and lack support for complex, structured datasets. CASE tools and software development environments [47, 3, 24, 6] may also be viewed as specialized modeling environments with respect to software processes [40, 17, 45] CMS, on the other hand, provides a comprehensive modeling environment based on a general and unifying characterization of scientific modeling activity. As examples of the second approach, a ....

P. Adams and M. Solomon. An overview of the CAPITL software development environment. Technical Report TR-1143, Computer Science Dept., Univ. of Wisconsin-Madison (1993).

....In contrast to several description logics, attributes in # terms are functional : they can have only one value. This is convenient, since objects can be identified by some unique attribute value. # terms have been successfully applied in the context of SCM, notably in the CAPITL system [1]. CAPITL uses a variant of LOGIN, called CONGRESS, to denote the attributes of components and tools and to describe how these attributes propagate from source components to derived components. As CAPITL is also among the most advanced and well founded SCM systems in terms of building and ....

Adams, P., and Solomon, M. An overview of the CAPITL software development environment. In Software Configuration Management: selected papers / ICSE SCM-4 and SCM-5 workshops (Seattle, Washington, Oct. 1995), J. Estublier, Ed., vol. 1005 of Lecture Notes in Computer Science, Springer-Verlag, pp. 1--34.

....access through a virtual file system. For instance, in CLEARCASE, the color variant of component zbuf.c can be accessed under the name zbuf.c color. Various technical approaches are possible, from providing specialized system libraries [20, 23] over adapted network file system (NFS) servers [1, 5] and file to database mappers [6] to specific device drivers integrated in the operating system kernel [21] generic approaches indepen5 dent from a specific SCM system have also been developed [12] The main disadvantages of all these systems are lack of orthogonality and lack of incrementality. ....

Adams, P., and Solomon, M. An overview of the CAPITL software development environment. In Feldman [9], pp. 3--28.

....and the change ffi 2 excluded. To accommodate change sets, version sets T are considered aggregates from base versions B and later changes C that is, T = B u C, where B = object: editor] and C = ffi 1 : ffi 2 ] This allows for the representation of change sets without a referred object, as in C 0 = Cu B = object: editor, ffi 1 : ffi 2 ] C 0 effectively contains all the changes applied to B (in this case, the differences between the D 0 and D 1 revisions of B) but not B itself. As changes usually have a smaller representation than version sets, it suffices to transfer only C 0 ....

....in a manner similar to Katz [Kat90] but using feature logic as a formal base. Construction can be realized through operations on version sets, building derived objects whose features are inherited from their sources and construction tools, using properties from SHAPE [Mah94] and CAPITL [RS91, AS93] for example. Eventually, such process and system models could describe the entire CM process through operations on version sets and their features. ICE is part of the inference based software development environment NORA 3 . NORA aims at utilizing inference technology in software tools; ....

Paul Adams and Marvin Solomon. An overview of the CAPITL software developmentenvironment. In Feldman [Fel93], pages 3--28. 3 NORA is a play by the Norwegian writer Henrik Ibsen. Hence, NORA is NO Real Acronym.

....for a large number of issues that relate to scientific modeling activity and its computational support. We note that other approaches to the development of such support are typically based on evolutionary extensions of existing systems (e.g. PSS 87, Wol89, Wol90, WH92, vOV91, dHvO92, Seg93, AS93, MP94, Jon90, Jon91] We structure the paper as follows. In the following section, we provide a simple example of scientific modeling that is drawn from the earth sciences. We use this example throughout the paper in order to illustrate many of the issues that are raised and discussed. We then ....

P. Adams and M. Solomon. An Overview of the CAPITL Software Development Environment. Technical Report TR-1143, Computer Science Department, University of Wisconsin-Madison, April 1993.

....as having Motif Resources and Internet Resources, as well as an Image Viewer. Rather than referring directly to objects, they are intended to be version families (from which versions can be selected using selection rules, although this selection can occur before the browser is executed) Adams [1] has observed that Wiebe s system template facility is static in nature. We require that system templates are able to be updated, but to do this it is necessary to describe the operations which can be used to modify the system template. We do this by specifying an update operation which is to be ....

P. Adams and M. Solomon. An Overview of the CAPITL Software Development Environment. Software Configuration Management: ICSE SCM-4 and SCM5 Workshops Selected Papers. Published as Lecture Notes in Computer Science, 1005:1--34. Springer Verlag, Berlin, 1995.

....4: The SHORE name space. 2.3.2 Legacy Unix Tool Support While SHORE provides a much richer environment than traditional file systems, there are many situations where tools designed to be used on files need to be invoked on database objects. A typical example is provided by the CAPITL project [AS93] which uses EXODUS. CAPITL improves on current softwaredevelopment environments by maintaining a rich set of attributes and relationships for each object in its repository (program sources, object files, specifications, documents, etc. It represents each object as a directed graph, with intra ....

Paul Adams and Marvin Solomon. An overview of the CAPITL software development environment. In Proceedings of the Fourth International Workshop on Software Configuration Management, Baltimore, MD, 1993.

No context found.

Paul Adams and Marvin Solomon. An overview of the CAPITL software development environment. Technical Report TR 1143, Computer Science Department, University of Wisconsin-Madison, April 1993.

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