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
Managing Dynamic Evolution of Architectural Types
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
The CoSi Component Model: Reviving the Black-Box Nature of Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
A component framework for java-based real-time embedded systems
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Using a product line for creating component systems
Proceedings of the 2009 ACM symposium on Applied Computing
Extracting Behavior Specification of Components in Legacy Applications
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Modelling Layered Component Execution Environments for Performance Prediction
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
An Agile MDA Approach for Service-Oriented Components
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
State dependence in performance evaluation of component-based software systems
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A formal approach for the specification and verification of trustworthy component-based systems
Journal of Systems and Software
MICOBS: multi-platform multi-model component based software development framework
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A component model that is both control-driven and data-driven
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Software engineering of component-based systems-of-systems: a reference framework
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Achieving reuse with pluggable software units
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Static analysis of aspect interaction and composition in component models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Infrastructure for component-based DDS application development
Proceedings of the 10th ACM international conference on Generative programming and component engineering
A language to bridge the gap between component-based design and implementation
Computer Languages, Systems and Structures
ENT: A Generic Meta-Model for the Description of Component-Based Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparison of component frameworks for real-time embedded systems
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Bridging the semantic gap between abstract models of embedded systems
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Evolving SOA in the Q-ImPrESS project
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Component service promotion: contracts, mechanisms and safety
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A component-based middleware platform for reconfigurable service-oriented architectures
Software—Practice & Experience
Modeling dynamic virtualized resource landscapes
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Enhancing OSGi with explicit, vendor independent extra-functional properties
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
A three-level component model in component based software development
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
A new formalism for describing concurrent systems
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Composing user-specific web applications from distributed plug-ins
Computer Science - Research and Development
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
SOFA 2 Component Framework and Its Ecosystem
Electronic Notes in Theoretical Computer Science (ENTCS)
A multi-level modeling environment for SUM-based software engineering
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Towards formalising installation and reconfiguration tasks of AADL architecture
International Journal of Communication Networks and Distributed Systems
Hi-index | 0.00 |
Component-based software engineering is a powerful paradigm for building large applications. However, our experience with building application of components is that the existing advanced component models (such as those offering component nesting, behavior specification and checking, dynamic reconfiguration to some extent, etc.) are subject to a lot of limitations and issues which prevent them from being accepted more widely (by industry in particular). We claim that these issues are specifically related to (a) the lack of support for dynamic reconfigurations of hierarchical architectures, (b) poor support for modeling and extendibility of the control part of a component, and (c) the lack of support for different communication styles applied in inter-component communication. In this paper, we show how these problems can be addressed and present an advanced component system SOFA 2.0 as a proof of the concept. This system is based on its predecessor SOFA, but it incorporates a number of enhancements and improvements.