Formal modelling and analysis of HLA architectural style

Author： Chen Jie   Wu Di   Zhang Juan   Oquendo Flavio  

Publisher： Inderscience Publishers

ISSN： 1746-6172

Source： International Journal of Modelling, Identification and Control, Vol.9, Iss.1-2, 2010-04, pp. : 71-82

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A formal approach to model and verify the behaviour of publish/subscribe architectural style

By Kacem Hatem Hadj  

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 3, 2012-11 ,pp. : 234-252

Inderscience Publishers

Access to resources Recommend Favorite

Formal modelling and analysis of XML firewall for service-oriented systems

By Xu Haiping   Ayachit Mihir   Reddyreddy Abhinay  

International Journal of Security and Networks, Vol. 3, Iss. 3, 2008-08 ,pp. : 147-160

Inderscience Publishers

Access to resources Recommend Favorite

Formal architectural models for agent-based service systems

By Ding Zuohua   Dong Jianming   Han Wei  

International Journal of Computer Applications in Technology, Vol. 31, Iss. 1-2, 2008-03 ,pp. : 45-63

Inderscience Publishers

Access to resources Recommend Favorite

WHAT IS “FORMAL” ANALYSIS?

By LEAF MURRAY  

Cybernetics and Systems, Vol. 35, Iss. 2-3, 2004-03 ,pp. : 129-145

Taylor & Francis Ltd

Access to resources Recommend Favorite

On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems

By Traverso M.  

Automated Software Engineering, Vol. 9, Iss. 4, 2002-10 ,pp. : 331-360

Springer Publishing Company

Access to resources Recommend Favorite