The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Three logics for branching bisimulation
Journal of the ACM (JACM)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
A software model for flexible & safe adaptation of mobile code programs
Proceedings of the International Workshop on Principles of Software Evolution
Predicting How Badly "Good" Software Can Behave
IEEE Software
Architecture-based Exception Handling
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804)
Enabling autonomic behavior in systems software with hot swapping
IBM Systems Journal
Exception handling in the development of dependable component-based systems
Software—Practice & Experience - Research Articles
CHARMY: an extensible tool for architectural analysis
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Enabling safe dynamic component-based software adaptation
Architecting Dependable Systems III
A new algorithm in assembly for component-based software using dependency chart
International Journal of Information Systems and Change Management
Hi-index | 0.00 |
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to produce a multitude of software systems. However, this ideal scenario is not always the case, e.g., the integration with legacy components. In this context, one main problem in component assembly arises. It is related to the ability to automatically and efficiently (i.e., by reducing the state-explosion phenomenon) synthesize an assembly code for a set of, possibly incompatible, software components. Moreover, this assembly should be able to evolve when things change and to be correct-by-construction, i.e., despite the changes, it always ensures a set of properties of interest. In this paper we propose a Software Architecture (SA) based approach in which architectural analysis and code synthesis are combined together in order to efficiently and correctly assemble a system out of a set of already implemented components. The approach can be equally applied to efficiently manage the whole re-factoring of the system when one or more components needs to be substituted, still maintaining the required properties. The specified and validated system SA is used as starting point for the derivation of adaptors required to correctly replace components in the composed system. The approach is applied and validated over an explanatory example concerning with a "cooling water pipe" system.