Configuration procedure synthesis for complex systems using model finder

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2010, Pages 95-104

  Kikuchi, Shinji ^a   Tsuchiya, Satoshi ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

Author keywords

Alloy analyzer; Model finder; Planning; Procedure synthesys; System configuration

Indexed keywords

FORMAL LOGIC; FORMAL SPECIFICATION; INFORMATION MANAGEMENT; LARGE SCALE SYSTEMS;

ALLOY ANALYZERS; CONFIGURATION CONSTRAINTS; DOMAIN EXPERTS; FIRST ORDER LOGIC; MODEL FINDER; MODEL FINDING; MULTIPLE DOMAINS; PROCEDURE SYNTHESYS; SYSTEMS CONFIGURATION; SYSTEMS MANAGEMENT;

SPECIFICATION LANGUAGES;

EID: 79952033086     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2010.19     Document Type: Conference Paper

References (23)

1. Symantec Corporation, State of the Data Center Report 2007, http://www.symantec.com/ , 2007.
2. D. Jackson, Software Abstractions: Logic, Language, and Analysis, The MIT Press, 2006.
3. A.Brown, et al., A model of configuration complexity and its applications to a change management system, Proc. of IM2005, 2005.
4. N.Arshad et al., Deployment and Dynamic Reconfiguration Planning For Distributed Software Systems, Proc. of ICTAI'03, 2003.
5. N.Arshad, Automated Dynamic Reconfiguration using AI Planning, Proc. of ASE'04, 2004.
6. A.Gerevini, et al., LPG: a Planner based on Planning Graphs with Action Costs, Proc. of AIPS'02, AAAI Press, 2002.
7. T.Eilam et al., Model-Based Automation of Service Deployment in a Constrained Environment, IBM Research Report, 2004.
8. K.E.Maghraoui, et al., Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools, Proc. of Middleware2006, 2006.
9. The Rise and Rise of the Declarative Datacentre, Microsoft Research Technical Report, MSR-TR-2008-61, 2008.
10. DMTF CMDB Federation Working Group, http://www.dmtf.org/
11. ITSMF - The Knowledge Network for IT Service Management, http://www.itsmf.org/
12. A.Katsuno, et al., TRIOLE Organic Computing Architecture, Fujitsu Scientific and Technical Journal, Vol.43, No.4, pp.412-419, 2007.
13. Alloy Analyzer 4, available at http://alloy.mit.edu/alloy4/
14. SAT4J, available at http://www.sat4j.org/
15. The Minisat Page, http://minisat.se/
16. S.Narain, Network Configuration Management via Model Finding, Proc. of LISA '05, 2005.
17. I.Warren, et al., An Automated Formal Approach to Managing Dynamic Reconfiguration, Proc. of ASE2006, 2006.
18. Xen, available at http://www.xen.org/
19. Interstage Application Server, http://www.fujitsu.com/global/services/ software/interstage/apserver/
20. Amazon Elastic Compute Cloud (Amazon EC2), http://aws.amazon.com/ec2/
21. Apache AXIS2, available at http://ws.apache.org/axis2/
22. K.Nakamura, et al., Efficient Translation of Logic Circuits to CNF Formulae with DBB, IPSJ SIG Technical Reports, 2007-SLDM-129, 2007.
23. R. Reiter, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, Artificial Intelligence and the Mathematical Theory of Computation, Academic Press, 1991.