A new model for supporting collaborative software development with shared, multiple textual and graphical views is presented. Multiple views of software development can be synchronously, semi-synchronously and asynchr...
详细信息
Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorithm for detecting deadlocks of linear ...
详细信息
This paper aims to introduce object-orientedprogramming (OOP) concepts in the context of gas turbine engine performance computations. objects are collections of data and functions that represents useful elements in a...
详细信息
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference systems are extremely difficult to de...
详细信息
One approach to making graphical object-oriented methods (OOMs) more precise and amenable to rigorous analysis is to integrate them with suitable formal specification notations. The integration we outline in this pape...
详细信息
In the new applications that support user cooperation using the power of distributed computers, users' processes in distributed hosts often share large data structures containing nested structure and pointers that...
详细信息
In the new applications that support user cooperation using the power of distributed computers, users' processes in distributed hosts often share large data structures containing nested structure and pointers that often indicate persistent objects. Transactions usually manage concurrent accesses to shared persistent objects in such applications. Although various types of transaction schemes have been proposed for supporting cooperative applications, no single scheme provides efficient and appropriate semantics for all applications. We propose a system with a customizable framework for persistent object management. We classify transaction semantics into two major layers, the external transaction semantics, which manages relations between transactions, and the internal transaction semantics, which manages sharing among tasks within a transaction. The external transaction semantics is described according to the ACTA framework, a theoretical framework that is proposed for specifying the structure and behavior of transactions. We apply the ACTA framework to actual implementation of our transaction system, by mapping the ACTA's object sets into versioned object tables. The internal transaction semantics is described through distributed shared memory protocols. Versioned objects connect two layers into an integrated persistent object system.
This paper describes our research on the design and implementation of an interface definition language, called RIDL, for distributed objectoriented systems. The major goal of this language is to provide more expressi...
详细信息
This paper describes our research on the design and implementation of an interface definition language, called RIDL, for distributed objectoriented systems. The major goal of this language is to provide more expressive and flexible facilities for describing not only the signatures of distributed objects as supported by CORBA's IDL[8] and Microsoft's MIDL[6], but also their behaviour, including fault tolerance semantics, in an implementation-independent manner. This allows for more checking and reasoning on the system's behaviour at an early stage so that more cost-effectiveness and reliability could be achieved. Also, by using a sophisticated separation and distribution of the interfaces of objects in a system, RIDL can still allow for the pragmatic requirements of flexibility and performance.
The type system of a programming language system PL/LL is described. PL is a simple object oriented programming language and LL is a language for composing PL modules into programs. The goals of the PL/LL system are t...
详细信息
POOL is an object-oriented class-based language whose simple Pascal-like syntax, combined with static type-checking, facilitates the rapid construction of reliable reusable software components. Key features of the lan...
详细信息
In this paper, an objectoriented development environment, OVOPS, for protocol implementation is described. objectoriented tools have been gaining ground quite slowly in the field of protocol engineering. By providin...
详细信息
暂无评论