Reinhard Gotzhein Livres

InhaltsverzeichnisLanguage Profiles.A UML Profile for Communicating Systems.Implementing the eODL Graphical Representation.Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.Formal Operations for SDL Language Profiles.Evolution of Development Languages.Automating Scenario Merging.Timed High-Level Message Sequence Charts for Real-Time System Design.Timed Use Case Maps.Model-Driven Development.Application of Stuck-Free Conformance to Service-Role Composition.A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models.Refactoring and Metrics for TTCN-3 Test Suites.SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches.Language Implementation.Evaluation of Development Tools for Domain-Specific Modeling Languages.Towards Integrated Tool Support for the User Requirements Notation.ConTraST – A Configurable SDL Transpiler and Runtime Environment.

This work explores the design and analysis of open distributed systems, emphasizing key topics such as the role of standards and the necessity for formal descriptions. It outlines formal methods within the system design process, detailing a model for design and requirements for formal description techniques, along with synthesis and analysis activities. The specification of requirements for open distributed systems is examined, covering architectural concepts, system architectures, and the Basic Reference Model of Open Systems Interconnection. A modular temporal logic tailored for open distributed systems is developed, addressing expressiveness and surveying existing temporal logics. The interaction point concept is introduced, highlighting its significance and properties, along with formal specifications and reasoning about interaction points across various abstraction levels. Communication services are discussed, including design methodologies and specific examples like the modified InRes service. An epistemic logic is proposed, focusing on the role and notions of knowledge within open distributed systems. The application of temporal epistemic logics is illustrated through examples such as mutual exclusion and the drink server. The work concludes with references, theorems, valid formulas, ordering properties for service providers, abbreviations, and notation, providing a comprehensive framework for understanding and an