SDL 2011: Integrating System and Software Modeling

Name: SDL 2011: Integrating System and Software Modeling | 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Iulian Ober Ileana Ober(Herausgeber*in)

Springer (Verlag)

Erschienen am 3. Dezember 2011

VIII, 277 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-25264-8 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
Invited Contributions and Tutorials
Model-Based Performance Analysis of Service-Oriented Systems (Invited Talk)
SCADE: A Comprehensive Framework for Critical System and Software Engineering
SDL-2010: Background, Rationale, and Survey
Background for the Development of SDL-2010
Status of SDL-2000
The Data Issue
Diagram Structure
Features without Formal Semantics
Feature Deletion, Retention and Extension
Organization of the SDL-2010 Language Standard
Shorthand Transformation Models
Reorganization of the Documents for the Language Standard
Basic SDL-2010 - Z.101
Comprehensive SDL-2010 - Z.102
Shorthand Notation and Annotation in SDL-2010 - Z.103
Data and Action Language in SDL-2010 - Z.104
SDL-2010 Combined with ASN.1 Modules - Z.105
Common Interchange Format for SDL-2010 - Z.106
Formal Definition (Annex F to Z.100)
Changed, New and Deleted Features
Synonym as a ``Read Only Variable
Lower Bound of Agent Instance Sets
Input and Save via Gate
Multiple Priority Levels of Input
Timer Supervised States
Deleted Features
Conclusion
References
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future
Introduction
Scope
Case Study
Specification of the System
The Challenge
The TASTE Approach: AADL and ASN.1
The Graphical TASTE Model
Model Transformation and Code Generation
Runtime Features
Conclusion and Future
References
Domain Specific Languages (Part 1)
Synthesizing Software Models: Generating Train Station Models Automatically
Introduction
Background
Domain-Specific Language
Train Control Language
Alloy
Model Synthesis
Synthesizing TCL Models
Generating TCL Models
Adding Dynamic Properties
Optimizing Alloy Models
Discussion
Related Work
Conclusion
Future Work
References
Exploring Early Availability Requirements Using Use Case Maps
Introduction
Availability Requirements
Availability Modeling in Use Case Maps
Use Case Maps Architectural Features
UCM Fault Detection Modeling
UCM Modeling of Fault Recovery and Repair
UCM Modeling of Fault Recovery-Reintroduction
UCM Fault Prevention Modeling
UCM Availability Metamodels
Illustrative Example: In Service Software Upgrade (ISSU)
Conclusion
References
Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing
Introduction
The Paprika Process
Modeling of the Scientific Dataset
Automatic Generation of the Editor
Paprika Generic Editor
Implementation and Use
Paprika Studio
Paprika Generic Editor
Demonstration
An Empirical Study
Evaluation Method and Criteria
Results Analysis
Conclusion and Perspectives
References
Test
Verifiable Coverage Criteria for Automated Testing
Introduction
Functional Criterion
Structural Criterion
Tolerance Range Criterion
Conclusions
References
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3
Introduction
Model-Based Testing
Designing Abstract Models in TTCN-3
Modelling System and Its Interfaces
Functional Approach for Modelling Behaviour in TTCN-3
Modelling Behaviour with State Transition Tables
Analysis of Mapping Alternatives
Propositions
Conclusions
References
Towards a Model Based Approach for Integration Testing
Introduction
UML Testing Profile (UTP)
UTP Based Integration Testing Approach
Overall Approach
Test Model Generation
Related Work
Conclusion
References
Components and Services
Session Initiation as a Service
Introduction
The Case for Dynamic Session Initiation
Example Service (SimplePhoneCall)
The Session Initiation Functionality
System Design (with Controller Role)
Composition of Session Initiation and Service Sessions
Discussion and Related Work
References
PMG-Pro: A Model-Driven Development Method of Service-Based Applications
Introduction
Service-Based Applications: A Scenario
The PMG-Pro Method
The Presenting Step
The Modeling Step
The Automated Code Generation Step
Related Work
Conclusion
References
A Model-Driven Framework for Component-Based Development
Introduction
The Model-Driven Framework for Component-Based Development
Service Models
Component Models
Component Composition
System Composition
Related Work
Concluding Remarks
References
Separation of Concerns with Transactional Regions
Introduction
Regions as Modular Units
Orthogonal Regions
Regions as Units of Modularity
Transactional Regions
Motivation
Transactional Composition
Untitled
Size Metrics
Modularity Metrics
Case Study Results
Monolithic Implementation
Transactional Implementation
Metrics Comparison
Discussion
Summary
Related Work
Conclusions
References
Specification and Description Language (SDL)
Real-Time Signaling in SDL
Introduction
Conceptual Considerations
Realization of Time-Triggered Schedulers in SDL
Drawbacks of SDL Solutions
Real-Time Signaling in SDL: Concept, Syntax, and Semantics
Specified Signal Arrival Time
Signal Expiry Time
Timestamping of Signals
Example of Real-Time Signaling
SDL Environment Framework (SEnF)
Evaluation
Related Work
Conclusions and Future Work
References
Priority Scheduling in SDL
Introduction
Related Work
Scheduling Strategies in SDL
Problem Statement
Supported Scheduling Strategies
Suspension of Agents
Dealing with the SDL Environment
Implementation Aspects
Experimental Evaluation
Accuracy of SDL Timers
Prioritized Signal Exchange
Conclusions
References
A Model-Based Formalization of the Textual Notation for SDL-UML
Introduction
Related Work
The Textual Notation of the SDL-UML Profile
A Model-Based Formalization of the Textual Notation
General Approach
A Metamodel for the Textual Notation of SDL-UML
OCL Constraints on the Textual Notation
Transformation of Shorthand Notations
Framework for Processing the Textual Notation
Components of the Framework
Requirements for the Parser
The SGLR Parser
The Syntax Definition Formalism and Its Relation to Metaclasses
Conclusion and Future Work
References
Domain Specific Languages (Part 2)
Standardizing Variability - Challenges and Solutions
Introduction
Challenges
Achieving Generality
Automated Generation
Powerful Abstraction Mechanisms While Still Simple
Concrete Syntax
Generic Tooling
Solutions
Achieving Generality: The Fragment
Automating Generation: Semantics by Transformation
Abstraction Mechanisms: The MAGIC of CVL
Concrete Syntax: Different Solutions to Different Problems
Generic Tooling: The CVL Tool
Related Work
Summary and Future Work
References
MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing
Introduction
Problem Statement
Current Development Process
State of the Art
The HPC World
Model Driven Engineering
Overview of the Proposed Approach MDE4HPC
General MDA Principles Applied
Openings Offered by the Models Use
Archi-MDE
Conclusion and Future Work
References
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications
Introduction
Modeling Needs for Automotive Applications to Enable Scheduling Analysis
System-Oriented Features
Design-Oriented Features
Modeling Languages Capabilities
Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken