Skip to main content

Advertisement

SpringerLink
Log in

A Component Model with Verifiable Composition for the Construction of Emergency Management Systems

  • Research Article-Computer Engineering and Computer Science
  • Published:
Arabian Journal for Science and Engineering Aims and scope Submit manuscript

Abstract

Construction of critical systems (e.g. disaster/emergency management systems) demands extra efforts from the developers as compared to non-critical systems. A critical system may be comprised of hardware communication infrastructure and the management system software. Many of hardware failures or in-capabilities can be handled by the resilient software components. The management software’s main tasks are to continuously collect data (from distributed sensors), to predict possible threats, and to intimate the right authorities for timely action to avoid/reduce the damages of the threats. For the construction of such systems, by reusing existing reliable software components, a verifiable software composition mechanism is highly desired. In this paper, we select a component model (EX-MAN) from the component-based development approaches for providing pre-defined exogenous connectors. In this paper, at the methodological level, we define an approach to verify the correctness of exogenous connectors. To evaluate our approach, we design an emergency management system in EX-MAN and implement the system in our tool for EX-MAN.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

References

  1. Achermann, F.; Nierstrasz, O.: A calculus for reasoning about software composition. Theor. Comp. Sci. 331(2–3), 367–396 (2005)

    Article  MathSciNet  Google Scholar 

  2. Arbab, F.; Baier, C.; Rutten, J.; Sirjani, M.: Modeling component connectors in reo by constraint automata: (extended abstract). Electron. Notes Theor. Comp. Sci. 97, 25–46 (2004)

    Article  Google Scholar 

  3. Atkinson, C.; Bayer, J.; Bunse, C.; Kamsties, E.; Laitenberger, O.; Laqua, R.; Muthig, D.; Paech, B.; Wüst, J.; Zettel, J.: Component-based product line engineering with UML. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (2002)

    Book  Google Scholar 

  4. Belal, M.: Frameworks between components and objects. Adv. Comput. Int. J 3, 9–17 (2012)

    Article  Google Scholar 

  5. Bellekens, X.; Atkinson, R.; Seeam, A.; Tachtatzis, C.; Andonovic, I.; Nieradzinska, K.: Cyber-physical-security model for safety-critical iot infrastructures. In: Wireless World Research Forum Meeting 35. Copenhagen, Danemark (2016)

  6. Chapman, R.: Correctness by construction: A manifesto for high integrity software. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55, SCS ’05, pp. 43–46. Australian Computer Society, Inc., Darlinghurst, Australia, Australia (2006).

  7. Cofer, D.; Gacek, A.; Miller, S.; Whalen, M.W.; LaValley, B.; Sha, L.: Compositional verification of architectural models. In: Proceedings of the 4th International Conference on NASA Formal Methods, NFM’12, pp. 126–140. Springer, Berlin (2012)

  8. Crnkovic, I.; Sentilles, S.; Vulgarakis, A.; Chaudron, M.: A classification framework for software component models. IEEE Trans. Softw. Eng. 37(5), 593–615 (2011)

    Article  Google Scholar 

  9. DeMichiel, L.; Yalçinalp, L.; Krishnan, S.: Enterprise JavaBeans Specification Version, p. 2. Sun Microsystems. Inc., Santa Clara (2001)

    Google Scholar 

  10. Don, B.: Essential COM, 1st edn. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (1997)

    MATH  Google Scholar 

  11. Dong, J.; Alencar, P.; Cowan, D.: Ensuring structure and behavior correctness in design composition. In: Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000), pp. 279–287 (2000).

  12. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, Upper Saddle River, NJ, USA (2005)

    Google Scholar 

  13. Fiadeiro, J.; Lopes, A.; Bocchi, L.: A formal approach to service component architecture. Services and Formal Methods, pp. 193–213. Third International Workshop, WS-FM 2006Springer, Berlin, Heidelberg (2006)

  14. Gelernter, D.; Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96 (1992)

    Article  Google Scholar 

  15. Object Management Group, CORBA Component Model 4.0 Specification (2006) http://www.omg.org/docs/formal/06-04-01.pdf. http://www.bibsonomy.org/bibtex/28da2c472a3b60a7d1d107106d7bfeebc/piveta

  16. Hannan, A.; Arshad, S.; Azam, M.A.; Loo, J.; Ahmed, S.H.; Majeed, M.; Shah, S.: Disaster management system aided by named data network of things: architecture, design, and analysis. Sensors 18, 2431 (2018)

    Article  Google Scholar 

  17. He, N.; Kroening, D.; Wahl, T.; Lau, K.K.; Taweel, F.; Tran, C.; Rümmer, P.; Sharma, S.: Component-based design and verification in X-MAN. In: Proc. Embedded Real Time Software and Systems (2012)

  18. Hinchey, M.; Coyle, L.: Evolving critical systems: a research agenda for computer-based systems. In: Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS ’10, pp. 430–435. IEEE Computer Society, Washington, DC, USA (2010).

  19. Hsu, S.Y.; Chen, T.B.; Du, W.C.; Wu, J.H.; Chen, S.C.: Integrate weather radar and monitoring devices for urban flooding surveillance. Sensors 19, 825 (2019)

    Article  Google Scholar 

  20. Jensen, K.: Coloured Petri NETS: Basic Concepts, Analysis Methods and Practical Use, vol. 2. Springer, London, UK (1995)

    MATH  Google Scholar 

  21. Johnson, K.; Calinescu, R.; Kikuchi, S.: An incremental verification framework for component-based software systems. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE ’13, pp. 33–42. ACM, New York, NY, USA (2013).

  22. Johnson, R.E.: Frameworks = (components + patterns). Commun. ACM 40(10), 39–42 (1997)

    Article  Google Scholar 

  23. Khaliq, K.; Chughtai, O.; Shahwani, A.; Qayyum, A.; Pannek, J.: An emergency response system: construction, validation, and experiments for disaster management in a vehicular environment. Sensors 19, 1–23 (2019)

    Article  Google Scholar 

  24. Koziolek, H.: Performance evaluation of component-based software systems: a survey. Perform. Eval. 67(8), 634–658 (2010)

    Article  Google Scholar 

  25. Lau, K.K.; Cola, S.: An Introduction to Component-Based Software Development. World Scientific, Singapore (2017)

    Book  Google Scholar 

  26. Lau, K.K.; Ling, L.; Velasco Elizondo, P.; Ukis, V.: Composite connectors for composing software components. In: M. Lumpe, W. Vanderperren (eds.)In: Proceedings Sixth International Symposium on Software Composition, LNCS 4829, pp. 266–280. Springer-Verlag (2007)

  27. Lau, K.K.; Ntalamagkas, I.; Tran, C.; Rana, T.: (Behavioural) Design patterns as composition operators. In: L. Grunske, R. Reussner, F. Plasil (eds.) Proceedings Thirteenth International Symposium on Component-based Software Engineering, LNCS 6092, pp. 232–251. Springer-Verlag (2010)

  28. Lau, K.K.; Ornaghi, M.: Control encapsulation: A calculus for exogenous composition. In: G. Lewis, I. Poernomo, C. Hofmeister (eds.)In: Proc. 12th Int. Symp. on Component-based Software Engineering, LNCS 5582, pp. 121–139. Springer-Verlag (2009)

  29. Lau, K.K.; Ornaghi, M.; Wang, Z.: A software component model and its preliminary formalisation. In: F.S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever (ed.) Proceedings Fourth International Symposium on Formal Methods for Components and Objects, LNCS 4111, pp. 1–21. Springer-Verlag, Heidelberg Germany (2006)

  30. Lau, K.K.; Rana, T.: A taxonomy of software composition mechanisms. In: Proceedings Thirty-sixth EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 102–110. IEEE, Lille, France (2010)

  31. Lau, K.K.; Safie, L.; Stepan, P.; Tran, C.: A component model that is both control-driven and data-driven. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE ’11, pp. 41–50. ACM, New York, NY, USA (2011).

  32. Lee, E.: Cyber physical systems: Design challenges. In: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing, ISORC ’08, pp. 363–369. IEEE Computer Society, Washington, DC, USA (2008).

  33. Mehta, N.; Medvidovic, N.; Phadke, S.: Towards a taxonomy of software connectors. In: ICSE ’00: Proceedings of the Twenty-second International Conference on Software Engineering, pp. 178–187. ACM, New York, NY, USA (2000).

  34. Moriconi, M.; Qian, X.: Correctness and composition of software architectures. SIGSOFT Softw. Eng. Notes 19(5), 164–174 (1994)

    Article  Google Scholar 

  35. OASIS: Web services business process execution language (2007).

  36. OMG: OMG Unified Modeling Language Specification (2007). Http://www.omg.org/cgi-bin/doc?formal/07-11-01.pdf, Access Date: 04-03-2015.

  37. Papadopoulos, G.; Arbab, F.: Coordination models and languages. Tech. rep, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands (1998)

    Google Scholar 

  38. Proença, J.; Clarke, D.: Typed connector families. Revised Selected Papers of the 12th International Conference on Formal Aspects of Component Software, vol. 9539, pp. 294–311. FACS 2015Springer-Verlag, Berlin, Heidelberg (2016)

  39. Rana, T.: Incremental construction of component-based systems: a study based on current component model. Ph.D. thesis, School of Computer Science, The University of Manchester (2015)

  40. Rana, T.: Ex-man component model for component-based software construction. Arab. J. Sci. Eng. 44, 1–14 (2019)

    Article  Google Scholar 

  41. Rana, T.; Bangash, Y.; Baz, A.; Rana, T.; Imran, M.: Incremental composition process for the construction of component-based management systems. Sensors 20, 1351 (2020)

    Article  Google Scholar 

  42. Rana, T.; Bangash, Y.A.; Abbas, H.: Flow constraint language for coordination by exogenous connectors. IEEE Access 7, 138341–138352 (2019)

    Article  Google Scholar 

  43. Rana, T.; Baz, A.: Incremental construction for scalable component-based systems. Sensors 20, 1435 (2020)

    Article  Google Scholar 

  44. Sommerville, I.: Software Engineering, 10th edn. Pearson Education Limited, Essex, England (2016)

    MATH  Google Scholar 

  45. Stepan, P.; Lau, K.: Controller patterns for component-based reactive control software systems. In: CBSE’12—Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering|CBSE—Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng., pp. 71–76. Association for Computing Machinery, United States (2012).

  46. Sullivan, K.; Marchukov, M.; Socha, J.: Analysis of a conflict between aggregation and interface negotiation in Microsoft’s component object model. IEEE Trans. Softw. Eng. 25(4), 584–599 (1999)

    Article  Google Scholar 

  47. Szyperski, C.; Gruntz, D.; Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, New York, United States (2002)

    Google Scholar 

  48. Velasco Elizondo, P.; Lau, K.K.: A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83, 1165–1178 (2010)

    Article  Google Scholar 

  49. Wang, T.: A context-sensitive service composition framework for dependable service provision in cyber-physical systems. Int. J. Ad Hoc Ubiquitous Comput. 24, 1 (2017)

    Article  Google Scholar 

  50. Whitehead, K.: Component-Based Development: Principles and Planning for Business Systems. Pearson Education, London (2002)

    Google Scholar 

Download references

Acknowledgements

This research was partly funded by EPSRC Global Challenges Research Fund-the DARE project-EP/P028764/1.

Author information

Authors and Affiliations

  1. Department of Computer Software Engineering, MCS, National University of Sciences and Technology (NUST), Islamabad, Pakistan

    Tauseef Rana

  2. School of Engineering, University of Glasgow, Glasgow, UK

    Muhammad Ali Imran

  3. Department of Computer Engineering, College of Computer and Information Systems, Umm Al-Qura University (UQU), Makkah, Saudi Arabia

    Abdullah Baz

Authors
  1. Tauseef Rana
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Muhammad Ali Imran
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdullah Baz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tauseef Rana.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rana, T., Imran, M.A. & Baz, A. A Component Model with Verifiable Composition for the Construction of Emergency Management Systems. Arab J Sci Eng 45, 10683–10692 (2020). https://doi.org/10.1007/s13369-020-04819-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13369-020-04819-6

Keywords

Search

Navigation