Many object-orientedsystems provide composite objects to represent and manipulate objects having a complex structure. But only few systems provide adapted means to capture the behavior of composite Nonetheless, manag...
详细信息
ISBN:
(纸本)081868383X
Many object-orientedsystems provide composite objects to represent and manipulate objects having a complex structure. But only few systems provide adapted means to capture the behavior of composite Nonetheless, managing the global behavior of composite objects as a complicated task which encompasses several aspects: the collaboration. of the behavior of the composite object with that of its component, the management of its semantic integrity and the evolution of its behavior. Based on this taxonomy, a model is proposed for the specification, the representation and the management of the global behavior of composite objects.
In this paper, we summarize our experience in developing and using the Snowball Rapid systems Engineering Tool. We highlight the techniques we used such as: Rapid systems Engineering(TM) (RASE(TM)), Instant Code Gener...
详细信息
ISBN:
(纸本)0818684828
In this paper, we summarize our experience in developing and using the Snowball Rapid systems Engineering Tool. We highlight the techniques we used such as: Rapid systems Engineering(TM) (RASE(TM)), Instant Code Generation(TM), Instant Reverse Engineering(TM), and Dynamic Document Capture(TM). We elaborate on the implementation of these techniques and their advantages to systems development, problems rye encountered while developing Snowball, and we briefly discuss our experience while using Snowball to develop a large Internet-based object-oriented database system.
This paper introduces the design of COOZ, which stands for "Complete object-oriented Z", and the system architecture,functions, characteristics and key techniques of its supporting environment COOZ-tools. Co...
详细信息
ISBN:
(纸本)0818690968
This paper introduces the design of COOZ, which stands for "Complete object-oriented Z", and the system architecture,functions, characteristics and key techniques of its supporting environment COOZ-tools. Compared with current Z object-oriented extensions, COOZ clarifies some object-oriented notions such as distinction between active object and passive object. II also provides a more clear form of specifications. For example, Ita separate pre-conditions of schema from its post-conditions explicitly, and give subtypes of an object type as well as its supertypes. COOZ is more powerful than other object-oriented Z notations when specifying real-rime and concurrent systems by using Duration Calculus to describe real-time and history constraints of objects. It is also adapted to larger and complex software systems benefiting from its module mechanism. We have developed the integrated toolbox environment COOZ-tools supporting COOZ language in SGI work station. COOZ-tools is composed of the following five roofs: specification editor and viewers, syntax and semantics checking tool. Refinement aided tool, on-line help system and project management tool.
The pi-calculus provides a formal foundation for processes with dynamic interaction structures, appropriate for modeling concurrent systems with changing network topologies, and mobile agents. Not surprisingly then, i...
详细信息
ISBN:
(纸本)0818684852
The pi-calculus provides a formal foundation for processes with dynamic interaction structures, appropriate for modeling concurrent systems with changing network topologies, and mobile agents. Not surprisingly then, it has attracted the interest of researchers wishing to formalize models for concurrent objectsystems. To date, most such models have been object-based In this paper we present a class-based model in the pi-calculus, which captures both the semantics of method sharing for classes, as well as multiple inheritance.
The structure Of object-orientedsystems typically forms a complicated, tangled web of interdependent classes, Understanding this implicit and hidden structure poses severe problems to developers and maintainers who w...
详细信息
ISBN:
(纸本)0818684828
The structure Of object-orientedsystems typically forms a complicated, tangled web of interdependent classes, Understanding this implicit and hidden structure poses severe problems to developers and maintainers who want to use extend or adapt those systems. This paper advocates the usf of a logic meta-language to express and extract structural relation ships in class-based object-orientedsystems. As validation the logic meta-language,SOUL was implemented and used to construct a declarative framework that allows reasoning about the structure of Smalltalk programs. The declarative framework's usefulness is illustrated by expressing different high-level structural relationships such ns those described by design patterns.
Modelling with objects at a concrete level is attractive as a supplement to modelling with classes. The former is known as dynamic modelling and the latter as static modelling. This paper is about a language for descr...
详细信息
ISBN:
(纸本)081868383X
Modelling with objects at a concrete level is attractive as a supplement to modelling with classes. The former is known as dynamic modelling and the latter as static modelling. This paper is about a language for describing dynamic models. The language is defined at an abstract level, thus allowing us to concentrate on the underlying conceptual issues rather than more superficial ones such as diagrammatic notations. Our dynamic modelling is supported by a set of tools called DYNAMO. In this paper we concentrate mainly on. the concepts of the abstract modelling language, but we do also touch on the DYNAMO tools.
We show how formal methods can be used to model multi-threading in Java and provide useful insights into developing programs using multi-threaded objects. In particular. we will give an example of how deadlock can be ...
详细信息
ISBN:
(纸本)0818684852
We show how formal methods can be used to model multi-threading in Java and provide useful insights into developing programs using multi-threaded objects. In particular. we will give an example of how deadlock can be avoided. The formalism used is that of action systems.
Static program analysis, like data-flow analysis, is of central importance for enabling efficient implementations of object-orientedlanguages. In this paper we present a tool called SOLAT (Simple object-oriented Lang...
详细信息
ISBN:
(纸本)081868383X
Static program analysis, like data-flow analysis, is of central importance for enabling efficient implementations of object-orientedlanguages. In this paper we present a tool called SOLAT (Simple object-oriented Language Analyzing Tool) which can handle various program analyses in an unique framework. We describe, as an example of program analysis, a type analysis based on interprocedural data-flow analysis and show its benefits by empirical results. Furthermore, SOLAT provides a graphical interface to manage the results obtained by type analysis and can therefore be successfully used as annotation or debugging tool during program development.
This paper describes how Path Expressions and Programming by Contract can be supported in Interface Definition languages (IDLs) without the need for any IDL extensions or new keywords. The Programming by Contract mode...
详细信息
ISBN:
(纸本)0818684828
This paper describes how Path Expressions and Programming by Contract can be supported in Interface Definition languages (IDLs) without the need for any IDL extensions or new keywords. The Programming by Contract model described here contains extensions which allow clients to piece constraints on method calls at runtime, to improve system reliability and performance. As no IDL extensions are used, this system can be incorporated into new and existing systems and improve the quality and reliability of distributed objectorientedsystems. Ala example of the specification end a demonstration of its use are also presented.
Recent developments in research on formal methods made formal specification languages to be widely used in industrial applications. In particular, formal specification languages are mainly used to understand and/or to...
详细信息
暂无评论