Communicating sequential processes
Communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Distributed Component System Based on Architecture Description: The SOFA Experience
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Speechnet: A Network of Hyperlinked Speech-Accessible Objects
WECWIS '99 Proceedings of the International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems
A formal approach to software architecture
A formal approach to software architecture
Safe Integration of New Concerns in a Software Architecture
ECBS '06 Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
Moving architectural description from under the technology lamppost
Information and Software Technology
A QoS View ofWeb Service Choreography
ICEBE '07 Proceedings of the IEEE International Conference on e-Business Engineering
A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Hi-index | 0.00 |
Being able to specify and verify contractual application properties at the architecture level allows architects to build better architected and more reliable systems.In this paper, we propose a model-based framework for designing contractualized architecture, independently of any paradigm (components or services). It enables a software architect to express the structural, behavioral, dataflow and QoS properties of his/her application. Our framework composes these properties in order to compute and check the properties of the assemblies incrementally. This allows architects to see the influence of their design decisions on the quality of his/her architecture and thus helps them to better design their systems architecture.