Abstract
We continue investigation of formal specification of Grid Component systems by temporal logics and subsequent application of temporal resolution as a verification technique. This time we enrich the specification language by the ability to capture norms which enables us to formally define a concept of a re-configuration. We aim at integrating a software tool for automated specification as well as verification to ensure a reliable and dynamically re-configurable model.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Basso, A. Bolotov, A. Basukoski, V. Getov, L. Henrio and M. Urbanski. Specification and Verification of Reconfiguration Protocols in Grid Component Systems. In Proceedings of the 3rd IEEE Conference On Intelligent Systems IS-200, 2006, IEEE.
T. Barros and L. Henrio and E. Madelaine. Verification of Distributed Hierarchical Components. In Proc. of the International Workshop on Formal Aspects of Component Software (FACS’05). Electronic Notes in Theor. Computer Sci. 160. pp. 41-55 (ENTCS), 2005.
Batista, T., Joolia, A. and Coulson, G. Managing Dynamic Reconfiguration in Component-based Systems Proceedings of the European Workshop on Software Architectures, June, 2005, Springer-Velag LNCS series, Vol 3527, pp 1-18.
F. Baude and D. Caromel and F. Huet and L. Mestre and J. Vayssi Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications HPDC ’02: Pro-ceedings of the 11 th IEEE International Symposium on High Performance Distributed Computing HPDC-11 p. 93, IEEE Computer Society.
A. Bolotov. Clausal Resolution for Branching-Time Temporal Logic. PhD thesis, Depart-ment of Computing and Mathematics, The Manchester Metropolitan University, 2000.
A. Bolotov and M. Fisher. A Clausal Resolution Method for CTL Branching Time Temporal Logic. Journal of Experimental and Theoretical Artificial Intelligence., 11:77-93,1999.
E. M. Clarke, A. Fehnker, S. Jha and H. Veith. Temporal Logic Model Checking., Handbook of Networked and Embedded Control Systems, 2005, pages 539-558.
C. Dixon, M. Fisher, and B. Konev. Tractable Temporal Reasoning. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 318-323, January 6-12th 2007.
T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates, and counterfactuals. PODS ’92: Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium, p261-273, 1992.
M. Endler. A language for implementing generic dynamic reconfigurations of distributed programs. In Proceedings of the 12th Brazilian Symposium on Computer Networks, pages 175-187, 1994.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B, Formal Models and Semantics., pages 996-1072. Elsevier, 1990.
GCM program committee Basic Features of the Grid Component Model Deliverable D.PM.04, CoreGRID, March 2007.
V. Getov, A. Basukoski, J. Thiyagalingam, Y. Yulai and Y. Wu Grid programming with COMPonents : an advanced component platform for an effective invisible grid GRIDComp Technical Report, July 2007.
A. Lomuscio and B. Wozna. A complete and decidable axiomatisation for deontic interpreted systems. In DEON, volume 4048 of Lecture Notes in Computer Science, pages 238-254. Springer, 2006.
Z. Manna and A. Pnueli. Temporal Specification and Verification of Reactive Modules. Weizmann Institute of Science Technical Report, March 1992.
S. Schaefer. CDDLM - Component Model In proceeding to the Open Grid Forum, March 2006.
Elisabeth A. Strunk and John C. Knight. Assured Reconfiguration of Embedded Real-Time Software. DSN ’04: Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN’04), 2004, p. 367, IEEE Computer Society.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Basso, A., Bolotov, A. (2008). Towards gcm re-configuration - extending specification by norms. In: Making Grids Work. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-78448-9_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-78448-9_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-78447-2
Online ISBN: 978-0-387-78448-9
eBook Packages: Computer ScienceComputer Science (R0)