Skip to main content
SpringerLink
Log in
Book cover

OTM Confederated International Conferences "On the Move to Meaningful Internet Systems"

OTM 2014: On the Move to Meaningful Internet Systems: OTM 2014 Workshops pp 241–254Cite as

Bigraph-Ensured Interoperability for System(-of-Systems) Emergence

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8842))

Abstract

Today’s complexity of distributed application systems, such as dynamic supply networks, requires a system-of-systems (SoS) perspective for effective adaptation and sustainable use. Those systems not only need to be operated as separate systems (e.g., optimizing each transport modality in supply networks), but also are required to capture complex situations as interconnected entity (e.g., adapting a transport chain involving different modalities according to weather conditions). SoS can handle such challenges through emerging behavior, while letting each of the involved systems operate separately. The latter property requires interoperability of systems that can be preserved even in dynamically changing environments applying the theory of bigraphs. Abstract relationships allow not only the representation of dynamic interaction but also the respecification of these systems through behavior adaptations. This abstraction supports cross-system decomposition as well as composition of interaction patterns for the purpose of emergent behavior. We demonstrate the potential of this approach by orchestrating two distributed and independent systems. SoS behavior orchestration enables to directly respond to changes in the application system context.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AS5506, SAE Standard: Architecture Analysis & Design Language (AADL). Embedded Computing Systems Committee, SAE (2004)

    Google Scholar 

  2. Baeten, J.C.M.: A Brief History of Process Algebra. Theoretical Computer Science 335(2), 131–146 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  3. Baldwin, W.C., Sauser, B.: Modeling The Characteristics of System of Systems. In: IEEE International Conference on System of Systems Engineering, SoSE 2009, pp. 1–6 (2009)

    Google Scholar 

  4. Batista, T.: Challenges for SoS Architecture Description. In: Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, USA, pp. 35–37. ACM Press, New York (2013), http://doi.acm.org/10.1145/2489850.2489857

    Chapter  Google Scholar 

  5. Bezerianos, A., McEwan, G.: Presence Disparity in Mixed Presence Collaboration. In: Proceeding of the Twenty-sixth Annual CHI Conference Extended Abstracts on Human Factors in Computing Systems - CHI 2008, pp. 35–37. ACM Press, New York (2013), http://dl.acm.org/citation.cfm?id=1358628.1358845

    Google Scholar 

  6. Boardman, J., Sauser, B.: System of Systems - The Meaning of Of. In: 2006 IEEE/SMC International Conference on System of Systems Engineering, p. 6 (2006)

    Google Scholar 

  7. Garlan, D., Monroe, R., Wile, D.: Acme: An Architecture Description Interchange Language. In: CASCON First Decade High Impact Papers, CASCON 2010, pp. 159–173. IBM Corp., Riverton (2010), http://dx.doi.org/10.1145/1925805.1925814

    Chapter  Google Scholar 

  8. Huai-Guang, W., Guo-Qing, W., Li, W.: Bigraphical Model of Service Composition in Ubiquitous Computing Environments. In: 2010 International Conference on Environmental Science and Information Application Technology (ESIAT), vol. 2, pp. 658–662 (July 2010)

    Google Scholar 

  9. IBM: Ibm integration bus (2013), http://www-03.ibm.com/software/products/us/en/integration-bus

  10. Jamshidi, M.: Systems of Systems Engineering: Principles and Applications. CRC Press (2010)

    Google Scholar 

  11. Krishna, R., Wakeman, I., Chalmers, D.: Investigating Bigraphs to Model Dynamic Service Substitution in Pervasive Computing Scenarios. In: Proceedings of Workshop on Formal Approaches to Ubiquitous Systems (FAUS 2009), London, UK (2009)

    Google Scholar 

  12. Microsoft: Microsoft DCOM (2013), http://msdn.microsoft.com/library/cc201989.aspx

  13. Milner, R.: The Space and Motion of Communicating Agents, vol. 20. Cambridge University Press (2009)

    Google Scholar 

  14. Mohammadi, M., Mukhtar, M.: A Review of SOA Modeling Approaches for Enterprise Information Systems. Procedia Technology 11(0), 794–800 (2013), http://www.sciencedirect.com/science/article/pii/S2212017313004143

    Article  Google Scholar 

  15. Mule ESB: Mule esb (2013), http://www.mulesoft.com/mule-esb-open-source-esb

  16. Nakagawa, E.Y., Gonçalves, M., Guessi, M., Oliveira, L.B.R., Oquendo, F.: The State of the Art and Future Perspectives in Systems of Systems Software Architectures. In: Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS 2013, pp. 13–20. ACM, New York (2013), http://doi.acm.org/10.1145/2489850.2489853

    Chapter  Google Scholar 

  17. Nelson, B.J.: Remote Procedure Call (1981)

    Google Scholar 

  18. Nundloll, V., Grace, P., Blair, G.S.: The role of ontologies in enabling dynamic interoperability. In: Felber, P., Rouvoy, R. (eds.) DAIS 2011. LNCS, vol. 6723, pp. 179–193. Springer, Heidelberg (2011), http://dx.doi.org/10.1007/978-3-642-21387-8_14

    Chapter  Google Scholar 

  19. OMG: WSDL/SOAP-CORBA Interworking (WSDL2C) (2004), http://www.omg.org/spec/WSDL2C/1.0/ (last accessed: August 27, 2014)

  20. OMG: CORBA to WSDL/SOAP Interworking (C2WSDL) (2008), http://www.omg.org/spec/C2WSDL/1.2.1/ (last accessed: August 27, 2014)

  21. OMG: Corba - wsdl/soap interworking specification (2013), http://www.omg.org/spec/C2WSDL/1.2.1

  22. Perrone, G., Debois, S., Hildebrandt, T.T.: A Model Checker for Bigraphs. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1320–1325. ACM, New York (2012), http://doi.acm.org/10.1145/2245276.2231985

    Google Scholar 

  23. Perrone, G., Debois, S., Hildebrandt, T.: A Verification Environment for Bigraphs. Innovations in Systems and Software Engineering 9(2), 95–104 (2013), http://dx.doi.org/10.1007/s11334-013-0210-2

    Article  Google Scholar 

  24. Sharawi, A., Sala-Diakanda, S., Dalton, A., Quijada, S., Yousef, N., Rabelo, L., Sepulveda, J.: A Distributed Simulation Approach for Modeling and Analyzing Systems of Systems. In: Proceedings of the Winter Simulation Conference, WSC 2006, pp. 1028–1035 (December 2006)

    Google Scholar 

  25. W3C: Web Services Description Language, WSDL (2007), http://www.w3.org/TR/wsdl20/ (last accessed: August 26, 2014)

  26. Xu, D.Z., Xu, D., Lei, Z.: Bigraphical Model of Context-Aware in Ubiquitous Computing Environments. In: 2011 IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 389–394 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Communications Engineering, Department of Information Systems, Johannes Kepler University Linz, Altenberger Straße 69, 4040, Linz, Austria

    Dominik Wachholder & Chris Stary

