Skip to main content

Specification and Generation of Adapters for System Integration

Abstract

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.

Keywords

  • 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.

7 October 2011

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-1-4614-6230-9_11
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   109.00
Price excludes VAT (USA)
  • ISBN: 978-1-4614-6230-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   139.99
Price excludes VAT (USA)
Hardcover Book
USD   169.99
Price excludes VAT (USA)
Fig. 11.1
Fig. 11.2
Fig. 11.3
Fig. 11.4
Fig. 11.5
Fig. 11.6
Fig. 11.7

Notes

  1. 1.

    http://earth.google.com/

  2. 2.

    http://www.service-technology.org/tools/marlene/

  3. 3.

    http://fractal.ow2.org/

  4. 4.

    http://swerl.tudelft.nl/bin/view/Main/Atlas

  5. 5.

    http://www.processmining.org/prom/

References

  1. Bracciali A, Brogi A, Canal C (2005) A formal approach to component adaptation. J Syst Softw. Elsevier 74(1):45–54

    CrossRef  Google Scholar 

  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–94

    Google Scholar 

  3. Gierds C, Mooij AJ, Wolf K (2012) Reducing adapter synthesis to controller synthesis. IEEE Trans Serv Comput 5(1):72–85

    CrossRef  Google Scholar 

  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–339

    Google Scholar 

  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-1

    Google Scholar 

  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–252

    Google Scholar 

  7. Massuthe P, Reisig W, Schmidt K (2005) An operating guideline approach to the SOA. Ann Math Comput Teleinform 1(3):35–43

    Google Scholar 

  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–162

    Google Scholar 

  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–560

    Google Scholar 

  10. Mooij AJ (2013) System integration by developing adapters using a database abstraction. Inf Softw Technol. 55(2):357–364. http://dx.doi.org/10.1016/j.infsof.2012.08.015

  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–223

    Google Scholar 

  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–130

    Google Scholar 

  13. Object Management Group (2007) Data distribution service for real-time systems. Version 1.2. http://www.omg.org/spec/DDS/1.2/PDF/

  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–88

    Google Scholar 

  15. Wolf K (2009) Does my service have partners? Trans Petri Nets Other Models Concurr 2: 152–171

    CrossRef  Google Scholar 

  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 Group

    Google Scholar 

Download references

Acknowledgements

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Arjan J. Mooij .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2013 Springer Science+Business Media New York

About this chapter

Cite this chapter

Mooij, A.J., Voorhoeve, M. (2013). Specification and Generation of Adapters for System Integration. In: van de Laar, P., Tretmans, J., Borth, M. (eds) Situation Awareness with Systems of Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-6230-9_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-6230-9_11

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-6229-3

  • Online ISBN: 978-1-4614-6230-9

  • eBook Packages: EngineeringEngineering (R0)