Automated runtime validation of software architecture design

Authors:
Zhijiang Dong;Yujian Fu;Yue Fu;Xudong He
Affiliations:
School of Computer Science, Florida International University;School of Computer Science, Florida International University;Technical center, Dogain securities Co., Ltd., China;School of Computer Science, Florida International University
Venue:
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Year:
2005

Citing 13
Cited 0

A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Authentication and authenticated key exchanges

Designs, Codes and Cryptography
Abstractions for Software Architecture and Tools to Support Them

IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement

IEEE Transactions on Software Engineering - Special issue on software architecture
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
Using weaves for software construction and analysis

ICSE '91 Proceedings of the 13th international conference on Software engineering
Aspect-oriented programming: Introduction

Communications of the ACM
ArchJava: connecting software architecture to implementation

Proceedings of the 24th International Conference on Software Engineering
An Event-Based Architecture Definition Language

IEEE Transactions on Software Engineering
The Temporal Rover and the ATG Rover

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
An Overview of the Runtime Verification Tool Java PathExplorer

Formal Methods in System Design
Proceedings of the 3rd international conference on Aspect-oriented software development

3rd International Conference on Aspect-Oriented Software Development
The Petri net markup language: concepts, technology, and tools

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

The benefits of architecture description languages (ADLs) cannot be fully captured without a automated and validated realization of software architecture designs. In addition to the automated realization of software architecture designs, we validate the realization process by exploring the runtime verification technique and aspect-oriented programming. More specifically, system properties are not only verified against design models, but also verified during execution of the generated implementation of software architecture designs. All these can be done in an automated way. In this paper, we show that our methodology of automated realization of software architecture designs and validation of the implementation is viable through a case study.