Authors
  1. Dominik Wachholder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chris Stary
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. TU Graz, Rechbauerstraße 12, 8010, Graz, Austria

    Robert Meersman

  2. CRAN, University of Lorraine, Campus Sciences, BP 70239, 54506, Vandoevre-les-Nancy, France

    Hervé Panetto

  3. Department of Software Engineering, Atilim Univeristy, Kızılcaşar Mh Mh, 06830, Ankara, Turkey

    Alok Mishra

  4. Facultad de Informática, Universidad de Murcia, Campus de Espinardo, 30100, Murcia, Spain

    Rafael Valencia-García

  5. Dep. of Informatics Engineering, University of Porto, Rua Dr. Roberto Frias, 4200-465, Porto, Portugal

    António Lucas Soares

  6. SIGMA / LIG, Joseph Fourier University, 220 Rue de la Chimie, BP 53, 38041, Grenoble Cedex 9, France

    Ioana Ciuciu

  7. Institute for Research on Population and Social, National Research Council, Policies, Via Palestro 32, 00185, Rome, Italy

    Fernando Ferri

  8. Dep. Business Informatics, Communications Engineering, Johannes Kepler University, Freistaedterstrasse 315, 4040, Linz, Austria

    Georg Weichhart

  9. STINA Business Solutions GmbH, Schottenfeldgasse 63/2, 1070, Wien, Austria

    Thomas Moser

  10. SAP Research, 805 avenue du Dr Donat, 06259, Sophia-Antipolis, Mougins, France

    Michele Bezzi

  11. Department of Computing, Hong Kong Polytechnic University, PQ806, Mong Man Wai Building, Hong Kong,, China

    Henry Chan

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wachholder, D., Stary, C. (2014). Bigraph-Ensured Interoperability for System(-of-Systems) Emergence. In: Meersman, R., et al. On the Move to Meaningful Internet Systems: OTM 2014 Workshops. OTM 2014. Lecture Notes in Computer Science, vol 8842. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45550-0_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45550-0_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45549-4

  • Online ISBN: 978-3-662-45550-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation