Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study

Mert Ozkaya, Christos Kloukinas

Abstract

Despite promoting precise modelling and analysis, architecture description languages (ADLs) have not yet gained the expected momentum. Indeed, practitioners prefer using far less formal languages like UML, thus hindering formal verification of models. One of the main issues with ADLs derives from process algebras which practitioners view as having a steep learning curve. In this paper, we introduce a new ADL called XCD which enables designers to model their software architectures through a Design-by-Contract approach, as for example in the Java Modelling Language (JML). We illustrate how XCD can be used in architectural modelling and analysis using the Aegis combat software system.

References

  1. Allen, R. and Garlan, D. (1996). A case study in architectural modelling: The aegis system. In Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), pages 6-15, Paderborn, Germany.
  2. Allen, R. J. (1997). A formal approach to software architecture. PhD thesis, Pittsburgh, PA, USA. AAI9813815.
  3. Chalin, P., Kiniry, J. R., Leavens, G. T., and Poll, E. (2006). Beyond assertions: Advanced specification and verification with JML and ESC/Java2. In FMCO'05 - Formal Methods for Comp. and Obj., volume 4111 of LNCS, pages 342-363. Springer.
  4. Hoare, C. A. R. (1978). Communicating sequential processes. Commun. ACM, 21(8):666-677.
  5. Holzmann, G. J. (2004). The SPIN Model Checker - primer and reference manual. Addison-Wesley.
  6. Kiniry, J. R. and Zimmerman, D. M. (2008). Secret Ninja Formal Methods. In Cuéllar, J., Maibaum, T. S. E., and Sere, K., editors, FM, volume 5014 of Lecture Notes in Computer Science, page 214228. Springer.
  7. Magee, J. and Kramer, J. (2006). Concurrency - State models and Java programs (2. ed.). Wiley.
  8. Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., and Tang, A. (2012). What industry needs from architectural languages: A survey. IEEE Transactions on Software Engineering, 99.
  9. Medvidovic, N. and Taylor, R. N. (2000). A classification and comparison framework for software architecture description languages. IEEE Trans. Software Eng., 26(1):70-93.
  10. Meyer, B. (1992). Applying “Design by Contract”. IEEE Computer, 25(10):40-51.
  11. Ozkaya, M. (2013). XCD website. http://www.soi.city.ac.uk/a˜bdz276/xcd.html.
  12. Ozkaya, M. and Kloukinas, C. (2013a). Are we there yet? analyzing architecture description languages for formal analysis, usability, and realizability. In Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on, pages 177-184.
  13. Ozkaya, M. and Kloukinas, C. (2013b). Towards a designby-contract based approach for realizable connectorcentric software architectures. In ICSOFT, pages 555- 562.
  14. Rumbaugh, J. E., Jacobson, I., and Booch, G. (1999). The unified modeling language reference manual. Addison-Wesley-Longman.
Download


Paper Citation


in Harvard Style

Ozkaya M. and Kloukinas C. (2014). Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 368-375. DOI: 10.5220/0004714403680375


in Bibtex Style

@conference{modelsward14,
author={Mert Ozkaya and Christos Kloukinas},
title={Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={368-375},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004714403680375},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study
SN - 978-989-758-007-9
AU - Ozkaya M.
AU - Kloukinas C.
PY - 2014
SP - 368
EP - 375
DO - 10.5220/0004714403680375