Formal modelling and analysis of HLA architectural style

International Journal of Modelling, Identification and Control

Volumn 9, Issue 1-2, 2010, Pages 71-82

  Chen, Jie ^a   Wu, Di ^a   Zhang, Juan ^a   Oquendo, Flavio ^b  

^a BEIJING INSTITUTE OF TECHNOLOGY   (China)

^b UNIVERSITÉ BRETAGNE SUD   (France)

Author keywords

Architectural style; Architectural style modelling; Formal methods; High level architecture; HLA; MDE; Model driven engineering; System modelling; languages

Indexed keywords

FORMAL LANGUAGES; FORMAL METHODS; HIGH LEVEL LANGUAGES; IEEE STANDARDS; MODELING LANGUAGES; SYSTEMS ANALYSIS;

ARCHITECTURAL CONCEPTS; ARCHITECTURAL STYLE; ARCHITECTURE DESCRIPTION LANGUAGES; HIGH LEVEL ARCHITECTURE; LARGE-SCALE DISTRIBUTED INTERACTIVE SIMULATION SYSTEMS; MODEL-DRIVEN ENGINEERING; REFERENCE ARCHITECTURE; SYSTEM MODELLING;

ARCHITECTURE;

EID: 77950686997     PISSN: 17466172     EISSN: 17466180     Source Type: Journal    
DOI: 10.1504/IJMIC.2010.032363     Document Type: Article

References (21)

1. Allen, R.J. (1997) 'A formal approach to software architecture', Dissertation of PHD
2. ArchWare (2000-2005) Available at project website http:/www.arch-ware. org/.
3. Damon, C.A., Melton, R., Allen, R., Bigelow, E., Ivers, J. and Garlan, D. (1999) Formalizing a Specification for Analysis: The HLA Ownership Properties, Technical report, April, Carnegie Mellon University School of Computer Science, CMU-CS-99-126.
4. Dingel, J., Garlan, D. and Damon, C. (2002) 'Bridging the HLA: problems and solutions', Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT '02), 11-13 October, Fort Worth, Texas, USA.
5. Garlan, D., Allen, R. and Ockerbloom, J. (1994) 'Exploiting style in architectural design environments', Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans.
6. Garlan, D., Monroe, R. and Wile, D. (1997) 'ACME: an architectural description interchange language', Proceedings of CASCON'97, November.
7. Garlan, D., Monroe, R. and Wile, D. (2000) 'ACME: architectural description of component-based systems', in Leavens, G.T. and Sitaraman, M. (Eds.): Foundations of Component-Based Systems, Cambridge University Press.
8. Goodhew, I.C.B., Hutt, B.D. and Warwick, K. (2006) 'Control and experimentation of a personal robot tracking system', Int. J. Modelling, Identification and Control, Vol.1, No.1, pp.4-12.
9. Heisel, M. and Lvy, N. (1994) 'Using LOTOS patterns to characterize architectural styles', IEEE Transactions on Software Engineering, January
10. IEEE Standard 1516-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Framework and Rules
11. IEEE Standard 1516.1-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Federate Interface Specification
12. IEEE Standard 1516.2-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Object Model Template.
13. Lo Storto, C., D'Avino, G., Dondo, P. and Zezza, V. (2008) 'Simulating information ambiguity during new product development: a forecasting model using system dynamics', International Journal of Modelling, Identification and Control, Vol.3, No.1, pp.97-110. (Pubitemid 351689426)
14. Mageescu, J., Dulay, N., Eisenbach, S., Kramer, J. (1995) 'Specifying distributed software architectures', Proceedings of the 5th European Software Engineering Conference, Sitges, Spain, September.
15. Mateescu, R. and Oquendo, F (2006) 'π-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures', ACM SIGSOFT Software Engineering Notes, March, Vol.31, No.2.
16. Medvidovic, N. and Taylor, R.A. (1997) Classification and Comparison Framework for Architecture Description Languages, Technical report UCI-ICS-97-102, Department of Information and Computer Science, University of California, February.
17. Oquendo, F. (2005) 'Tutorial on ArchWare ADL-version 2 (Π-ADL tutorial)', ArchWare European RTD Project IST-2001-32360, June.
18. Rapide Design Team (1997) Guide to the RAPIDE 1.0 Language Reference Manuals, Stanford University.
19. Spivey, J.M. (1992) The Z Notation: A Reference Manual, 2nd ed., Prentice Hall.
20. Wu, D. and Oquendo, F. (2007) 'Formal model driven engineering for DIS systems', Proceedings of ICSSEA 2007, December.
21. Wu, D., Chen, J. and Oquendo, F. (2007) 'Formal model driven engineering of distributed simulation systems based on architecture-centric domain-specific approach', Proceedings of 14th APSEC2007, December.