RETRACTED: Specification and verification of dynamic evolution of software architectures

Authors:
Xu Hongzhen;Zeng Guosun
Affiliations:
Department of Computer Science and Technology, Tongji University, Shanghai 201804, China and Department of Computer Science and Technology, East China Institute of Technology, Fuzhou, Jiangxi Prov ...;Department of Computer Science and Technology, Tongji University, Shanghai 201804, China and Embedded System and Service Computing Key Lab of Ministry of Education, Shanghai 201804, China
Venue:
Journal of Systems Architecture: the EUROMICRO Journal
Year:
2010

Citing 18
Cited 1

Foundations for the study of software architecture

ACM SIGSOFT Software Engineering Notes
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Dynamic structure in software architectures

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Architecture-based runtime software evolution

Proceedings of the 20th international conference on Software engineering
Modeling software architectures in the Unified Modeling Language

ACM Transactions on Software Engineering and Methodology (TOSEM)
Describing Software Architecture Styles Using Graph Grammars

IEEE Transactions on Software Engineering
Specification and Refinement of Dynamic Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

Proceedings of the 17th IEEE international conference on Automated software engineering
A formal approach to software architecture

A formal approach to software architecture
Runtime Software Architecture Based Software Online Evolution

COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Using Model Checking to Assess the Dependability of Agent-Based Systems

IEEE Intelligent Systems
Describing dynamic software architectures using an extended UML model

Proceedings of the 2006 ACM symposium on Applied computing
Modelling Dynamic Software Architectures using Typed Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)
Shaped Hierarchical Architectural Design

Electronic Notes in Theoretical Computer Science (ENTCS)
Using the AADL to describe distributed applications from middleware to software components

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Formal analysis and verification of self-healing systems

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering

Dynamic software architectures: formal specification and verification with CSP

Proceedings of the Fourth Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article has been retracted: please see Elsevier Policy on Article Withdrawal (http://www.elsevier.com/locate/withdrawalpolicy). This article has been retracted at the request of the Editor-in-Chief. This paper has been withdrawn as it became apparent that a second, virtually identical article was published at about the same time in Journal of Software. The two papers had very similar content, addressing the same problem with similar techniques. Following a detailed investigation, with the support of the authors, the differences in the text and the techniques used were considered too minor.