36321582
Enacting object-oriented methods by a process environment
Abstract This paper describes modeling and enactment of two object-oriented methods, namely the OMT method and the Booch method, using the concurrent software process language (CSPL). CSPL is a process-centered environment using Ada95-like syntax to model a method as a process program which is then compiled to C-shell executing in UNIX. A method can thus be enacted (executed) using this approach. Experiences of the approach are depicted. It is demonstrated that CSPL is feasible and appropriate for modeling and enacting methods, including object-oriented methods. Additionally, partial CSPL program modeling the Booch method is included in the Appendix.
45814647
An integrated object-oriented analysis and design method emphasizing entity/class relationship and operation finding
Abstract This paper presents an object-oriented analysis and design (OOAD) method that integrates analysis and design phases based on entity and class relationships. This method concentrates on establishing relationships between entities and between classes and on representing and refining the relationships. In describing the system's behavior, this method provides modified event trace diagrams and a textual document to capture the interactions among operations within the classes. It also provides uniform notations and specific procedures in order to identify classes, objects, attributes, and operations.
26236484
A new object-oriented method integrating Jackson structured programming method
Abstract This article presents a new object-oriented method which integrates the Jackson Structured Programming method with an object-oriented approach. The new method analyzes the user's services, identifies attributes from data structure diagrams, and identifies operations from program structure diagrams. Also, this method defers the identification of class relationships until the attributes and operations have been identified, so as to prevent premature decisions. In addition, the concept of “leading object” is used to decrease the number of actors and agents and to increase the number of servers in a system. This may enhance reusability of the objects.
27587317
An executable specification language for specification understanding in object-oriented specification reuse
System analysis time can be reduced through specification reuse which, however, requires specification understanding. This paper presents an object-oriented executable specification language which reduces understanding time through executing specifications. In addition to being executable, the specification language hides as many classes as possible within subsystems, and explicitly specifies relationships between specification components. This facilitates specification modification. Moreover, the language explicitly specifies interface parameters of specification components. This facilitates specification composition.
32729841
An Ada-like software process language
Abstract This article presents a new software process language called concurrent software process language (CSPL). CSPL demonstrates a unique approach in combining the Ada-like syntax with UNIX shell semantics within a software process language. The rich Ada constructs allow CSPL to model the complexity in software processes. Meanwhile, the UNIX shell provides process enaction and, more importantly, easy access to powerful UNIX tools. A CSPL prototype has been built on the Sun workstation. Examples illustrate how CSPL can be used to model objects, activities, events, generics, exceptions, etc., in software processes. Moreover, a meta-process is given to depict a process of developing CSPL process programs. Related work and a preliminary evaluation of CSPL are also depicted.
24126539
A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse
This paper presents a classification and retrieval technique for object-oriented specification reuse, based on the assumption that existing specifications exhibiting behaviors similar to that of the system under development are appropriate for reuse. Existing specifications are classified and retrieved according to the semantic networks abstracted from their behaviors. Since semantic networks attach semantic meanings to certain degrees of detail, our technique is rather precise. Primary behavior is used to classify specifications because it can be obtained in the early phases of system analysis. Therefore, our technique allows early reuse. Moreover, subspecifications and classes of existing specifications are classified independently so that they can be retrieved for reuse separately. Thus, our technique encourages reusing subspecifications as well as classes. Since a subspecification is composed of classes and their relationships, reusing it corresponds to reusing all those classes and relationships. A technique that reuses subspecifications as well as classes is thus expected to save more time than those that reuse only classes.
26308486
Model checking real-time value-passing systems
In this paper, to model check real-time value-passing systems, a formal languageTimed Symbolic Transition Graph and a logic system namedTimed Predicate μ-Calculus are proposed. An algorithm is presented which is local in that it generates and investigates the reachable state space in top-down fashion and maintains the partition for time evaluations as coarse as possible whileon-the-fly instantiating data variables. It can deal with not only data variables with finite value domain, but also the so calleddata independent variables with infinite value domain. To authors knowledge, this is the first algorithm for model checking timed systems containing value-passing features.
12151643
Discretization Approach and Nonparametric Modeling for Long-Term HIV Dynamic Model
Modeling viral load response in long-term HIV dynamics is important for AIDS clinical study. It allows one to examine how a patient recuperates for an antiviral treatment. This paper investigates a discretization approach to the viral load based on a long-term HIV dynamic model. We propose a two-stage nonparametric procedure for estimating the viral load and the time-varying new productive virus. Simulation study shows that the proposed estimated methods are efficient and powerful for fitting long-term viral load measurements.
43039500
A Linear Time Algorithm for Isomorphism of Graphs of Bounded Average Genus
Recent progress in topological graph theory has shown potential applicability of average genus to graph isomorphism testing. The present paper describes an initial effort at combining topological invariants with combinatorial analysis to design efficient graph isomorphism algorithms. In particular, a linear time algorithm for isomorphism of graphs of bounded average genus is presented.
29860220
A Bookmarking Service for Organizing and Sharing URLs
Web browser bookmarking facilities predominate as the method of choice for managing URLs. In this paper, we describe some deficiencies of current bookmarking schemes, and examine an alternative to current approaches. We present WebTagger , an implemented prototype of a personal bookmarking service that provides both individuals and groups with a customizable means of organizing and accessing Web-based information resources. In addition, the service enables users to supply feedback on the utility of these resources relative to their information needs, and provides dynamically-updated ranking of resources based on incremental user feedback. Individuals may access the service from anywhere on the Internet, and require no special software. This service greatly simplifies the process of sharing URLs within groups, in comparison with manual methods involving email. The underlying bookmark organization scheme is more natural and flexible than current hierarchical schemes supported by the major Web browsers, and enables rapid access to stored bookmarks.
2466823
Two methods for creating chinese painting
We present two methods to create realistic Chinese painting. The first method is to create 3D Chinese painting animation using existing software packages. The second method is an expressive paint tool which allows an artist to interactively create 2D Chinese painting.