[PDF] Semantic Integration Of Heterogeneous Software Specifications eBook

Author : Martin Große-Rhode
Publisher : Springer Science & Business Media
Page : 333 pages
File Size : 10,9 MB
Release : 2013-03-09
Category : Computers
ISBN : 3662098539

GET BOOK

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Author : Martin Große-Rhode
Publisher :
Page : 192 pages
File Size : 41,9 MB
Release : 2001
Category : Computer software
ISBN :

GET BOOK

Abstract: "Among the approaches to rational software systems development the viewpoint model has become predominant. That means, models of different views or aspects of a system on different levels of abstraction are built and maintained to document the design decisions passed during all development stages. The construction of such models should be supported by adequate modelling languages or specification formalisms that allow the representation of the concerned structures, functionality, and properties directly. In order to conceive all these models as a specification of a sole system a semantic integration is required that supports the statement of correspondences of elements of different models and the consistency checking of groups of models. The main problem in this task is the heterogeneity of the modelling paradigms and, correspondingly, of the specification languages. The approach to the integration of heterogeneous formal specifications presented in this report is based on a formal reference model that serves as common semantic domain for the different languages. In this it [sic] way supports the comparison of models independently of the chosen languages. In the reference model formal models of dynamic entities of arbitrary granularity are defined via their static structure and their dynamic behaviour. Then development relations and composition operations are introduced and general compositionality properties are shown. In particular, structural transparency is supported, i.e., structured systems of entities can always be considered as single dynamic entities in turn. Furthermore it is shown that compatible local development steps of the same type always induce a global development step of this type containing the local ones. The applicability of the reference model is shown by the interpretation of specifications of different specification formalisms in the reference model, such as the process calculus CCS, Petri nets, graph grammars, and the parallel programming language UNITY. Furthermore, the representation of object-oriented concepts in the reference model are discussed."

Author : Hartmut Ehrig
Publisher : Springer
Page : 638 pages
File Size : 37,56 MB
Release : 2011-04-05
Category : Computers
ISBN : 354027863X

GET BOOK

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.

Author : Alexander Egyed
Publisher : Springer
Page : 367 pages
File Size : 16,79 MB
Release : 2015-03-31
Category : Computers
ISBN : 3662466759

GET BOOK

This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verification; modeling and adaptation; and applications.

Author : Dines Bjørner
Publisher : Springer Science & Business Media
Page : 780 pages
File Size : 10,44 MB
Release : 2007-08-01
Category : Computers
ISBN : 354033193X

GET BOOK

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

Author : Reiko Heckel
Publisher : Springer
Page : 343 pages
File Size : 11,90 MB
Release : 2018-02-06
Category : Computers
ISBN : 3319753967

GET BOOK

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.

Author : Gabriele Taentzer
Publisher : Springer
Page : 214 pages
File Size : 21,82 MB
Release : 2015-07-16
Category : Computers
ISBN : 331921151X

GET BOOK

This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions. The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as aspect-oriented modeling, model management, model transformation, advanced meta-modeling, UML modeling tools, and domain-specific modeling w.r.t. energy consumption and cloud-based systems.

Author : Stefan Biffl
Publisher : Springer
Page : 413 pages
File Size : 23,29 MB
Release : 2016-11-14
Category : Computers
ISBN : 3319414909

GET BOOK

This is the first book to explore how Semantic Web technologies (SWTs) can be used to create intelligent engineering applications (IEAs). Technology-specific chapters reflect the state of the art in relevant SWTs and offer guidelines on how they can be applied in multi-disciplinary engineering settings characteristic of engineering production systems. In addition, a selection of case studies from various engineering domains demonstrate how SWTs can be used to create IEAs that enable, for example, defect detection or constraint checking. Part I “Background and Requirements of Industrie 4.0 for Semantic Web Solutions” provides the background information needed to understand the book and addresses questions concerning the semantic challenges and requirements of Industrie 4.0, and which key SWT capabilities may be suitable for implementing engineering applications. In turn, Part II “Semantic Web-Enabled Data Integration in Multi-Disciplinary Engineering” focuses on how SWTs can be used for data integration in heterogeneous, multi-disciplinary engineering settings typically encountered in the creation of flexible production systems. Part III “Creating Intelligent Applications for Multi-Disciplinary Engineering” demonstrates how the integrated engineering data can be used to support the creation of IEAs, while Part IV “Related and Emerging Trends in the Use of Semantic Web in Engineering” presents an overview of the broader spectrum of approaches that make use of SWTs to support engineering settings. A final chapter then rounds out the book with an assessment of the strengths, weaknesses and compatibilities of SWTs and an outlook on future opportunities for applying SWTs to create IEAs in flexible industrial production systems. This book seeks to build a bridge between two communities: industrial production on one hand and Semantic Web on the other. Accordingly, stakeholders from both communities should find this book useful in their work. Semantic Web researchers will gain a better understanding of the challenges and requirements of the industrial production domain, offering them guidance in the development of new technologies and solutions for this important application area. In turn, engineers and managers from engineering domains will arrive at a firmer grasp of the benefits and limitations of using SWTs, helping them to select and adopt appropriate SWTs more effectively. In addition, researchers and students interested in industrial production-related issues will gain valuable insights into how and to what extent SWTs can help to address those issues.

Author : Fred Kröger
Publisher : Springer Science & Business Media
Page : 440 pages
File Size : 15,12 MB
Release : 2008-03-27
Category : Computers
ISBN : 3540674012

GET BOOK

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Author : Chaochen Zhou
Publisher : Springer Science & Business Media
Page : 253 pages
File Size : 50,1 MB
Release : 2013-03-14
Category : Computers
ISBN : 3662067846

GET BOOK

A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).