David C. Luckham, James Vera  Home/Search
Context Related
| informatik.unistut...urapidetse.ps.gz stanford.edu/pub/Rap...urapidetse.ps.Z usc.edu/~neno/teaching/s99...LV95.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...nistuttgart.de (more) From: iamwww.unibe.ch/cgib...oobib?ftp (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
Implementation and Verification of Implicit-Invocation.. - Using Source Transformation (Correct)
Using Source Transformation to Test and - Model Check Implicit-Invocation (Correct)
A Formal Approach to Heterogeneous - Software Modeling Alexander (Correct)
Similar documents (at the sentence level):
25.9%: µRapide: An Executable Architecture Definition Language - Luckham, Vera (1993) (Correct)
10.4%: Event-Based Concepts and Language for System Architecture - Luckham (1993) (Correct)
Active bibliography (related documents): More All
1.2: Executable Formal Models Of Distributed Transaction Systems Based .. - Kenney (1996) (Correct)
1.1: Partial Orderings of Event Sets and Their.. - Luckham, Vera.. (1992) (Correct)
0.8: Specification and Analysis of System Architecture.. - Luckham, Kenney.. (1995) (Correct)
Similar documents based on text: More All
0.4: Testing Ada 95 Programs for Conformance to Rapide Architectures - Madhav (1996) (Correct)
0.4: Rapide: A Language and Toolset for Simulation of Distributed.. - Luckham (1996) (Correct)
0.4: DRAFT Guide to the Rapide 1.0 Language Reference Manuals - Rapide Design Team (Correct)
Related documents from co-citation: More All
35: Foundations for the study of software architecture - Perry, Wolf - 1992
34: Abstractions for Software Architecture and Tools to Support Them - Shaw, DeLine et al.
22: ACM Transactions on Software Engineering and Methodology (context) - Allen, Garlan et al. - 1997
BibTeX entry: (Update)
D.C. Luckham, J. Vera. An Event Based Architecture Definition Language. IEEE Transactions on Software Engineering Vol. 21, No 9, September 1995. http://citeseer.ist.psu.edu/luckham95eventbased.html More
@article{ luckham95eventbased,
author = "David C. Luckham and James Vera",
title = "An Event-Based Architecture Definition Language",
journal = "IEEE Transactions on Software Engineering",
volume = "21",
number = "9",
pages = "717--734",
year = "1995",
url = "citeseer.ist.psu.edu/luckham95eventbased.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
1363 The Common Object Request Broker: Architecture and Specifica.. (context) - Management - 1991
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1989
363 Programming in Prolog (context) - Clocksin, Mellish - 1984
352 Virtual time and global states of distributed systems - Mattern - 1988
193 Specification and analysis of system architecture using Rapi.. - Luckham, Kenney et al. - 1995
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
134 The Verilog hardware description language (context) - Thomas, Moorby - 1991
132 Timestamps in message-passing systems that preserve the part.. (context) - Fidge - 1988
108 IEEE Standard VHDL Language Reference Manual (context) - Inc, th et al. - 1987
47 A type system for prototyping languages - Katiyar, Luckham et al. - 1994
46 Partial orderings of event sets and their application to pro.. - Luckham, Vera et al. - 1993
39 Programming with Specifications: An Introduction to ANNA (context) - Luckham - 1990
20 Exploiting locality in maintaining potential causality - Meldal, Sankar et al. - 1991
19 Three concepts of system architecture - Luckham, Vera et al.
16 Computer Systems Lab (context) - Team, Rapide- et al. - 1994
14 Validating discrete event simulations using event pattern ma.. (context) - Gennart, Luckham - 1992
9 The Rapide-1 Executable Language Reference Manual (context) - Team - 1994
9 Kluwer Academic Publishers (context) - Augustin, Luckham et al. - 1990
8 Technical Note CSL--TN (context) - Bryan, language et al. - 1992
6 The Rapide-1 Specification Language Reference Manual (context) - Team - 1994
6 Distributed Transaction Processing: The Peer--to--Peer Speci.. (context) - Open, Apex et al. - 1992
5 Automated Analysis of Discrete Event Simulations Using Event.. (context) - Gennart - 1991
2 ISO Draft International Standard (context) - Inc, Mass et al. - 1994
2 OEsim: A simulator for timing behavior (context) - Amon, Borriello - 1991
2 Synchronous programming of reactive systems: an introduction.. (context) - Berry, Couronne et al. - 1987
1 Description and Theoretical Analysis of Planner (context) - Hewitt - 1971
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.informatik.uni-stuttgart.de.html): More
On the Configuration Management and the . . . - Hagin, al. (1997) (Correct)
Sparc-V9 Architecture Specification With Rapide - Santoro, Park, Luckham (1995) (Correct)
Representing Time in Multimedia Systems - Wahl, Rothermel (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC