A Supporting Environment Based on Graph Grammar for Dynamic Software Architectures
نویسندگان
چکیده
منابع مشابه
Graph grammar-based transformation for context-aware architectures supporting group communication
Handling context-aware dynamically adaptable architectures contributes to the design of self-configuring software systems. This kind of problem for communicating systems is even more challenging since adaptation should address simultaneously the different levels. This is necessary for handling both changes in the low level constraints and evolutions in the high level requirements. In this paper...
متن کاملGraph-Based Design and Analysis of Dynamic Software Architectures
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented in Alloy; ii) a process algebraic presentation of graph transformation implemented in Maude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling p...
متن کاملEnhanced Graph Rewriting Systems for Performance Aware Dynamic Software Architectures
Methodologies for correct by construction reconfigurations can efficiently solve consistency issues in dynamic software architectures. At the same time, they may be unfit to characterize a system from a performance perspective. This stems from efficiency and applicability limitations in handling time-varying characteristics and related intradependencies. In order to lift these restrictions, an ...
متن کاملAn Animation Tool for Supporting Specification-Based Software Architectures
One of the important issues in supporting specification-based software architectures is how to verify that formal specifications of a software system satisfy liveness, safety and timing constraints, and are consistent and complete with regard to user requirements. Animation has been proposed as one of the techniques for achieving this goal. This article presents a practical approach and a tool ...
متن کاملDynamic Graph-Based Software Watermarking
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object discourages intellectual property theft, or when such theft has occurred, allows us to prove ownership. The Software Watermarking problem can be described as follows. Embed a structure W into a program P such that: W can ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software
سال: 2008
ISSN: 1000-9825
DOI: 10.3724/sp.j.1001.2008.01881