Formal Methods for Open Object-based Distributed SystemsElie Najm, Jean-Bernard Stefani Springer Science & Business Media, 1997 - 411 páginas Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996. |
Contenido
A type description language supporting interoperability in open | 20 |
Describing behaviour in interfaces | 36 |
Formalizing fusion objectoriented analysis models | 47 |
An approach to integrate formal validation in an OO lifecycle of protocols | 63 |
Introducing formal notations in the development of objectbased | 79 |
Refinement of distributed object systems | 99 |
Some specification and proof steps of a spanning tree algorithm | 115 |
a programming paradigm | 135 |
An experience modelling telecommunications systems using | 221 |
the ODP trader | 245 |
An objectoriented description of services in a distributed system | 261 |
Towards a calculus for generative communication | 283 |
Omicron an objectoriented calculus | 298 |
A streambased mathematical model for distributed information | 315 |
Algebraic specification of distributed systems based on concurrent | 341 |
Expressing runtime structure and synchronisation in concurrent | 357 |
Interaction semantics for components of distributed systems | 154 |
Using actors as a computational model for OOram | 170 |
Viewpoint consistency in ODP a general interpretation | 189 |
Specification of composite objects based on the ODP reference model | 205 |
Specifying ODP computational objects in | 375 |
using Z | 391 |
List of authors | 407 |
Otras ediciones - Ver todas
Formal Methods for Open Object-based Distributed Systems: Volume 1 Elie Najm,Jean-Bernard Stefani Vista previa limitada - 2016 |
Formal Methods for Open Object-based Distributed Systems, Volumen1 Elie Najm,Jean-Bernard Stefani Vista previa limitada - 1997 |
Formal Methods for Open Object-based Distributed Systems, Volumen1 Elie Najm,Jean-Bernard Stefani Sin vista previa disponible - 1996 |
Términos y frases comunes
abstract action active actor algorithm allows analysis application approach architecture associated attributes basic behaviour binding called client communication complete components composite object composition computational concepts concurrent configuration consider consistency construction contains contract corresponding created defined definition denoted described distributed systems dynamic environment equivalence example execution expression extended FDTs Figure formal function given identifier implementation important inheritance initial input instance interaction interface internal introduced language LOTOS means method multiset node Note object object-oriented observable operation parallel performed places possible presented problem programming proof properties protocol received reference refinement relation relationship represented request requirements result rewrite role rules schema Science semantics sequence slot specification standard step structure synchronization techniques termination testing Trader transition University validation variables