The proceedings contain 27 papers. The special focus in this conference is on Real-Time Systems, Formally Engineering Systems, Software Engineering and object Orientation. The topics include: An essay on software engi...
ISBN:
(纸本)3540672613
The proceedings contain 27 papers. The special focus in this conference is on Real-Time Systems, Formally Engineering Systems, Software Engineering and object Orientation. The topics include: An essay on software engineering at the turn of century;parallel refinement mechanisms for real-time systems;a process algebra for real-time programs;system fault tolerance specification;proposal of a method combining semi-formal and formal approaches;structuring and design of reactive systems using RSDS and b;using domain-specific languages for the realization of component composition;analysing UML active classes and associated state machines;quality factors and life-cycle revised;a formal approach to heterogeneous software modeling;formal specification of object-oriented meta-modelling;verification of objectoriented programs using class invariants;verification of object-z specifications by using transition systems;application to the radiomobile network design problem;a model for describing object-oriented systems from multiple perspectives;stepwise introduction and preservation of safety properties in algebraic high-level net systems;ready-simulation is not ready to express a modular refinement relation;java program verification via a Hoare logic with abrupt termination;foundations for software configuration management policies using graph transformations;analyzing non-functional properties of mobile agents;specification of an automatic manufacturing system;a case study on using automata in control synthesis and formal system development with KIV.
For some time, object-orientedprogramming has become standard practice in sequential programing. objects separate the interface from the representation and promote reuse of code. Although concurrency is a natural con...
ISBN:
(纸本)9783540679561
For some time, object-orientedprogramming has become standard practice in sequential programing. objects separate the interface from the representation and promote reuse of code. Although concurrency is a natural consequence of objects, the standard model of objects uses sequential procedure calls. Early research in actors unifed concurrency with objects and provided a basis for use of objects in parallel and distributed systems.
CORBA is a standard proposed by the object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (I...
详细信息
CORBA is a standard proposed by the object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects, However, CORBA IDL does not provide any means to specify the behavior of objects in an abstract and formal way. In the current practice, behavioral specification is provided either in plain English, or directly in the programming language chosen for the implementation, We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. We detail at the syntactic and semantic level how this formalism supports the features of the CORBA object model. We present a realistic case study to demonstrate our approach, Our technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to prototype and test a distributed object system as soon as the behaviors of individual objects have been defined. The paper discusses several implementation issues of the tool that supports the edition of models and their interactive excution, The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications. Copyright (C) 2000 John Wiley & Sons, Ltd.
Working for a wide kind of industrials, we have note that more and more industrial coming from Avionics, Ground Transportation are moving to full objectoriented development. On another hand, more and more application...
详细信息
ISBN:
(纸本)9290926694
Working for a wide kind of industrials, we have note that more and more industrial coming from Avionics, Ground Transportation are moving to full objectoriented development. On another hand, more and more applications become subject to "certification": which more and more stringent constraints. Moreover such certifiable applications have an increasing complexity, this is due principally to the fact that now ground system are subject to formal certification. Starting from this state of art Aonix has tried to reduce the cost of development of certifiable application :first by increasing the traceability between analysis, design and programming, second by reducing the complexity of the code and third by reducing the cost of evolution regarding the test process. These brand new methodology, named OTCD Optimised Technique for Certification of Dispatching, was developed for the implementation of a protocol of communication. And we are currently formalising it under the name of Certifiable Pattern Design.
The proceedings contain 22 papers. The special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. The topics include: Protocol-safe workflow support for santa claus;seman...
ISBN:
(纸本)354066954X
The proceedings contain 22 papers. The special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. The topics include: Protocol-safe workflow support for santa claus;semantic and usage packaging for software components;tackling interoperability problems during system integration;reasoning about object clients and distributed object interaction;automatic selection of problem solving libraries based on competence matching;behavioural mapping for service substitutability;conceptual design and development of applications based on object interoperability;improving the interoperability in multi-agent systems;automatic configuration in the 2K operating system;an explicit binding model for runtime extensible operating systems;supervision of CORBA applications;on the development of object-oriented operating systems for deeply embedded systems;scalable adaptation based on decomposition;an object-oriented operating system;an object-oriented, dynamically adaptable, virtual file system for CHEOPS;eliminating garbage collection by using virtual memory techniques to implement complete object persistence and object model with exchangeable invocation semantics.
The proceedings contain 24 papers. The special focus in this conference is on Invited Paper 1 and Mixins. The topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and ...
ISBN:
(纸本)3540661565
The proceedings contain 24 papers. The special focus in this conference is on Invited Paper 1 and Mixins. The topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and mixins;propagating class and method combination;a study of the allocation behavior of the SPECjvm98 java benchmarks;visualizing reference patterns for solving memory leaks in java;dynamic query-based debugging;foundations for virtual types;unifying genericity;an object-oriented effects system;providing persistent objects in distributed systems;inlining of virtual methods;modular statically typed multimethods;multi-method dispatch using multiple row displacement;internal iteration externalized;type-safe delegation for run-time component adaptation;towards automatic specialization of java programs;wide classes;an approach to classify semi-structured objects;object-orientedprogramming on the network;providing fine-grained access control for java programs;formal specification and prototyping of CORBA systems;a process algebraic specification of the new asynchronous CORBA messaging service;object-orientedprogramming.
objectorientedprogramming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of extending the methods of these classes...
详细信息
objectorientedprogramming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of extending the methods of these classes, programmers often introduce subclasses in which they replace methods with new implementations that are completely detached from the superclass; that is, the subclass method does not invoke, directly or indirectly, its counterpart in the superclass. We apply the SPOOL environment to the reverse engineered C++ source code of the ET++ application framework to investigate the occurrences and causes for method replacements. To this end, we define a method replacement indicator (MRI) that quantifies the extent of method replacements. Based on the data obtained in our case study, we identify and discuss the ten causes why programmers replace non-primitive method implementations of reusable classes.
This chapter contains summaries of the presentations given at the Intercontinental Workshop on Aliasing in object-oriented Systems (IWAOOS'99) at the european conference on object-oriented programming (ecoop'9...
详细信息
An effects systems describes how state may be accessed during the execution of some program component. This information is used to assist reasoning about a program, such as determining whether data dependencies may ex...
详细信息
ISBN:
(纸本)3540661565
An effects systems describes how state may be accessed during the execution of some program component. This information is used to assist reasoning about a program, such as determining whether data dependencies may exist between two computations. We define an effects system for Java that preserves the abstraction facilities that make object-orientedprogramming languages attractive. Specifically, a subclass may extend abstract regions of mutable state inherited from the superclass. The effects system also permits an object's state to contain the state of wholly-owned subsidiary objects. In this paper, we describe a set of annotations for declaring permitted effects in method headers, and show how the actual effects in a method body can be checked against the permitted effects.
暂无评论