Communicating sequential processes
Communicating sequential processes
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
Experience Using Formal Methods for Specifying a Multi-Agent System
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Autonomic Computing for Pervasive ICT — A Whole-System Perspective
BT Technology Journal
Adjustable Deliberation of Self-Managing Systems
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Formal Requirements-Based Programming for Complex Systems
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Future Generation Computer Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Support for M-Commerce Software Autonomy
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Communications of the ACM
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Analysing Quality of Resilience in Fish4Knowledge Video Analysis Workflows
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Hi-index | 0.00 |
The dependability of runtime composition of Cloud-Based Services is affected by many issues including scalability and reliability, which are commonly proposed to be solved by the use of adaptive software solutions. Usually, however, the use of various software paradigms to achieve such adaptability requires that the design of the formal operational model to be implicitly linked with the end implementation. Such rigid reliance upon a static model thereby constrains the adaptability and flexibility of the composition. This paper contends that in order for adaptable Cloud-Based Services to be produced, a formal model should be specified and enacted independently from the runtime implementation. The paper shows by use of situation calculus and software representation techniques for service composition, such as an Intention Description Language, how these issues can be addressed for assured runtime adaptable, deliberative systems. In conclusion, by use of a representative example and a case study, the methodology proposed is evaluated to highlight the advantages discussed, and to identify problems still to be resolved.