Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A formal approach to software architecture
A formal approach to software architecture
Performance modeling from software components
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Cache optimization for embedded processor cores: An analytical approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Performance modeling and prediction of enterprise JavaBeans with layered queuing network templates
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Software—Practice & Experience
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A component model engineered with components and aspects
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Dynamic reconfiguration and access to services in hierarchical component models
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
CoCoTA --- Common Component Task
The Common Component Modeling Example
Towards a generic quality optimisation framework for component-based system models
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Towards automated service quality prediction for development of enterprise mashups
Proceedings of the 5th International Workshop on Web APIs and Service Mashups
| Hi-index | 0.00 |
This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtware Appliances) hierarchical component model. The solution involves (i) modeling architecture in SOFA meta-model, (ii) speci fication of component behavior via extended behavior protocols, (iii) checking behavior compliance of components, (iv) verification of correspondence be tween selected component Java code and behavior specification, (v) deploy ment to SOFA run-time envi ronment (using connectors that support RMI and JMS), and (vi) modeling of performance and resource usage via layered queue ing networks. We faced sev eral issues during implementation of the CoCoME assignment in SOFA 2.0. Most notably, the architecture was modified in order to improve clarity of the design --- in particular, the hierarchical bus was re placed by two separate buses and the Inventory component was restructured. Extended behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation (the assignment does not include a complete UML behavior specification e.g. via activity dia grams and state charts).