Formal Methods For Distributed System Development

Author : Tommaso Bolognesi,Diego Latella
Publisher : Springer
Page : 412 pages
File Size : 42,7 Mb
Release : 2013-03-20
Category : Computers
ISBN : 9780387355337

Get Book

Formal Methods for Distributed System Development by Tommaso Bolognesi,Diego Latella Pdf

th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. In devising the subtitle for this special edition --'Fonna! Methods Implementation Under Test' --we wanted to convey two main concepts that, in our opinion, are reflected in the contents of this book. First, the early, pioneering phases in the development of Formal Methods (FM's), with their conflicts between evangelistic and agnostic attitudes, with their over optimistic applications to toy examples and over-skeptical views about scalability to industrial cases, with their misconceptions and myths . . . , all this is essentially over. Many FM's have successfully reached their maturity, having been 'implemented' into concrete development practice: a number of papers in this book report about successful experiences in specifYing and verifYing real distributed systems and protocols. Second, one of the several myths about FM's - the fact that their adoption would eventually eliminate the need for testing - is still quite far from becoming a reality, and, again, this book indicates that testing theory and applications are still remarkably healthy. A total of 63 papers have been submitted to FORTEIPSTV 2000, out of which the Programme Committee has selected 22 for presentation at the Conference and inclusion in the Proceedings.

Author : Tommaso Bolognesi,Diego Latella
Publisher : Unknown
Page : 428 pages
File Size : 45,5 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 1475752636

Get Book

Formal Methods for Distributed System Development by Tommaso Bolognesi,Diego Latella Pdf

Author : Fabrice Kordon,Michel Lemoine
Publisher : Springer Science & Business Media
Page : 263 pages
File Size : 46,9 Mb
Release : 2007-05-08
Category : Computers
ISBN : 9781402079979

Get Book

Formal Methods for Embedded Distributed Systems by Fabrice Kordon,Michel Lemoine Pdf

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.

Author : Elie Najm,Jean-Bernard Stefani
Publisher : Springer
Page : 408 pages
File Size : 42,8 Mb
Release : 2016-02-13
Category : Computers
ISBN : 9780387350820

Get Book

Formal Methods for Open Object-based Distributed Systems by Elie Najm,Jean-Bernard Stefani Pdf

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.

Author : Elie Najm,Uwe Nestmann,Perdita Stevens
Publisher : Springer
Page : 304 pages
File Size : 43,8 Mb
Release : 2003-11-24
Category : Computers
ISBN : 9783540399582

Get Book

Formal Methods for Open Object-Based Distributed Systems by Elie Najm,Uwe Nestmann,Perdita Stevens Pdf

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems,andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.

Author : Elie Najm,Jean-Bernard Stefani
Publisher : Unknown
Page : 411 pages
File Size : 49,7 Mb
Release : 1997
Category : Electronic data processing
ISBN : 1504128753

Get Book

Formal Methods for Open Object-based Distributed Systems by Elie Najm,Jean-Bernard Stefani Pdf

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.

Author : Howard Bowman,John Derrick
Publisher : Cambridge University Press
Page : 494 pages
File Size : 41,9 Mb
Release : 2001-10-22
Category : Computers
ISBN : 0521771846

Get Book

Formal Methods for Distributed Processing by Howard Bowman,John Derrick Pdf

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Author : Martin Steffen,Gianluigi Zavattaro
Publisher : Springer Science & Business Media
Page : 332 pages
File Size : 54,5 Mb
Release : 2005-06-03
Category : Computers
ISBN : 9783540261810

Get Book

Formal Methods for Open Object-Based Distributed Systems by Martin Steffen,Gianluigi Zavattaro Pdf

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.

Author : Roberto Gorrieri,Heike Wehrheim
Publisher : Springer Science & Business Media
Page : 276 pages
File Size : 47,8 Mb
Release : 2006-06-09
Category : Computers
ISBN : 9783540348931

Get Book

Formal Methods for Open Object-Based Distributed Systems by Roberto Gorrieri,Heike Wehrheim Pdf

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Author : Gilles Barthe
Publisher : Springer
Page : 259 pages
File Size : 45,5 Mb
Release : 2008-06-03
Category : Computers
ISBN : 9783540688631

Get Book

Formal Methods for Open Object-Based Distributed Systems by Gilles Barthe Pdf

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

Author : Marcello M. Bonsangue,Einar Broch Johnsen
Publisher : Springer
Page : 317 pages
File Size : 49,7 Mb
Release : 2007-06-27
Category : Computers
ISBN : 9783540729525

Get Book

Formal Methods for Open Object-Based Distributed Systems by Marcello M. Bonsangue,Einar Broch Johnsen Pdf

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Author : Kenji Suzuki,Teruo Higashino,Keiichi Yasumoto,Khaled El-Fakih
Publisher : Springer Science & Business Media
Page : 351 pages
File Size : 51,8 Mb
Release : 2008-05-27
Category : Computers
ISBN : 9783540688549

Get Book

Formal Techniques for Networked and Distributed Systems – FORTE 2008 by Kenji Suzuki,Teruo Higashino,Keiichi Yasumoto,Khaled El-Fakih Pdf

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.

Author : Howard Bowman,John Derrick
Publisher : Springer
Page : 466 pages
File Size : 43,5 Mb
Release : 2016-01-09
Category : Computers
ISBN : 9780387352619

Get Book

Formal Methods for Open Object-based Distributed Systems by Howard Bowman,John Derrick Pdf

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.

Author : Luigia Petre,Emil Sekerinski
Publisher : CRC Press
Page : 284 pages
File Size : 41,6 Mb
Release : 2016-04-27
Category : Computers
ISBN : 9781498701594

Get Book

From Action Systems to Distributed Systems by Luigia Petre,Emil Sekerinski Pdf

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties and evolution laws of existing complex and adaptive systems—man-made such as smart electrical grids or natural ones such as biological networks. A tribute to Professor Kaisa Sere’s contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach is the first book to address the impact of refinement through a multitude of formal methods ranging from Action Systems to numerous related approaches in computer science research. It presents a state-of-the-art review on the themes of distributed systems and refinement. A fundamental part of Kaisa Sere’s research consisted of developing Action Systems, a formalism for modeling, analysing, and constructing distributed systems. Within the design of distributed systems, Kaisa Sere’s main research focus was on refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Presenting scientific contributions from renowned researchers around the world, this edited book consists of five sections: Modeling, Analysis, Proof, Refinement, and Applications. Each chapter has been thoroughly reviewed by experts in the field. The book covers both traditional aspects in formal methods research, as well as current and innovative research directions. It describes the transition from the strong theory of refinement to a methodology that can be applied in practice, with tool support. Examining industrial applications of the methods discussed, this book is a suitable resource for graduate students, researchers, and practitioners interested in using formal methods to develop distributed systems of quality.

Author : Paolo Ciancarini,Alessandro Fantechi,Roberto Gorrieri
Publisher : Springer
Page : 437 pages
File Size : 42,9 Mb
Release : 2013-11-11
Category : Computers
ISBN : 9780387355627

Get Book

Formal Methods for Open Object-Based Distributed Systems by Paolo Ciancarini,Alessandro Fantechi,Roberto Gorrieri Pdf

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.