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.
7 October 2011
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bracciali A, Brogi A, Canal C (2005) A formal approach to component adaptation. J Syst Softw. Elsevier 74(1):45–54
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
Gierds C, Mooij AJ, Wolf K (2012) Reducing adapter synthesis to controller synthesis. IEEE Trans Serv Comput 5(1):72–85
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
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
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
Massuthe P, Reisig W, Schmidt K (2005) An operating guideline approach to the SOA. Ann Math Comput Teleinform 1(3):35–43
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
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
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
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
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
Object Management Group (2007) Data distribution service for real-time systems. Version 1.2. http://www.omg.org/spec/DDS/1.2/PDF/
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
Wolf K (2009) Does my service have partners? Trans Petri Nets Other Models Concurr 2: 152–171
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
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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)