Formal Support for the Engineering of CORBA-based Distributed Object Systems
نویسندگان
چکیده
We present a CASE tool based on an object-oriented Petri nets dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilities of verification, validation and distributed interpretation provided by Cooperative Objects. Formal Support for the Engineering of CORBA-based Distributed Object Systems Rémi Bastide, Ousmane Sy, Philippe Palanque LIHS-FROGIS, Université Toulouse I, Place Anatole France, F-31042 Toulouse CEDEX, France {bastide, sy, palanque} @univ-tlse1.fr
منابع مشابه
Towards Components that Plug AND Play
Component-based programming promotes a software development process where applications are built by composing reusable pieces of software, called components. This process requires a demanding form of compatibility between components, often dubbed as “Plug and Play”: Plugability refers to the syntactic compatibility between components while “playability” refers to their behavioural compatibility...
متن کاملIntegration of CORBA Services with a Dynamic Real-Time Architecture
The Common Object Request Broker Architecture (CORBA) is the most successful representative for an object-based distributed computing architecture. Although CORBA simplifies the implementation of complex, distributed systems significantly, support of techniques for reliable, faulttolerant software, such as online replacement or replication is not within scope of today’s CORBA or Real-time CORBA...
متن کاملA Formal Specification of the CORBA Event Service
CORBA is a standard proposed by the Object Management Group (OMG) that promotes interoperability between distributed object systems. Following the standardization of this object-oriented middleware, the OMG has specified a set of Common Object Services (COS) that are meant to serve as the building blocks of distributed CORBA applications. The COSes are specified using CORBA Interface Definition...
متن کاملBuilding Reliable Distributed Systems with CORBA
New classes of large-scale distributed applications will have to deal with unpredictable communication delays, with partial failures, and with networks that partition. In addition, sophisticated applications like teleconferencing, video-on-demand, and concurrent software engineering require a group communication abstraction. These paradigms are not adequately ad-ion. These paradigms are not ade...
متن کاملSupply Chain Simulation in a Devs / Corba Execution Environment
The emerging electronic commerce and rapidly changing business environments place strong requirements on a next-generation supply-chain analyzer to simulate the flow of goods through the entire supply chain in a timely manner. Such requirements include scalable and efficient model execution and support for flexible future extensibility based on an open industry standard. This paper presents des...
متن کامل