↓ Skip to main content

Model Driven Architecture - Foundations and Applications

Overview of attention for book
Cover of 'Model Driven Architecture - Foundations and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Creating Embedded Platforms with MDA: Where’s the Sweet Spot?
  3. Altmetric Badge
    Chapter 2 Comparison of Three Model Transformation Languages
  4. Altmetric Badge
    Chapter 3 On the Use of Higher-Order Model Transformations
  5. Altmetric Badge
    Chapter 4 Managing Model Adaptation by Precise Detection of Metamodel Changes
  6. Altmetric Badge
    Chapter 5 A Pattern Mining Approach Using QVT
  7. Altmetric Badge
    Chapter 6 A Language-Theoretic View on Guidelines and Consistency Rules of UML
  8. Altmetric Badge
    Chapter 7 A Domain Specific Language for Extracting Models in Software Modernization
  9. Altmetric Badge
    Chapter 8 Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
  10. Altmetric Badge
    Chapter 9 Derivation and Refinement of Textual Syntax for Models
  11. Altmetric Badge
    Chapter 10 Uniform Random Generation of Huge Metamodel Instances
  12. Altmetric Badge
    Chapter 11 Establishing Correspondences between Models with the Epsilon Comparison Language
  13. Altmetric Badge
    Chapter 12 Dependent and Conflicting Change Operations of Process Models
  14. Altmetric Badge
    Chapter 13 Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
  15. Altmetric Badge
    Chapter 14 Temporal Extensions of OCL Revisited
  16. Altmetric Badge
    Chapter 15 An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications
  17. Altmetric Badge
    Chapter 16 A Model Driven Approach to the Analysis of Timeliness Properties
  18. Altmetric Badge
    Chapter 17 A Hybrid Graphical and Textual Notation and Editor for UML Actions
  19. Altmetric Badge
    Chapter 18 Mapping Requirement Models to Mathematical Models in Control System Development
  20. Altmetric Badge
    Chapter 19 On Study Results: Round Trip Engineering of Space Systems
  21. Altmetric Badge
    Chapter 20 MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
  22. Altmetric Badge
    Chapter 21 Managing Flexibility: Modeling Binding-Times in Simulink
  23. Altmetric Badge
    Chapter 22 Experiences of Developing a Network Modeling Tool Using the Eclipse Environment
  24. Altmetric Badge
    Chapter 23 MBT4Chor: A Model-Based Testing Approach for Service Choreographies
  25. Altmetric Badge
    Chapter 24 Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study
Attention for Chapter 23: MBT4Chor: A Model-Based Testing Approach for Service Choreographies
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
19 Mendeley
citeulike
1 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
MBT4Chor: A Model-Based Testing Approach for Service Choreographies
Chapter number 23
Book title
Model Driven Architecture - Foundations and Applications
Published by
Springer, Berlin, Heidelberg, June 2009
DOI 10.1007/978-3-642-02674-4_23
Book ISBNs
978-3-64-202673-7, 978-3-64-202674-4
Authors

Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 19 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 1 5%
Sweden 1 5%
China 1 5%
Brazil 1 5%
Unknown 15 79%

Demographic breakdown

Readers by professional status Count As %
Student > Master 6 32%
Student > Bachelor 2 11%
Lecturer 2 11%
Professor 2 11%
Student > Ph. D. Student 2 11%
Other 3 16%
Unknown 2 11%
Readers by discipline Count As %
Computer Science 15 79%
Engineering 2 11%
Unknown 2 11%