The Z notation: a reference manual
The Z notation: a reference manual
UML distilled (2nd ed.): a brief guide to the standard object modeling language
UML distilled (2nd ed.): a brief guide to the standard object modeling language
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Through the Interface: A Human Activity Approach to User Interface Design
Through the Interface: A Human Activity Approach to User Interface Design
Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Self-Architecting Software SYstems (SASSY) from QoS-annotated activity models
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
RESISTing reliability degradation through proactive reconfiguration
Proceedings of the IEEE/ACM international conference on Automated software engineering
Dynamic software adaptation for service-oriented product lines
Proceedings of the 15th International Software Product Line Conference, Volume 2
An architectural approach to end user orchestrations
ECSA'11 Proceedings of the 5th European conference on Software architecture
Modeling dynamic virtualized resource landscapes
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Co-adapting human collaborations and software architectures
Proceedings of the 34th International Conference on Software Engineering
Coupling software architecture and human architecture for collaboration-aware system adaptation
Proceedings of the 2013 International Conference on Software Engineering
A meta-controller method for improving run-time self-architecting in SOA systems
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Service Oriented Computing and Applications
Hi-index | 0.00 |
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and QoS requirements of such software systems are not known a priori at design-time, and even if they are, they may change at run-time. Unfortunately, the majority of existing software engineering techniques rely heavily on human reasoning and manual intervention, making them inapplicable for automatic composition of such software systems at run-time. Moreover, these approaches are primarily intended to be used by technically knowledgeable software engineers, as opposed to domain users. In this paper, we present Service Activity Schemas (SAS) , an activity-oriented language for modeling software system's functional and QoS requirements. SAS targets service-oriented software systems, and relies on an ontology to provide domain experts with modeling constructs that are intuitively understood. SAS forms the centerpiece of a framework intended for user-driven composition and adaptation of service-oriented software systems in a pervasive setting. We provide a detailed description of SAS in the context of a case study and formally specify its structural and dynamic properties.