nuri 0.5.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: d02365a26a71b3202e77accdc43826f5da8c63ca
+  data.tar.gz: 00b72bf869f9802a32fe1bc4a2f4b350ffb889d2
+SHA512:
+  metadata.gz: 63f4c79c68d7e624ec3ac944fdb7445edd8a78ee5370122c5133e4c24c2fe7d998ed01900ccd7a3c4bd0315ab33d4005473b8f13a8d0db0dae1c26ff028ed7fe
+  data.tar.gz: ee932dd09a18574c7ec58c9f55ca21a2085bad5be3be735d90de26be4610e599106a40eb273168db60834647b7e308b035c619fd5ba0fef6056b94ecdd3d627e

data/.gitignore

@@ -0,0 +1,6 @@
+*.gem
+*.swp
+*.pem
+*.DS_Store
+var
+etc

data/.travis.yml

@@ -0,0 +1,12 @@
+language: ruby
+
+gemfile:
+  - Gemfile
+
+rvm:
+  - 1.9.2
+  - 1.9.3
+  - 2.0.0
+
+notifications:
+  - email: false

data/CHANGELOG

@@ -0,0 +1,146 @@
+14-08-2013 -- 0.4.0
++ upload 0.4.0 branch to github
+
+27-05-2013 -- 0.3.6
++ update BSig engine with version 2
+
+26-04-2013 -- 0.3.5
++ SFP: replace class with schema
+
+05-04-2013 -- 0.3.4
++ enable standalone mode
++ enable master node to apply desired state specified in given configuration file
+
+05-04-2013 -- 0.3.4(alpha)
++ add new modules: nginx and mariadb
++ replace nohup with forever in nurilabs
++ add v init script "bin/nuri-init"
++ modify "bin/install-client" to install v init script to enable
+  start/stop nuri-client deamon through "service"
+
+05-04-2013 -- 0.3.3
++ add new modules "nurilabs" and "mongodb"
+
+06-03-2013 -- 0.3.2
++ set the state of an "offline" node with <sfp::unknown> value
+
+28-02-2013 -- 0.3.2
++ rename files in bin directory
+  + bin/nuri.rb => bin/nuri
+  + bin/client => bin/nuri-client
+  + bin/master => bin/nuri-master
+  + bin/bsig-status.sh => bin/bsig-status
+  + bin/install.sh => bin/install-client
++ Add a new module "rackspace" that manages Rackspace Compute V2 (Next-Gen)
++ Add a new module "aws" that manages Amazon Web Service EC2 (compute) 
+
+25-02-2013 -- 0.3.1
++ Fix a bug on the planner when a variable's initial value equals <sfp::unknown>.
+  This is fixed by adding <sfp::unknown> to domain of all non-static variables.
+
+18-02-2013 -- 0.3.1
++ send a BSig-goal to a node that supports the goal
++ the BSig-goal of uncreated VM will be sent to cloud-proxy, which will be
+  sent to Nuri client-agent after the VM has been created
++ activate BSig model of a new-created VM after it received the BSig model
++ a node with "null" address means that it is a VM but not yet created
++ if a Nuri client-agent cannot be contacted, then all variables of that agent
+  have values "<sfp::unknown>"
++ a variable has value "<sfp::undefined>" iff the node has been created,
+  the Nuri client-agent can be contacted, and the variable is not exist in
+  that node
++ BSig-goal is a collection of pairs of variable-value, where variable's final
+  value is either not same with the initial state, or supported by an operator
+  in the workflow
+
+11-02-2013 -- 0.3.0a
++ add the cloud-proxy node as "trusted" node -- inside "create_vm"
++ enable system-information propagation between children nodes
++ planner optimization
+  + run 1st with CG|CEA|FF to generate highly likely possible actions
+  + remove actions which are not selected by previous step
+  + run LMCUT with selected actions to get sub-optimal workflow
+
+10-02-2013 -- 0.3.0a
++ enable machine's reference in members of Apachelb
+
+08-02-2013 -- 0.3.0
++ enable cloud-proxy as a component, but right now only support HP-Cloud
++ cloud-proxy is not integrated anymore with master-node
++ new configuration in nuri.sfp: "virtual_machine" (boolean)
+  represents whether a node is a virtual machine or not; if it is, then use VM instead of Machine class
++ update "get_system_information" method in master.rb to adopt cloud-proxy
++ class VM is a subclass of class Machine in both SFP and Ruby codes
+
+09-01-2013 -- 0.2.1
++ set time limit for the solver (default 5mins) -- it can be set by specifying "solver_timeout"
+  in "nuri.sfp"
++ prioritise repairing local-flaws than remote-flaws
++ rename method "get_self_state" => "update_state" in resource.rb and all modules' ruby files
+
+07-01-2013 -- 0.2.1
++ new module: cloud (only handle HPCloud)
++ create/delete Virtual Machine (VM)
++ allow "parent" to be used in reference of constraint or mutation
++ obligation to provide manifest file (main.mf) for non-abstract module
++ any module without manifest file is an abstract module
+  (it will not loaded by Nuri when aggregating current state)
+
+02-01-2013 -- 0.2.0
++ fix bugs in 'lib/nuri/sfp/sas.rb' -- in remove_not_constraint method
++ enable multiple statements in conditional constraint
++ allow administrator to check BSig status
++ push trusted nodes from master to client
++ restrict request only from trusted nodes in client
++ allow client to expose its active BSig model
+
+27-12-2012 -- 0.2.0 (beta1)
++ fix bugs on BSig reminder -- send start BSig request through localhost
++ provide HTTP PUT /bsig/start -- to accept request starting BSig executor
++ fix partial-order workflow generator (use TO2PO algorithm in Ambite & Knoblock,
+  Planning by Rewriting (2001) to replace Veloso et.al.'s algorithm(1990))
++ provide new console command: console start-bsig
++ fix bugs on repairing local-flaws: need to check post-conditions of every
+  operator execution with the real current state
++ bin/nuri.rb can be called from any directory
+
+24-12-2012 -- 0.2.0 (beta)
++ enable synchronous BSig execution (replacing the asynchronous version)
++ redirect webrick logs (all levels) to "log/http.log"
+
+23-12-2012
++ enable BSig executor to send request to itself (localhost) for satisfying an operator's precondition
++ fix bugs on start/stop nuri client
+
+21-12-2012 -- 0.2.0 (alpha)
++ enable distributed execution, but only tested on a system with 3 nodes
+
+19-12-2012 -- 0.1.4
++ from master node, sending BSig model to each client nodes
++ on client node, saving the BSig model
+
+18-12-2012 -- 0.1.3
++ enable partial-order workflow
++ generate BSig model
++ modify CLI parameters in 'bin/nuri.rb'
+  -c => console
+  -p => planner
+
+12-12-2012 -- 0.1.2
++ replace mongrel with WEBrick
++ disable secure connection due to immature implementations (buggy)
+
+18-11-2012 -- 0.1.1
++ implement modules to manage TikiWiki; separated into two modules:
+	- Tikiweb -- managing the frontend: installing PHP files, set PHP config
+	- Tikidb -- managing the backend: executing SQL to create the database, grant/revoke permissions
+
+12-11-2012
++ implement module "Apachelb" -- Apache Load Balancer
++ allow Set as argument of procedure
+
+06-11-2012
++ first release
++ available modules
+	- Apache
+	- Mysql

data/Gemfile

@@ -0,0 +1,3 @@
+source "https://rubygems.org"
+
+gemspec

data/LICENSE

@@ -0,0 +1,28 @@
+BSD LICENSE
+
+Copyright (c) 2013, Herry
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met: 
+
+1. Redistributions of source code must retain the above copyright notice, this
+   list of conditions and the following disclaimer. 
+2. Redistributions in binary form must reproduce the above copyright notice,
+   this list of conditions and the following disclaimer in the documentation
+   and/or other materials provided with the distribution. 
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
+ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
+(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
+ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
+SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+The views and conclusions contained in the software and documentation are those
+of the authors and should not be interpreted as representing official policies, 
+either expressed or implied, of the FreeBSD Project.

data/README.md

@@ -0,0 +1,64 @@
+Nuri
+====
+- author: Herry [herry13@gmail.com]
+- license: BSD
+
+[![Gem Version](https://badge.fury.io/rb/nuri.png)](https://badge.fury.io/rb/nuri)
+
+Nuri is an automated workflow configuration tool. It allows us to define the desired state of
+the managed system, and the tool will automatically generate and orchestrate the execution of the workflow
+that will:
+
+1. bring the system from current to the desired state,
+2. maintain any necessary constraints during the configuration changes.
+
+Unlike any other orchestration tool, this will eliminate the obligation for the user to define an explicit
+workflow to implement the configuration, which allows "unattended" reconfiguration.
+
+The desired state is specified in a declarative configuration language, called as SFP, where we could
+define a "loose" specification of the desired state as well as a set of global constraints
+(the constraints that must be satisfied during the changes).
+
+Each resource is managed by an instant of Nuri module, which consists of:
+
+1. a schema file in SFP language, that contains a set of attributes and declarative procedures;
+2. an implementation file in Ruby, that has contains a Ruby class with a set of methods (the implementation of SFP procedures).
+
+
+Requirements
+------------
+- Ruby (>= 1.9.1)
+- Ruby Gems:
+	- sfplanner (>= 0.1.1)
+	- colorize (>= 0.5.8)
+	- coderay (>= 1.0.9)
+
+Tested on: **Ubuntu 12.04**, **Debian Squeeze**
+
+
+To install
+----------
+
+	$ apt-get install git make gcc curl ruby1.9.1 ruby1.9.1-dev libz-dev libaugeas-ruby1.9.1 libxml2-dev libxslt-dev
+	$ gem install sfplanner colorize coderay
+	$ git clone https://github.com/herry13/nuri
+
+
+Usage
+-----
+Assume that the model of your system is in file "model.sfp".
+- to get the current state
+
+		$ ./bin/nuri -h -m model.sfp -s
+
+- to generate the plan
+
+		$ ./bin/nuri -h -m model.sfp -p
+
+  press 'Y' and enter to execute the plan (if the plan exists).
+
+- to execute any generated plan
+
+		$ ./bin/nuri -h -m model.sfp -a
+
+

data/Rakefile

@@ -0,0 +1,15 @@
+def nuri
+	File.dirname(__FILE__) + '/bin/nuri'
+end
+
+def testfiles
+	File.read(File.dirname(__FILE__) + "/test/files").split("\n")
+end
+
+task :default => :test
+
+namespace :test do
+	testfiles.each { |file|
+		sh("#{nuri} model -m #{file}")
+	}
+end

data/VERSION

@@ -0,0 +1 @@
+0.5.1

data/bin/delete_modules

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+if [[ "$1" == "" ]]
+then
+	echo "Usage: delete_modules <address> [port]"
+elif [[ "$2" == "" ]]
+then
+	curl -i -X PUT $1:1314/modules
+else
+	curl -i -X PUT $1:$2/modules
+fi

data/bin/install_agent

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+COMMANDS="apt-get update;
+apt-get -y install sudo ruby ruby-dev rubygems libz-dev libaugeas-ruby make gcc libxml2-dev libxslt-dev libreadline-dev;
+gem install sfp sfpagent fog restfully restfully-addons --no-ri --no-rdoc;
+ln -sf /var/lib/gems/1.8/bin/sfpagent /usr/local/bin/sfpagent;
+sfpagent -t;
+sfpagent -s;
+"
+
+if [[ "$@" == "" ]]
+then
+	echo "Usage: install_agent <ssh-parameters>"
+else
+	echo $COMMANDS | ssh "$@"
+fi
+
+

data/bin/install_module

@@ -0,0 +1,65 @@
+#!/bin/bash
+
+DefaultPort=1314
+
+# verify the arguments
+if [[ "$1" == "" ]] || [[ "$2" == "" ]]; then
+	echo "Usage: install_module <address> [port] <module-name> ..."
+	exit 1
+fi
+
+# set the agent's address
+address=$1
+shift
+
+# set the agent's port number
+re='^[0-9]+$'
+if [[ $1 =~ $re ]]; then
+	port=$1
+	shift
+else
+	port=$DefaultPort
+fi
+
+# set a template command for sending the modules
+cmd="curl -s -i -X PUT $address:$port/modules"
+
+# setup directory for temporary files
+dir="/tmp/"$(date +%s%N)"$RANDOM"
+mkdir -p $dir
+
+# for every module in the arguments:
+# - archive the module's files to a temporary file
+# - update the sending command by adding the module
+# if the module is not exist then the program will
+# set missing_module flag and then break from the loop
+missing_module=0
+for module in "$@" ; do
+	if [[ -d "$module" ]]; then
+		tar cvzhf $dir/$module.tgz $module 1>/dev/null
+		cmd="$cmd -F $module=@$dir/$module.tgz"
+	else
+		echo "Module $module is not exist!"
+		missing_module=`expr $missing_module + 1`
+	fi
+done
+
+if [[ $missing_module == 0 ]]; then
+	# execute the sending command there is no missing module
+	result=`$cmd`
+	re='.*HTTP/1\.1 200 OK.*'
+	if ! [[ $result =~ $re ]]; then
+		missing_module=`expr $missing_module + 1`
+	fi
+fi
+
+# delete directory that holds temporary files
+rm -rf $dir
+
+if [[ $missing_module == 0 ]]; then
+	echo "status: ok"
+else
+	echo "status: failed"
+fi
+
+exit $missing_module

data/bin/nuri

@@ -0,0 +1,519 @@
+#!/usr/bin/env ruby
+
+dir = File.expand_path('../../', __FILE__)
+require "#{dir}/lib/nuri"
+
+Version = File.read(File.dirname(__FILE__) + "/../VERSION").strip
+About = "Nuri #{Version} (c) 2013"
+
+HTTP = Object.new.extend(Nuri::Net::Helper)
+
+Nuri.init
+
+def console(*args)
+	print Time.now.strftime('%Y-%m-%d %H:%M:%S '.yellow)
+	$stdout.puts(args)
+end
+
+class Sfp::Console
+	PrettyStateGenerator = Sfp::Visitor::PrettyStateGenerator.new
+	ParentEliminator = Sfp::Visitor::ParentEliminator.new
+
+	def process_args(args, parser)
+		Trollop::with_standard_exception_handling parser do
+			parser.parse args
+		end
+	end
+
+	def check_help(args)
+		help = args.count { |x| x == '-h' or x == '--help' }
+		[(help > 0), args.select { |x| x != '-h' and x != '--help' }]
+	end
+
+	def do_state(args=ARGV, cmd="nuri ")
+		parser = Trollop::Parser.new do
+			banner <<-EOS
+Usage: #{cmd}state [options]
+where [options] are:
+EOS
+			opt :model_file, 'file contains a model of desired state', :default => Nuri.main, :short => '-m'
+			opt :json, 'print output in JSON'
+			opt :plain, 'print output in plain text'
+			opt :no_push_module, 'disable automatic push module'
+		end
+		help, args = check_help(args)
+		opts = process_args args, parser
+
+		if help
+			parser.educate(STDOUT)
+
+		elsif File.exist?(opts[:model_file])
+			opts[:push_modules] = true if !opts[:no_push_module]
+			master = Nuri::Master.new
+			master.set_model opts
+			state = master.get_state opts
+			state.accept(Sfp::Helper::Sfp2Ruby)
+
+			if opts[:json]
+				puts (opts[:plain] ? JSON.generate(state) : CodeRay.encode(JSON.pretty_generate(state), :json, :terminal))
+			else
+				puts (opts[:plain] ? YAML.dump(state) : CodeRay.encode(YAML.dump(state), :yaml, :terminal))
+			end
+		else
+			$stderr.puts "Model file '#{opts[:model_file]}' is not exist! Use \"-h\" option for more details.".red
+
+		end
+	end
+
+	def do_plan(args=ARGV, cmd="nuri ")
+		parser = Trollop::Parser.new do
+			banner <<-EOS
+Usage: #{cmd}plan [options]
+where [options] are:
+EOS
+			opt :model_file, 'file contains a model of desired state', :default => Nuri.main, :short => '-m'
+			opt :parallel, 'generate a parallel plan', :short => '-l'
+			opt :apply, 'generate and execute a plan', :short => '-a'
+			opt :plain, 'print output in plain JSON'
+			opt :no_interactive, 'disable interactive input'
+			opt :no_push_module, 'disable automatic push module'
+		end
+		help, args = check_help(args)
+		opts = process_args args, parser
+	
+		if help
+			parser.educate(STDOUT)
+		elsif File.exist?(opts[:model_file])
+			opts[:plan] = true
+			opts[:push_modules] = true if !opts[:no_push_module]
+			master = Nuri::Master.new
+			master.set_model(opts)
+			plan = master.get_plan(opts)
+			if plan.is_a?(Hash) and !plan['workflow'].nil?
+				if plan['workflow'].length > 0
+					if opts[:plain]
+						puts JSON.generate(plan)
+					else
+						actions = plan['workflow']
+						if plan['type'] == 'sequential'
+							p = 'Sequential Plan:'.yellow
+							actions.each_index { |i| p += "\n#{i+1}. #{actions[i]['name']} #{JSON.generate(actions[i]['parameters'])}" }
+							puts p
+						else
+							p = 'Partial-Order Plan:'.yellow
+							actions.each { |op| p += "\n#{op['id']+1}. #{op['name']} #{JSON.generate(op['parameters'])} (#{op['predecessors'].map{|i|i+1}}, #{op['successors'].map{|i|i+1}})" }
+							puts p
+						end
+					end
+
+					if not opts[:apply] and not opts[:no_interactive]
+						print "Execute the plan [y/N]? "
+						opts[:apply] = true if STDIN.gets.chomp.upcase == 'Y'
+					end
+
+					if opts[:apply]
+						puts 'Executing the plan: '.yellow
+						opts[:plan] = plan
+						if master.execute_plan(opts)
+							puts "Execution success!".green
+						else
+							puts "Execution failed!".red
+						end
+					end
+				elsif plan['workflow'].length == 0
+					puts (opts[:plain] ? 'Goal state has been achieved.' : 'Goal state has been achieved.').green
+				end
+			else
+				$stderr.puts (opts[:plain] ? "No solution!".yellow : "No solution!".red)
+			end
+		else
+			$stderr.puts "Model file '#{opts[:model_file]}' is not exist! Use \"-h\" option for more details.".red
+		end
+	end
+
+	def do_bsig(args=ARGV, cmd="nuri ")
+		parser = Trollop::Parser.new do
+			banner <<-EOS
+Usage: #{cmd}bsig [options]
+where [options] are:
+EOS
+			opt :model_file, 'file contains a model of desired state', :default => Nuri.main, :short => '-m'
+			opt :purge, 'purge existing BSig model', :short => '-g'
+			opt :deploy, 'generate and then deploy a BSig model'
+			opt :plain, 'print output in plain JSON'
+			opt :no_interactive, 'disable interactive input'
+		end
+		help, args = check_help(args)
+		opts = process_args args, parser
+
+		if help
+			parser.educate(STDOUT)
+		elsif File.exist?(opts[:model_file])
+			opts[:bsig_deploy] = true
+			opts[:parallel] = true
+			master = Nuri::Master.new
+			master.set_model(opts)
+	
+			if opts[:purge]
+				if master.purge_bsig(opts)
+					puts "Purging Behavioural Signature model [OK]".green
+				else
+					puts "Purging Behavioural Signature model [Failed]".red
+				end
+			else
+				bsig = master.get_bsig(opts)
+				if bsig.is_a?(Hash) and bsig.length > 0
+					empty_local_bsig = bsig.select { |name,local_bsig| local_bsig['operators'].length <= 0 }
+					if empty_local_bsig.length != bsig.length
+						if opts[:plain]
+							puts JSON.generate(bsig)
+						else
+							puts CodeRay.encode(JSON.pretty_generate(bsig), :json, :terminal)
+						end
+		
+						if not opts[:no_interactive] and not opts[:deploy]
+							print "Deploy the BSig model [y/N]? "
+							opts[:deploy] = true if STDIN.gets.chomp.upcase == 'Y'
+						end
+	
+						if opts[:deploy]
+							puts 'Deploying the BSig model: '.yellow
+							opts[:bsig] = bsig
+							if master.deploy_bsig(opts)
+								puts "Deployment success!".green
+							else
+								puts "Deployment failed!".red
+							end
+						end
+					else
+						puts (opts[:plain] ? 'Goal state has been achieved.' : 'Goal state has been achieved.').green
+					end
+				else
+					$stderr.puts (opts[:plain] ? "No solution!".yellow : "No solution!".red)
+				end
+			end
+		else
+			$stderr.puts "Model file '#{opts[:model_file]}' is not exist! Use \"-h\" option for more details.".red
+		end
+	end
+
+	def do_agent(args=ARGV, cmd="nuri ")
+		parser = Trollop::Parser.new do
+			banner <<-EOS
+Usage: #{cmd}agent <subcommand> [node] [options]
+where <subcommand> is:
+       install     install agent (use SSH for remote node)
+       upgrade     upgrade agent (use SSH for remote node)
+         start     start the agent (use SSH for remote node)
+       restart     restart the agent (use SSH for remode node)
+          stop     stop the agent (use SSH for remote node)
+        status     get status (use SSH for remote node)
+         state     get current state
+         model     get current model
+          bsig     get current Behavioural Signature model
+ exec <action>     execute given action description
+                    <action> = <path> [param1=value1 param2=value2 ...]
+        module     get modules list
+           log     get last 100 lines of logs
+          list     list of available agents from model file
+  
+where [options] are:
+EOS
+			opt :model_file, 'file contains a model of desired state', :default => Nuri.main, :short => '-m'
+			opt :address, "address", :default => 'localhost'
+			opt :port, "port", :default => 1314
+			opt :ssh_user, "SSH username", :short => '-u', :default => 'root'
+			opt :ssh_port, "SSH port", :short => '-p', :default => '22'
+		end
+		help, args = check_help(args)
+		subcommand = (args.length > 0 ? args.shift : '')
+		opts = process_args args, parser
+		ssh_opt = ''
+		if opts[:address] != 'localhost'
+			ssh_opt = "ssh "
+			ssh_opt += (opts[:ssh_user] ? "#{opts[:ssh_user]}@#{opts[:address]}" : opts[:address])
+			ssh_opt += (opts[:ssh_port] ? " -p #{opts[:ssh_port]}" : '')
+		end
+	
+		if help
+			parser.educate(STDOUT)
+		elsif `which sfpagent`.strip.length > 0
+			case subcommand
+			when 'install'
+				system("#{ssh_opt} sudo gem install sfpagent --no-ri --no-rdoc")
+
+			when 'start'
+				system "#{ssh_opt} sfpagent -s && sleep 5"
+				system "#{ssh_opt} sfpagent -a"
+
+			when 'restart'
+				system "#{ssh_opt} sfpagent -r"
+
+			when 'stop'
+				system("#{ssh_opt} sfpagent -t")
+
+			when 'status'
+				system("#{ssh_opt} sfpagent -a")
+
+			when 'upgrade'
+				system("#{ssh_opt} sudo gem update sfpagent --no-ri --no-rdoc")
+
+			when 'state'
+				code, state = HTTP.get_data(opts[:address], 1314, "/state")
+				if code == '200' and state =~ /{.*}/
+					state = JSON[state]['state']
+					state.keys.each { |key| state.delete(key) if state[key]['_context'] != 'object' }
+					puts CodeRay.encode(JSON.pretty_generate(state), :json, :terminal)
+				else
+					puts state
+				end
+
+			when 'model'
+				code, model = HTTP.get_data(opts[:address], 1314, "/model")
+				if code == '200' and model =~ /{.*}/
+					model = JSON[model]
+					model.keys.each { |key| model.delete(key) if model[key]['_context'] != 'object' }
+					puts CodeRay.encode(JSON.pretty_generate(model), :json, :terminal)
+				else
+					puts model
+				end
+
+			when 'bsig'
+				code, json = HTTP.get_data(opts[:address], 1314, "/bsig")
+				puts (code == '200' and json.length >= 2 ? CodeRay.encode(JSON.pretty_generate(JSON[json]), :json, :terminal) : json)
+
+			when 'module'
+				code, json = HTTP.get_data(opts[:address], 1314, "/bsig")
+				puts (code == '200' and json.length >= 2 ? CodeRay.encode(JSON.pretty_generate(JSON[json]), :json, :terminal) : json)
+
+			when 'exec', 'execute'
+				if args.length > 0
+					name = args.shift
+					name = '$.' + name if !name.isref
+					parameters = {}
+					args.each do |arg|
+						if arg =~ /=/
+							arg = arg.split('=', 2)
+							parameters[arg[0]] = arg[1]
+						end
+					end
+					data = { 'action' => JSON.generate({ 'name' => name, 'parameters' => parameters }) }
+					code, _ = HTTP.post_data(opts[:address], 1314, "/execute", data)
+					puts (code == '200' ? "Executing #{name} [OK]".green : "Executing #{name} [Failed]".red)
+				else
+					$stderr.puts 'Invalid parameters (usage: agent exec <action-path> [action-arguments]).'
+				end
+
+			when 'log'
+				puts Net::HTTP.get "#{opts[:address]}", "/log", 1314
+
+			when 'list'
+				get_agents(opts).each { |name,model| puts "#{name} address=#{model['sfpAddress']} port=#{model['sfpPort']}" }
+
+			when 'help'
+				parser.educate(STDOUT)
+
+			else
+				$stderr.puts 'Unrecognized command! Use \"-h\" to print available commands.'.red
+			end
+		else
+			$stderr.puts 'sfpagent gem is not installed!'.red
+		end
+	end
+
+	def do_edit(args=ARGV)
+		file = (args[0].nil? ? Nuri.main : args[0].to_s)
+		if file == '-h' or file == '--help'
+			puts <<-EOS
+Usage: edit <filepath>
+EOS
+
+		elsif File.exist?(file)
+			system "#{Nuri.config['editor']} #{file}"
+
+		else
+			$stderr.puts 'Target file is not specified!'
+
+		end
+	end
+
+	def get_agents(opts={})
+		opts[:push_modules] = true if !opts[:no_push_module]
+		master = Nuri::Master.new
+		master.set_model opts
+		state = master.get_state opts
+		agents = {}
+		state.each do |name,model|
+			agents[name] = {
+				'sfpAddress' => (model['sfpAddress'].is_a?(String) ? model['sfpAddress'] : ''),
+				'sfpPort' => (model['sfpPort'].is_a?(Fixnum) ? model['sfpPort'] : 0)
+			}
+		end
+		agents
+	end
+
+	def do_console
+		banner = <<-EOS
+Usage: <command> [options]
+when <command> is:
+  state     get current state
+   plan     generate a plan
+   bsig     deployment with distributed mechanism
+  agent     manage Nuri agent
+   edit     edit file
+   help     print this help
+   exit     exit this console
+
+EOS
+
+		username = `whoami`.strip
+		puts About
+		loop do
+			begin
+				print "nuri@#{username}> ".green
+				begin
+					input = STDIN.gets
+					raise Exception if input.nil?
+				rescue Exception
+					puts ''
+					break
+				end
+				input = input.chomp.strip
+				if input.length <= 0
+				elsif input[0] == '!'
+					system(input[1..input.length])
+				else
+					command, args = input.split(' ', 2)
+					break if command == 'exit' or command == 'quit' or command == 'q'
+					args = args.to_s.split(' ')
+					command = args[0] and args = ['-h'] if command == 'help' and args.length > 0
+					case command
+					when 'state'
+						do_state args, ''
+					when 'plan'
+						do_plan args, ''
+					when 'bsig'
+						do_bsig args, ''
+					when 'agent'
+						do_agent args, ''
+					when 'edit'
+						do_edit args
+					when 'model'
+						do_model args
+					when 'cd'
+						Dir.chdir(args[0].to_s)
+					when 'pwd'
+						puts Dir.pwd
+					when 'ls'
+						system "ls --color #{args.join(" ")}"
+					when 'help'
+						puts banner
+					when 'version', '-v'
+						puts About
+					else
+						$stderr.puts 'Unrecognized command! Use \"-h\" option to print available commands.'.red
+					end
+				end
+			rescue Exception => e
+				$stderr.puts "#{e}\n#{e.backtrace.join("\n")}"
+			end
+		end
+		puts "Bye!\n"
+	end
+
+	def do_model(args=ARGV, cmd='nuri')
+		parser = Trollop::Parser.new do
+			banner <<-EOS
+Usage: #{cmd}state [options]
+where [options] are:
+EOS
+			opt :model_file, 'file contains a model of desired state', :default => Nuri.main, :short => '-m'
+			opt :json, 'print output in JSON'
+			opt :plain, 'print output in plain format'
+		end
+		help, args = check_help(args)
+		opts = process_args args, parser
+
+		if help
+			parser.educate(STDOUT)
+
+		elsif File.exist?(opts[:model_file])
+			@parser = Sfp::Parser.new({:home_dir => File.dirname(opts[:model_file])})
+			@parser.parse File.read(opts[:model_file])
+			model = @parser.root
+			model.accept(ParentEliminator)
+			model.select! { |k,v| k[0,1] != '_' and (not v.is_a?(Hash) or v['_context'] == 'object') }
+			model.accept(Sfp::Helper::Sfp2Ruby)
+
+			if opts[:json]
+				puts (opts[:plain] ? JSON.generate(model) : CodeRay.encode(JSON.pretty_generate(model), :json, :terminal))
+			else
+				puts (opts[:plain] ? YAML.dump(model) : CodeRay.encode(YAML.dump(model), :yaml, :terminal))
+			end
+
+		else
+			$stderr.puts "Model file '#{opts[:model_file]}' is not exist! Use \"-h\" option for more details.".red
+
+		end
+	
+	end
+
+	def run
+		banner = <<-EOS
+Usage: nuri [command]
+where [command] is:
+    model     get compilation result of the model
+    state     get the current state
+     plan     generate the plan
+     bsig     deployment with distributed mechanism
+    agent     manage Nuri agent
+  console     enter console
+
+EOS
+
+		if ARGV.length > 0
+			success = false
+			case ARGV.shift
+			when 'state'
+				do_state
+			when 'plan'
+				do_plan
+			when 'bsig'
+				do_bsig
+			when 'agent'
+				do_agent
+			when 'console'
+				do_console
+			when 'edit'
+				do_edit
+			when 'model'
+				do_model
+			else
+				puts banner
+			end
+		else
+			puts banner
+		end
+	end
+end
+
+module Sfp::Helper
+	Sfp2Ruby = Object.new
+	def Sfp2Ruby.visit(name, value, parent)
+		if name[0] == '_' 
+			parent.delete(name)
+		elsif value.is_a?(Hash)
+			case value['_context']
+			when 'null'
+				parent[name] = nil 
+			when 'any_value', 'constraint', 'procedure'
+				parent.delete(name)
+			when 'set'
+				parent[name] = value['_values']
+			end 
+		end 
+		true
+	end 
+end
+
+Sfp::Console.new.run if $0 == __FILE__