Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development

  • Patricia López Martínez
  • Tullio Vardanega
Conference paper

DOI: 10.1007/978-3-642-30598-6_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7308)
Cite this paper as:
López Martínez P., Vardanega T. (2012) Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development. In: Brorsson M., Pinho L.M. (eds) Reliable Software Technologies – Ada-Europe 2012. Ada-Europe 2012. Lecture Notes in Computer Science, vol 7308. Springer, Berlin, Heidelberg


In this paper we discuss how the concept of separation of concerns could be conveniently applied to improve the model-driven component-based development of real-time high-integrity systems. Interpreting Dijkstra’s view in this regard, we seek separation of concerns between the specification of needs (expressed declaratively by the user as requirements and assumptions) and the conception of a demonstrable solution for them (which we want to implement automatically, in the spirit of model-driven development). We aim to enable software designers to specify the assumptions needed on the expected behavior of the system solely by attaching declarative attributes to the affected elements of the system model. We then want the underlying design environment to produce a solution that provably achieves that behavior at run time. We find this vision to fit very well in a component-based development as it naturally allows the declarative space to be confined to interfaces (for the outside view of components) and operations (for the inside view of them). To prove the viability of our vision we apply it to the handling of synchronization requirements as seen from the perspective of the calling component, which is acutely more challenging than from the standpoint of the provider component.


Separation of Concerns component-based development synchronization high-level data races 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Patricia López Martínez
    • 1
  • Tullio Vardanega
    • 2
  1. 1.Computers and Real-Time GroupUniversity of CantabriaSantanderSpain
  2. 2.Department of MathematicsUniversity of PaduaPadovaItaly

Personalised recommendations