Cited By
View all- Morales JSánchez PAlonso D(2014)A systematic literature review of the Teleo-Reactive paradigmArtificial Intelligence Review10.1007/s10462-012-9350-242:4(945-964)Online publication date: 1-Dec-2014
RPL: a policy language for dynamic reconfiguration
Pages 73 - 78
Abstract
Component-based systems with the ability to alter their configuration at runtime are becoming increasingly attractive to large organisations. However, for such systems to be trustworthy, the system user must be able to be confident that any dynamic reconfiguration takes place in a predictable manner. We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of component-based systems, based on a teleo-reactive (T-R) language. We will provide a structural operational semantic definition for the T-R language and describe how we aim to use this framework to create the policy language.
References
[1]
Z. Andrews and J. S. Fitzgerald. Support for resilience-explicit computing. Technical Report Deliverable D11, ReSIST: Resilience for Survivability in IST, September 2007.
[2]
A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 01(1):11--33, 2004.
[3]
A. Bhattacharyya and J. S. Fitzgerald. Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. To Appear in SERENE08, 2008.
[4]
D. Bjørner and C. B. Jones. Formal Specification and Software Development. Prentice Hall International, 1982.
[5]
N. Damianou, A. K. Bandara, M. Sloman, and E. C. Lupu. A survey of policy specification approaches. www.doc.ic.ac.uk/~mss/Papers/PolicySurvey.pdf, 2002.
[6]
N. Damianou, N. Dulay, E. C. Lupu, and M. Sloman. Ponder: A language for specifying security and management policies for distributed systems. Technical Report DoC 2000/1, Imperial College, 2000.
[7]
R. Ellison, D. Fisher, R. Linger, H. Lipson, T. Longstaff, and N. Mead. Survivable network systems: An emerging discipline. IEEE Software, 16(4):70--77, 1999.
[8]
J. S. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat, and M. Verhoef. Validated Designs for Object-Oriented Systems. Springer Verlag, London, 2005.
[9]
D. Garlan, S.-W. Cheng, A.-C. Huang, B. Schmerl, and P. Steenkistel. Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer, 37(10):46--54, 2004.
[10]
I. Hayes. Towards reasoning about teleo-reactive programs for robust real-time systems. To Appear in SERENE08, 2008.
[11]
J. R. Hughes and C. B. Jones. Reasoning about programs via operational semantics- requirements for a support system. Automated Software Engineering, 2008.
[12]
J. O. Kephart and W. E. Walsh. An artificial inteligence prespective on autonomic computing policies. 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), pages 3--12, 2004.
[13]
J. Kramer and J. Magee. Dynamic structure in software architectures. Software Engineering Notes, 21(6):3--14, 1996.
[14]
J. Lobo, R. Bhatia, and S. A. Naqvi. A policy description language. In American Association for Artificial Intelligence/Innovative Applications of Artificial Intelligence, pages 291--298, 1999.
[15]
J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference, pages 137--153, London, UK, 1995. Springer-Verlag.
[16]
N. Medvidovic, E. M. Dashofy, and R. N. Taylor. Moving architectural description from under the technology lamppost. Information and Software Technology, 49(1):12--31, Janruary 2007.
[17]
N. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor. Using object-oriented typing to support architectural design in the c2 style. Software Engineering Notes, 21(6):24--32, 1996.
[18]
N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70--93, 2000.
[19]
N. J. Nilsson. Toward agent programs with circuit semantics. Technical Report STAN-CS-92-1412, Stanford University, Stanford, California, 94305, January 1992.
[20]
N. J. Nilsson. Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research, 1:139--158, 1994.
[21]
G. D. Plotkin. A structural approach to operational semantics. In The Journal of Logic and Algebraic Programming, pages 17--139, 2004.
[22]
G. D. M. Serugendo, J. S. Fitzgerald, A. Romanovsky, and N. Guelfi. A metadata-based architectural model for dynamically resilient systems. In SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, pages 566--572, New York, NY, USA, 2007. ACM Press.
[23]
M. Sloman. Policy driven management for distributed systems. Journal of Network and Systems Management, 2(4):333--360, December 1994.
Recommendations
Mobility Aware RPL (MARPL): Mobility to RPL on Neighbor Variability
Green, Pervasive, and Cloud ComputingAbstractLow Power and Lossy Network (LLN) is a common type of wireless network in IoT applications. LLN communication patterns usually require an efficient routing protocol. The IPv6 Routing Protocol for Low-Power and Lossy Network (RPL) is considered to ...
RPL: An Expert System Language with Query Power
The author introduces RPL (the relational production language) and explores the opportunities it presents for expert database systems. RPL is a language for developing expert systems that bridges the gap between expert systems and database systems. The ...
A RPL through RDF: expressive navigation in RDF graphs
RR'10: Proceedings of the Fourth international conference on Web reasoning and rule systemsRPL (pronounced "ripple") is the most expressive path language for navigating in RDF graphs proposed to date that can still be evaluated with polynomial combined complexity. RPL is a lean language well-suited for integration into RDF rule languages. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2008
133 pages
ISBN:9781605582757
DOI:10.1145/1479772
- Program Chairs:
- Nicolas Guelfi,
- Henry Muccini,
- Patrizio Pelliccione,
- Alexander Romanovsky
Copyright © 2008 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 17 November 2008
Check for updates
Qualifiers
- Research-article
Conference
SERENE '08
Sponsor:
SERENE '08: RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms
November 17 - 19, 2008
Newcastle upon Tyne, United Kingdom
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 115Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 30 Dec 2024
Other Metrics
Citations
Cited By
View all- Morales JSánchez PAlonso D(2014)A systematic literature review of the Teleo-Reactive paradigmArtificial Intelligence Review10.1007/s10462-012-9350-242:4(945-964)Online publication date: 1-Dec-2014
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in