Evolving algebras 1993: Lipari guide
Specification and validation methods
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Semantics of programming languages: a tool-oriented approach
ACM SIGPLAN Notices
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
A Component Framework for Dynamic Reconfiguration of Distributed Systems
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
An Open Framework for Dynamic Reconfiguration
Proceedings of the 26th International Conference on Software Engineering
Modular software upgrades for distributed systems
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Combinatorial optimization in system configuration design
Automation and Remote Control
OSGi4C: enabling OSGi for the cloud
Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE
Hi-index | 0.00 |
An ASM-based high level semantical model for service-oriented systems based on OSGi and supporting service dynamic updating is provided in this paper. The model not only provides the refinement methods but also gives the final model that specifies the constraint of OSGi. The resulting formal model can be applied in several ways. First, it enables checking or comparing existing systems based on OSGi to determine if they satisfy the dynamic updating demands and provide the necessary functionalities. Furthermore, it can serve as a basis for high level specification of a new system or components or updating constraint. Finally, the model is also useful in reasoning about the properties of service-oriented dynamic updating system based on OSGi.