GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
HPCC '08 Proceedings of the 2008 10th IEEE International Conference on High Performance Computing and Communications
The SmartFrog configuration management framework
ACM SIGOPS Operating Systems Review
Auditable Intention-Oriented Web Applications using PAA Auditing/Accounting Paradigm
Proceedings of the 2009 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2009
Assurance Support for Full Adaptive Service Based Applications
UKSIM '10 Proceedings of the 2010 12th International Conference on Computer Modelling and Simulation
Dynamically scaling applications in the cloud
ACM SIGCOMM Computer Communication Review
DepSky: dependable and secure storage in a cloud-of-clouds
Proceedings of the sixth conference on Computer systems
Middleware Services at Cloud Virtual Layer
CIT '11 Proceedings of the 2011 IEEE 11th International Conference on Computer and Information Technology
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
A framework for establishing trust in the Cloud
Computers and Electrical Engineering
Hi-index | 0.00 |
The continuing high rate of advances in information and communication systems technology creates many new commercial opportunities but also engenders a range of new technical challenges around maximising systems' dependability, availability, adaptability, and auditability. These challenges are under active research, with notable progress made in the support for dependable software design and management. Runtime support, however, is still in its infancy and requires further research. This paper focuses on a requirements model for the runtime execution and control of an intention-oriented Cloud-Based Application. Thus, a novel requirements modelling process referred to as Provision, Assurance and Auditing, and an associated framework are defined and developed where a given system's non/functional requirements are modelled in terms of intentions and encoded in a standard open mark-up language. An autonomic intention-oriented programming model, using the Neptune language, then handles its deployment and execution.