Evaluating software architectures by coloured petri nets

Authors:
Kimiyuki Fukuzawa;Motoshi Saeki
Affiliations:
Tokyo Institute of Technology, Ookayama 2-12-1, Meguro-ku, Tokyo 152-8552, Japan;Tokyo Institute of Technology, Ookayama 2-12-1, Meguro-ku, Tokyo 152-8552, Japan
Venue:
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Year:
2002

Citing 10
Cited 7

Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
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
Compositional verification of concurrent systems using Petri-net-based condensation rules

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design and performance modeling of component interconnection patterns for distributed software architectures

Proceedings of the 2nd international workshop on Software and performance
Architectural Mismatch: Why Reuse Is So Hard

IEEE Software
Architectural Mismatch: Why Reuse Is So Hard

IEEE Software
Attribute-Based Architecture Styles

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Specifying and Evaluating Software Architectures Based on 4+1 View Model

Proceedings of the IFIP TC8 / WG8.1 Working Conference on Engineering Information Systems in the Internet Context
Statechart Simulator for Modeling Architectural Dynamics

WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Issues in Analyzing the Behavior of Event Dispatching Systems

IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design

Architecture compliance checking at run-time

Information and Software Technology
Modeling UAS swarm system using conceptual and dynamic architectural modeling concepts

ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Controlling software architecture erosion: A survey

Journal of Systems and Software
Specifying and analyzing software safety requirements of a frequency converter using coloured petri nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Performance evaluation approaches for software architects

Component-Based Software Development for Embedded Systems
A process for continuous validation of self-adapting component based systems

Proceedings of the 7th Workshop on Models@run.time
Modeling and simulation of software architecture in discrete event system specification for quality evaluation

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements to the system. In this paper, we present a technique for describing behavioral aspects of software architectures formally based on Coloured Petri Nets (CPNs) and a technique for evaluating their non-functional qualities by analyzing CPNs with a supporting tool. We provide quality models for evaluating security, efficiency and reliability, and integrate them with CPN descriptions of software architectures. Their qualities are evaluated by simulating the CPNs on CPN analysis tool called Design/CPN. To show the effectiveness of our techniques, we illustrate Applet architecture and CGI one in a web computing application, and evaluate their quality of security on network, of time-efficiency and of reliability on network by using Design/CPN. It allows us to clarify trade-off on issues of selecting which architecture should be selected.