Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
The definition of Standard ML
The annotated C++ reference manual
The annotated C++ reference manual
Exploiting locality in maintaining potential causality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
OEsim: a simulator for timing behavior
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Automated analysis of discrete event simulations using event pattern mappings
Automated analysis of discrete event simulations using event pattern mappings
Validating discrete event simulations using event pattern mappings
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Partial orderings of event sets and their application to prototyping concurrent, timed systems
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
A type system for prototyping languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
The VERILOG Hardware Description Language
The VERILOG Hardware Description Language
Hardware Design and Simulation in Val-VHDL
Hardware Design and Simulation in Val-VHDL
Task Sequencing Language for Specifying Distributed Ada Systems
Proceedings of the Parallel Architectures and Languages Europe, Volume I
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Generalization from domain experience: the superior paradigm for software architecture research?
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ADLs and dynamic architecture changes
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Using view-based models to formalize architecture description
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Software architecture recovery of a program family
Proceedings of the 20th international conference on Software engineering
Using off-the-shelf middleware to implement connectors in distributed software architectures
Proceedings of the 21st international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
A high-performance network intrusion detection system
CCS '99 Proceedings of the 6th ACM conference on Computer and communications security
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
Open, distributed coordination with finesse
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Supporting workflow cooperation within and across organizations
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
An approach to architectural analysis of product lines
Proceedings of the 22nd international conference 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
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A notation for problematic architecture interactions
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Agent-oriented analysis and modeling
ACM SIGSOFT Software Engineering Notes
On the role of middleware in architecture-based software development
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Optimizing systems by work schedules: (a stochastic approach)
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
A Component Model for Perspective Management of Enterprise Software Reuse
Annals of Software Engineering
Extending Design Environments to Software Architecture Design
Automated Software Engineering
Specifying Distributed System Services
BT Technology Journal
An Integrated Network Component Architecture
IEEE Software
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Control Theory-Based Foundations of Self-Controlling Software
IEEE Intelligent Systems
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
A Formal Approach to Heterogeneous Software Modeling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
The K-Component Architecture Meta-model for Self-Adaptive Software
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Coordination in a Reflective Architecture Description Language
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Reverse Engineering to Recover and Describe a System's Architecture
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Modelling architectures for dynamic systems
Programming methodology
A feature manager approach to the analysis of component-interactions
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A Distributed Computing Model and Its Application
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Automatic Simulation to Predict Software Architecture Reliability
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Analysis of a software product line architecture: an experience report
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Quality-driven software architecture composition
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability
Proceedings of the 16th IEEE international conference on Automated software engineering
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
A basic model for components implementation of software architecture
ACM SIGSOFT Software Engineering Notes
Encapsulation of structural adaptation by composite components
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Retrofitting Autonomic Capabilities onto Legacy Systems
Cluster Computing
Synthesizing and integrating legacy components as services using adapters
Science of Computer Programming - Software analysis, evolution and re-engineering
Towards supporting the architecture design process through evaluation of design alternatives
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Using source transformation to test and model check implicit-invocation systems
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Moving architectural description from under the technology lamppost
Information and Software Technology
A case study in re-engineering to enforce architectural control flow and data sharing
Journal of Systems and Software
Concerns On Architecture-Centered Software Development: A Survey
Journal of Integrated Design & Process Science
ExperiScope: an analysis tool for interaction data
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A Component-Based Systems Development Approach
Journal of Integrated Design & Process Science
Modeling Product Line Architectures through Change Sets and Relationships
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Synthesizing fast intrusion prevention/detection systems from high-level specifications
SSYM'99 Proceedings of the 8th conference on USENIX Security Symposium - Volume 8
Discourse with disposable computers: how and why you will talk to your tomatoes
WOES'99 Proceedings of the Workshop on Embedded Systems on Workshop on Embedded Systems
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
The adequacy of languages for representing interaction mechanisms
Information Systems Frontiers
Aspect-oriented connectors for coordination
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
Executable Specifications for Real-Time Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Advanced event processing and notifications in service runtime environments
Proceedings of the second international conference on Distributed event-based systems
A metamodel for distributed event based systems
Proceedings of the second international conference on Distributed event-based systems
Publish/subscribe in the VRESCo SOA runtime
Proceedings of the second international conference on Distributed event-based systems
Ptolemy: A Language with Quantified, Typed Events
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
An ADL dealing with aspects at software architecture stage
Information and Software Technology
Stream processing in data-driven computational science
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Empirical Software Engineering
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Architecturing and configuring distributed application with Olan
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
A Framework for Engineering Interactions in Java-based Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
Extending architectural representation in UML with view integration
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
The role of event description in architecting dependable systems
Architecting dependable systems
Interaction refinement in the design of business collaborations
Proceedings of the 2010 ACM Symposium on Applied Computing
A graph-oriented model and query language for events
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
Developer refinement of runtime architectural structure
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Analyzing security architectures
Proceedings of the IEEE/ACM international conference on Automated software engineering
A domain-specific approach to architecturing error handling in pervasive computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Event processing: past, present and future
Proceedings of the VLDB Endowment
Proceedings of the 33rd International Conference on Software Engineering
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
A connector interaction for software component composition with message central processing
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Research on modeling and description of software architecture of cooperation-oriented system
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Platform-independent modelling in MDA: supporting abstract platforms
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
An MDA approach for adaptable components
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Enforcing different contracts in hierarchical component-based systems
SC'06 Proceedings of the 5th international conference on Software Composition
Modeling composition in dynamic programming environments with model transformations
SC'06 Proceedings of the 5th international conference on Software Composition
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Reasoning about exception flow at the architectural level
Rigorous Development of Complex Fault-Tolerant Systems
SuperGlue: component programming with object-oriented signals
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
Automated runtime validation of software architecture design
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
Applying formal description techniques to software architectural design
Computer Communications
Message-passing concurrency for scalable, stateful, reconfigurable middleware
Proceedings of the 13th International Middleware Conference
DiaSuite: A tool suite to develop Sense/Compute/Control applications
Science of Computer Programming
Hi-index | 0.00 |
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 posible 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 here: 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.