An event-based architecture definition language
- 1 September 1995
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 21 (9) , 717-734
- https://doi.org/10.1109/32.464548
Abstract
This paper discusses general requirements for architecture definition languages, and describes the syntax and semantics of the subset of the Rapide language that is designed to satisfy these requirements. Rapide is a concurrent event-based simulation language for defining and simulating the behavior of system architectures. Rapide is intended for modelling the architectures of concurrent and distributed systems, both hardware and software in order to represent the behavior of distributed systems in as much detail as possible. Rapide is designed to make the greatest possible use of event-based modelling by producing causal event simulations. When a Rapide model is executed it produces a simulation that shows not only the events that make up the model's behavior, and their timestamps, but also which events caused other events, and which events happened independently. The architecture definition features of Rapide are described: event patterns, interfaces, architectures and event pattern mappings. The use of these features to build causal event models of both static and dynamic architectures is illustrated by a series of simple examples from both software and hardware. Also we give a detailed example of the use of event pattern mappings to define the relationship between two architectures at different levels of abstraction. Finally, we discuss briefly how Rapide is related to other event-based languages.Keywords
This publication has 12 references indexed in Scilit:
- Validating discrete event simulations using event pattern mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Specification and analysis of system architecture using RapideIEEE Transactions on Software Engineering, 1995
- A type system for prototyping languagesPublished by Association for Computing Machinery (ACM) ,1994
- Partial orderings of event sets and their application to prototyping concurrent, timed systemsJournal of Systems and Software, 1993
- Exploiting locality in maintaining potential causalityPublished by Association for Computing Machinery (ACM) ,1991
- The Verilog® Hardware Description LanguagePublished by Springer Nature ,1991
- Task sequencing language for specifying distributed Ada systems TSL-1Published by Springer Nature ,1987
- Programming in PrologPublished by Springer Nature ,1984
- Communicating sequential processesCommunications of the ACM, 1978
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965