Eiffel: the language
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CCS '99 Proceedings of the 6th ACM conference on Computer and communications security
Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Safe 'composability' of middleware services
Communications of the ACM - Adaptive middleware
Smart-tag based data dissemination
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Computer
The Vision of Autonomic Computing
Computer
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
A Logic-based Knowledge Representation for Authorization with Delegation
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Understanding Trust Management Systems
SP '01 Proceedings of the 2001 IEEE Symposium on Security and Privacy
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
A lightweight LTL runtime verification tool for java
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Using Trust for Secure Collaboration in Uncertain Environments
IEEE Pervasive Computing
Decentralized trust management
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
| Hi-index | 0.00 |
Issues related to large scale systems made of autonomous components encompass interoperability among independently developed software and adaptability to changing environmental conditions. Formal specifications are traditionally used at design time for software engineering tasks. However, recently, several attempts of using formal specifications at run-time have been realised that let envisage a future use of formal specifications at run-time that will enhance interoperability and adaptability of autonomous components. This paper intends to highlight the potentialities of the use of formal specifications at run-time as a support for the correct execution of such components. This paper reviews and discusses the use of formal specifications at run-time from different perspectives: software engineering, run-time code evolution, adaptive middleware, trust and security, or business applications. It highlights the potentialities of the use of formal specifications at run-time as a support for interoperability and adaptability of interacting autonomous components. It identifies as well application domains and open issues related to the combination of specifications and code in the framework of large scale systems.