An introduction to formal specification and Z
An introduction to formal specification and Z
A type system for prototyping languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
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
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Rapide: a language and toolset for simulation of distributed systems by partial orderings of events
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
Software architecture for product families: principles and practice
Software architecture for product families: principles and practice
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
A formal approach to software architecture
A formal approach to software architecture
Model-checking for the functional safety of control component-based heterogeneous embedded systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Formal approach for the development of intelligent industrial control components
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Software architecture is high-level software design dealing with the structure and organization of large software systems. Architecture description languages (ADLs) are languages designed to represent software designs at the architecture level. ADLs are not widely used in the development of simulation systems. This research investigates the utility and effectiveness of ADLs for architecture-level design and analysis of simulation systems. Experimental applications of two ADLs to the specification and analysis of simulation architectures were conducted. Rapide was used to model the EnviroFed federation architecture and analyze data volume with and without interest management. Acme was used to model the ModSAF federate architecture and to analyze execution time at the component and federate levels in ModSAF. The experiments showed that ADLs could be used to discover important features of simulation system architectures.