
Recent Trends in Algebraic Development Techniques
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

Persons
Content
- Title Page
- Preface
- Organization
- Table of Contents
- Invited Talks
- Building a Modal Interface Theory for Concurrency and Data
- Introduction: Basic Principles of System Design
- Modal Input/Output Automata with Data Constraints and Their Refinement
- Compositionality and Compatibility Results
- Related Work
- Conclusion
- References
- My ADT Shrine
- Opening the Shrine
- Early Treasures
- ADT Roots
- Algebraic Domain Equations
- Drifting Away
- Visits Home
- Closing the Shrine
- References
- Evolving SOA in the Q-ImPrESS Project
- References
- Contributed Papers
- Sharing in the Graph Rewriting Calculus
- Introduction
- The Graph Rewriting Calculus
- A Sharing Strategy for the g-calculus
- Properties of the Sharing Strategy
- Adequacy
- Maximal Sharing
- Conclusions
- References
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions
- Introduction
- Background on Parallel Sagas
- New Semantics for Parallel Sagas
- Operational and Logical Account
- Discussion and Related Work
- Conclusion
- References
- Towards a First-Order Deontic Action Logic
- Introduction
- Syntax and Semantics
- An Axiomatic System
- Soundness and Completeness
- Related Logics
- An Example
- Conclusions and Further Remarks
- References
- CASL-MDL, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
- Introduction
- CASL-MDL Models
- Entity Types and Type Diagrams
- Datatypes
- Dynamic Types
- Interaction Properties
- Conclusions and Future Work
- References
- Lambda Expressions in CASL Architectural Specifications
- Introduction
- CASL Architectural Specifications
- Semantics of Generic Unit Expressions
- Adding Dependency Tracking
- Completeness of Extended Static Semantics
- Parametric Architectural Specifications
- An Application: Refinement of Units with Imports
- Conclusions
- References
- A Proof Theoretic Interpretation of Model Theoretic Hiding
- Introduction
- Structured Specifications
- LF and MMT
- LF
- LF+MMT
- Representing Logics in LF
- Hiding in LF and MMT
- LF with Hiding
- LF+MMT with Hiding
- Interpreting ASL in LF+MMT
- Logics
- Specifications
- Adequacy for Specifications
- Adequacy for Refinements
- Related Work
- Conclusion
- References
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets
- Introduction
- Preliminaries
- The Heterogeneous Tool Set
- Proof Theoretic Logical Frameworks
- A Logic Atlas in LF
- The LATIN Metaframework
- Main Definition
- Generalizations
- Logical Frameworks in Hets
- Implementing the LMF in Hets
- LF as a Logical Framework in Hets
- Adding a New Logic in Hets: FOL
- Conclusion and Future Work
- References
- An Institution for Graph Transformation
- Introduction
- Background
- Graphs
- Graph Rewriting
- Institutions
- An Institution for GTS
- Signatures
- Sentences
- Models
- Satisfiability
- Satisfaction Condition
- About the Double-Pullback Approach
- Conclusions
- References
- New Results on Timed Specifications
- Introduction and State of the Art
- Background: Real Time Specifications as Games
- Büchi Objectives
- Solving Büchi Games with SOTFTR
- Combining Safety and Büchi objectives
- Case Study
- Timing Diagram Model
- Separate Driver and Sensor Models
- Summary and Future Work
- References
- Combining Graph Transformation and Algebraic Specification into Model Transformation
- Introduction
- Example: Reduction of $SAT3$ to $INDEP$
- Graph Transformational Rule Bases
- Model Transformation
- Assumptions
- Constrained Models and Their Types
- Actions Combining Rules and Operations
- Application of Actions
- Model Transformation Units
- Semantics
- Example
- Interaction between Graph Transformation and Algebraic Specification
- Termination, Functionality and Correctness
- Termination
- Functionality
- Correctness
- Related Work
- Conclusion
- References
- Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum
- Introduction
- Bialgebraic Semantics
- Syntax, Signature, -Algebra
- SOS Rules, Transition System, Coalgebra
- Bialgebraic Semantics
- Limitations of Finality
- The Concept of Quasi-finality
- Towards Quasi-final Semantics
- A Transformation of the SOS Rules
- A Proof Approach
- Application to CSP
- Conclusion and Future Work
- References
- Algebraic Signatures Enriched by Dependency Structure
- Introduction
- Motivation
- Dependency Relation
- Category Rset"3223379 and Its Subcategories
- R-multisets and Dependency Bisimulation
- Limits in Rset"3223379
- Colimits in Rset"3223379
- Algebraic Signatures with Dependent Symbols
- Reconstructing Signatures with Dependent Symbols
- Limits and Colimits in AlgSigDep
- Conclusion
- References
- Compositional Modelling and Reasoning in an Institution for Processes and Data
- Introduction
- Loose Process Semantics
- CSP-CASL Institutions for Different CSP Models
- Signatures
- Sentences
- The Alphabet Construction
- Models and Satisfaction
- Pushouts and Amalgamation
- CSP-CASL with Channels
- Refinement and a Structured Proof Calculus
- Refinement
- Compositional Proof Rules along Structuring
- Compositional Verification of Deadlock Freedom
- Deadlock Freedom in Structured Specifications
- Composing Networks
- Example: Online-Shop
- The Specification in Detail
- Deadlock Analysis
- Conclusion and Future Work
- References
- Proving Properties about Functions on Lists Involving Element Tests
- Introduction
- The Earlier Results on Lists, Rephrased
- Refining the Container-Related Notions
- The Type Class $Eq$
- The Type Class $Ord$
- Conclusion and Future Work
- References
- Test-Case Generation for Maude Functional Modules
- Introduction
- Maude
- Maude Functional Modules
- Term Generation
- Testing Maude Functional Modules
- Black-Box Testing
- White-Box Testing
- Enhancing the Performance
- Implementation
- Concluding Remarks and Ongoing Work
- References
- Author Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.