Skip to main content
SpringerLink
Log in
Book cover

International Conference on Intelligent Software Methodologies, Tools, and Techniques

SoMeT 2015: Intelligent Software Methodologies, Tools and Techniques pp 105–119Cite as

Architectural Specification and Analysis of the Aegis Combat System

  • Conference paper
  • First Online:

  • 1234 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 532))

Abstract

Software architecture is nowadays considered as a highly important design activity due to enabling the analysis of system behaviours and detecting the design errors before they propagate into implementation. There have been many architecture description languages developed so far that focus on analysing software architectures. However, these languages require the use of process algebras for specifying system behaviours, which are found unfamiliar by practitioners in general. XCD (Connector-centric Design) is one of the most recent languages that is instead based on the well-known Design-by-Contract approach. In this paper, XCD is illustrated in architectural modelling and analysis via the Aegis Combat System case-study. With the Aegis system, it is aimed to show how one of the most common design errors, i.e., the deadlocking components, can be caught in Xcd and prevented in a modular way. In the paper, XCD is also compared with Wright, one of the most influencing architecture description languages, with which Aegis has been specified and analysed for deadlock too.

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 EPUB and 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

Notes

  1. 1.

    The currently executing port of a component, playing a connector role, is accessible via the @ symbol, which returns the current port index.

References

  1. Allen, R., Garlan, D.: A case study in architectural modelling: the aegis system. In: Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), pp. 6–15, Paderborn, Germany, March 1996

    Google Scholar 

  2. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)

    Article  Google Scholar 

  3. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)

    Article  MathSciNet  Google Scholar 

  4. Garlan, D., Shaw, M.: An introduction to software architecture. Technical report, Pittsburgh, PA, USA (1994)

    Google Scholar 

  5. Holzmann, G.J.: The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley, Reading (2004)

    Google Scholar 

  6. Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 99 (2012)

    Google Scholar 

  7. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70–93 (2000)

    Article  Google Scholar 

  8. Meyer, B.: Applying design by contract. IEEE Comput. 25(10), 40–51 (1992)

    Article  Google Scholar 

  9. Ozkaya, M., Kloukinas, C.: Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. In: Demirörs, O., Türetken, O. (eds.) EUROMICRO-SEAA, pp. 177–184. IEEE (2013)

    Google Scholar 

  10. Ozkaya, M., Kloukinas, C.: Architectural specification and analysis with XCD - the aegis combat system case study. In: Pires, L.F., Hammoudi, S., Filipe, J., das Neves, R.C. (eds.) MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, 7–9 January 2014, Lisbon, Portugal, pp. 368–375. SciTePress (2014)

    Google Scholar 

  11. Ozkaya,M., Kloukinas. C.: Design-by-contract for reusable components and realizable architectures. In: Seinturier, L., de Almeida, E.S., Carlson, J. (eds.) CBSE 2014, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), June 30 - July 4 2014, Marcq-en-Baroeul, Lille, France, pp. 129–138. ACM (2014)

    Google Scholar 

  12. Xcd. Website. Maintained by Mert Ozkaya (2013). http://www.staff.city.ac.uk/c.kloukinas/Xcd/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, Istanbul Kemerburgaz University, Istanbul, Turkey

    Mert Ozkaya

Authors
  1. Mert Ozkaya
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mert Ozkaya .

Editor information

Editors and Affiliations

  1. Iwate Prefectural University, Takizawa, Japan

    Hamido Fujita

  2. University of Naples "Federico II", Napoli, Italy

    Guido Guizzi

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Ozkaya, M. (2015). Architectural Specification and Analysis of the Aegis Combat System. In: Fujita, H., Guizzi, G. (eds) Intelligent Software Methodologies, Tools and Techniques. SoMeT 2015. Communications in Computer and Information Science, vol 532. Springer, Cham. https://doi.org/10.1007/978-3-319-22689-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-22689-7_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-22688-0

  • Online ISBN: 978-3-319-22689-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation