Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design and validation of computer protocols
Design and validation of computer protocols
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Computing Surveys (CSUR)
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A formal approach to software architecture
A formal approach to software architecture
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Automated distributed system testing: application of an RTI verification system
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Behavioural analysis of the enterprise JavaBeans component architecture
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The impact of component architectures on interoperability
Journal of Systems and Software
Distributed simulation of hybrid systems with AnyLogic and HLA
Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
IEEE Transactions on Software Engineering
Distributed Simulation of Hybrid Systems with HLA Support
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Verifying Time Partitioning in the DEOS Scheduling Kernel
Formal Methods in System Design
The Golden Age of Software Architecture
IEEE Software
Architecture-driven modelling and analysis
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
HLA Based Multidisciplinary Collaborative Simulation Framework for Forging and Manipulating Process
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
View-based development of a simulation framework for multi-disciplinary environmental modelling
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hi-index | 0.00 |
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards define rules of interaction and shared communication infrastructure that permit composition of systems out of independently-developed parts. A problem with these standards is that it is often difficult to understand exactly what they require and provide, and to analyze them in order to understand their deeper properties. In this paper we use our experience in modeling the High Level Architecture (HLA) for Distributed Simulation to show how one can capture the structured protocol inherent in an integration standard as a formal architectural model that can be analyzed to detect anomalies, race conditions, and deadlocks.