Specification and Generation of Adapters for System Integration

  • Arjan J. MooijEmail author
  • Marc Voorhoeve


Large systems-of-systems are developed by integrating several smaller systems that have been developed independently. System integration often requires adaptation mechanisms for bridging any technical incompatibilities between the systems. In order to develop adapters in a faster way, we study ways to generate adapters from a model-based specification. In particular, we consider techniques from the fields of control theory and database theory. We illustrate and evaluate these techniques using an example from the domain of maritime safety and security.


Transformation Rule Interface Behavior Controller Synthesis Adapter Specification Interface Technology 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



This research has been carried out as a part of the Poseidon project at Thales under the responsibilities of the Embedded Systems Institute (ESI). This project is partially supported by the Dutch Ministry of Economic Affairs under the BSIK program.

The authors like to thank Maurice Glandrup for providing relevant examples of adapters in the domain of maritime safety and security. The authors also like to thank Christian Günther for integrating the discovery of behavioral interface models using process mining techniques in our prototype based on controller synthesis.


  1. 1.
    Bracciali A, Brogi A, Canal C (2005) A formal approach to component adaptation. J Syst Softw. Elsevier 74(1):45–54CrossRefGoogle Scholar
  2. 2.
    Brogi A, Canal C, Pimentel E, Vallecillo A (2004) Formalizing web service choreographies. In Proceedings of the 1st international workshop on web services and formal methods (WS-FM 2004). Volume 105 of ENTCS. Elsevier, pp 73–94Google Scholar
  3. 3.
    Gierds C, Mooij AJ, Wolf K (2012) Reducing adapter synthesis to controller synthesis. IEEE Trans Serv Comput 5(1):72–85CrossRefGoogle Scholar
  4. 4.
    Griffin T, Libkin L (1995) Incremental maintenance of views with duplicates. In Proceedings of the 1995 ACM SIGMOD international conference on management of data (SIGMOD’95). ACM, New York, pp 328–339Google Scholar
  5. 5.
    International Telecommunications Union (2001) Technical characteristics for a universal shipborne Automatic Identification System using time division multiple access in the VHF maritime mobile band. Recommendation ITU-R M.1371-1Google Scholar
  6. 6.
    Kindler E (1997) A compositional partial order semantics for Petri net components. In Proceedings of the 18th international conference on application and theory of Petri Nets (ICATPN 1997). Volume 1248 of lecture notes in computer science. Springer, Berlin/Heidelberg, pp 235–252Google Scholar
  7. 7.
    Massuthe P, Reisig W, Schmidt K (2005) An operating guideline approach to the SOA. Ann Math Comput Teleinform 1(3):35–43Google Scholar
  8. 8.
    Melliti T, Poizat P, Ben Mokhtar S (2008) Distributed behavioural adaptation for the automatic composition of semantic services. In Proceedings of the 11th international conference on fundamental approaches to software engineering (FASE 2008). Volume 4961 of lecture notes in computer science. Springer, Berlin/Heidelberg, pp 146–162Google Scholar
  9. 9.
    Mohania M, Konomi S, Kambayashi Y (1997) Incremental maintenance of materialized views. In Proceedings of the 8th international conference on database and expert systems applications (DEXA 1997). Volume 1308 of lecture notes in computer science. Springer, Berlin/Heidelberg, pp 551–560Google Scholar
  10. 10.
    Mooij AJ (2013) System integration by developing adapters using a database abstraction. Inf Softw Technol. 55(2):357–364.
  11. 11.
    Mooij AJ, Voorhoeve M (2009) Proof techniques for adapter generation. In Bruni R, Wolf K (eds), Web services and formal methods (WS-FM 2008). Volume 5387 of lecture notes in computer science. Springer, Berlin/Heidelberg, pp 207–223Google Scholar
  12. 12.
    Mooij AJ, Parnjai J, Stahl C, Voorhoeve M (2011) Constructing replaceable services using operating guidelines and maximal controllers. In Bravetti M, Bultan T (eds) Web services and formal methods (WS-FM 2010). Volume 6551 of lecture notes in computer science. Springer, Berlin/Heidelberg, pp 116–130Google Scholar
  13. 13.
    Object Management Group (2007) Data distribution service for real-time systems. Version 1.2.
  14. 14.
    van der Aalst WMP, Mooij AJ, Stahl C, Wolf K (2009) Service interaction: patterns, formalization, and analysis. In Bernardo M, Padovani L, Zavattaro G (eds) Advanced lectures of the 9th international school on formal methods for web services. Volume 5569 of lecture notes in computer science. Springer, Berlin/Heidelberg, pp 42–88Google Scholar
  15. 15.
    Wolf K (2009) Does my service have partners? Trans Petri Nets Other Models Concurr 2: 152–171CrossRefGoogle Scholar
  16. 16.
    Wonham WM (2007) Supervisory control of discrete-event systems. Technical Report ECE 1636F/1637S 2007-08, University of Toronto, Department of Electrical and Computer Engineering, Systems Control GroupGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations