Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Software Engineering Journal - Special issue on software process and its support
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Configuring object-based distributed programs in REXX
Software Engineering Journal - Object-oriented systems
A calculus of mobile processes, II
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Research directions in software composition
ACM Computing Surveys (CSUR)
First international workshop on architectures for software systems workshop summary
ACM SIGSOFT Software Engineering Notes
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software architecture: practice, potential, and pitfalls
ICSE '94 Proceedings of the 16th international conference on Software engineering
Configuration management for distributed software services
Proceedings of the fourth international symposium on Integrated network management IV
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
The Software Architect's Assistant-a visual environment for distributed programming
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Self organising software architectures
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Manipulating recovered software architecture views
ICSE '97 Proceedings of the 19th international conference on Software engineering
Distributed software architectures (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
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
Applying static analysis to software architectures
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
On-line change mechanisms: the software architectural level
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Reactive dynamic architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
WWW-based software architecture design support for cooperative representation and checking
ISAW '98 Proceedings of the third international workshop on Software architecture
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
A simple description language for dynamic architectures
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Information survivability control systems
Proceedings of the 21st international conference on Software engineering
A reusable architecture for federated client/server systems
SSR '99 Proceedings of the 1999 symposium on Software reusability
Robots: a real-time systems architectural style
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Composing distributed applications through generative communication
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing
ACM SIGSOFT Software Engineering Notes
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Dynamic coordination architecture through the use of reflection
Proceedings of the 2001 ACM symposium on Applied computing
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Taming architectural evolution
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Integrating independent components with on-demand remodularization
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Modeling Architecture Description Languages Using AML
Automated Software Engineering
An Approach for Recovering Distributed System Architectures
Automated Software Engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Component Management in a Dynamic Architecture
The Journal of Supercomputing
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Mapping an ADL to a Component-Based Application Development Environment
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Algebraic Support for Service-Oriented Architecture
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Monitoring Software Process Interactions: A Logic-Based Approach
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems
EWSPT '01 Proceedings of the 8th European Workshop on Software Process Technology
Reconfiguration of Software Architecture Styles with Name Mobility
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination in a Reflective Architecture Description Language
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
On the Integration of Configuration and Meta-level Programming Approaches
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Towards a Descriptive Approach to Model Adaptable Communication Environments
ICN '01 Proceedings of the First International Conference on Networking-Part 2
Modelling architectures for dynamic systems
Programming methodology
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Enforcing Business Policies Through Automated Reconfiguration
Proceedings of the 16th IEEE international conference on Automated software engineering
Program control language: a programming language for adaptive distributed applications
Journal of Parallel and Distributed Computing
QoS Management specification support for multimedia middleware
Journal of Systems and Software
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
A basic model for components implementation of software architecture
ACM SIGSOFT Software Engineering Notes
Variability management with feature-oriented programming and aspects
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Architecture differencing for self management
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Engineering distributed software: a structural discipline
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Towards an architectural treatment of software security: a connector-centric approach
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
MobiGATE: A Mobile Computing Middleware for the Active Deployment of Transport Services
IEEE Transactions on Software Engineering
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
The Golden Age of Software Architecture
IEEE Software
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Models, reflective mechanisms and family-based systems to support dynamic configuration
Proceedings of the 1st workshop on MOdel Driven Development for Middleware (MODDM '06)
Expectation, experiment and reflection on internet software evolution
ACM SIGSOFT Software Engineering Notes
Towards Multiple Access in Generic Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Product Line Architectures through Change Sets and Relationships
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Modeling Environment for Component Model Checking from Hierarchical Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Representing Hierarchical Mobility in Software Architectures
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
EURASIP Journal on Applied Signal Processing
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
Reliable dynamic reconfigurations in the fractal component model
Proceedings of the 6th international workshop on Adaptive and reflective middleware: held at the ACM/IFIP/USENIX International Middleware Conference
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
The Common Component Modeling Example
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
A modelling approach to service-oriented architecture
Enterprise Information Systems
Modes in component behavior specification via EBP and their application in product lines
Information and Software Technology
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
The Future of Software: Adaptation and Dependability
Software Engineering
Autonomic Computing Now You See It, Now You Don't
Software Engineering
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Improving Architecture-Based Self-Adaptation through Resource Prediction
Software Engineering for Self-Adaptive Systems
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
A generative programming approach to developing pervasive computing systems
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Discovery of architectural layers and measurement of layering violations in source code
Journal of Systems and Software
WSEAS Transactions on Computers
Methodology evaluation framework for dynamic evolution in composition-based distributed applications
Journal of Systems and Software
A model-driven approach to weave architectural styles into service-oriented architectures
Proceedings of the first international workshop on Model driven service engineering and data quality and security
Automated adaptations to dynamic software architectures by using autonomous agents
Engineering Applications of Artificial Intelligence
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
A family of languages for architecture constraint specification
Journal of Systems and Software
Dynamic change in workflow-based coordination of distributed services
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Versatile system-level memory-aware platform description approach for embedded MPSoCs
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Modules for crosscutting models
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Evolving requirements through coordination contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Science of Computer Programming
Interaction refinement in the design of business collaborations
Proceedings of the 2010 ACM Symposium on Applied Computing
Software of the future is the future of software?
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Dynamic evolution of web-based systems
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
Archface: a contract place where architectural design and code meet together
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Developing next generation ADLs through MDE techniques
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
A domain-specific approach to architecturing error handling in pervasive computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Architecture-centric component-based development needs a three-level ADL
ECSA'10 Proceedings of the 4th European conference on Software architecture
Universal connection architecture for interactive applications to achieve distributed computing
Journal of Network and Computer Applications
ICICA'10 Proceedings of the First international conference on Information computing and applications
Towards dynamic adaptation of probabilistic systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Proceedings of the 33rd International Conference on Software Engineering
A CSP-based framework for the specification, verification, and implementation of adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP
FM'11 Proceedings of the 17th international conference on Formal methods
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Ten years of analyzing actors: Rebeca experience
Formal modeling
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A reflective framework for mediation applications
Adaptive and Reflective Middleware on Proceedings of the International Workshop
A component language for structured parallel programming
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
DySOA: making service systems self-adaptive
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Utilising alternative application configurations in context- and qos-aware mobile middleware
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Research on modeling and description of software architecture of cooperation-oriented system
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Software and Systems Modeling (SoSyM)
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
A component-oriented model for the design of safe multi-threaded applications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Semantics-aware services for the mobile computing environment
Architecting Dependable Systems III
Dynamic reconfiguration and access to services in hierarchical component models
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Managing the dynamism of the OSGi Service Platform in real-time Java applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Dynamic reconfiguration in self-adaptive systems considering non-functional properties
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Model-Driven techniques to enhance architectural languages interoperability
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Configurator-as-a-service: tool support for deriving software architectures at runtime
Proceedings of the WICSA/ECSA 2012 Companion Volume
Modeling dynamic architectures using Dy-BIP
SC'12 Proceedings of the 11th international conference on Software Composition
A three-level component model in component based software development
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Journal of Systems and Software
Social devices: collaborative co-located interactions in a mobile cloud
Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia
Representing dynamic pluggable software units
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
Much of the recent work on Architecture Description Languages (ADL) has concentrated on specifying organisations of components and connectors which are static. When the ADL specification is used to drive system construction, then the structure of the resulting system in terms of its component instances and their interconnection is fixed. This paper examines ADL features which permit the description of dynamic software architectures in which the organisation of components and connectors may change during system execution.The paper outlines examples of language features which support dynamic structure. These examples are taken from Darwin, a language used to describe distributed system structure. An operational semantics for these features is presented in the π-calculus, together with a discussion of their advantages and limitations. The paper discusses some general approaches to dynamic architecture description suggested by these examples.