sfp 0.1.0

data/src/build.sh

@@ -0,0 +1,7 @@
+#!/bin/sh
+
+antlr4ruby SfpLang.g
+
+rm -f SfpLang.tokens
+mv -f SfpLangLexer.rb ../lib
+mv -f SfpLangParser.rb ../lib

data/test/cloud-classes.sfp

@@ -0,0 +1,77 @@
+class Machine {
+	running is false
+	address is ""
+
+	procedure start {
+		conditions {
+			this.running is false
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.running is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+
+class VM extends Machine {
+	created is false
+
+	procedure start {
+		conditions {
+			this.created is true
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.created is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+
+class Cloud {
+	running is false
+
+	procedure create_vm(vm isref VM) {
+		conditions {
+			this.running is true
+			vm.created is false
+		}
+		effects {
+			vm.created is true
+		}
+	}
+	procedure delete_vm(vm isref VM) {
+		conditions {
+			this.running is true
+			vm.created is true
+		}
+		effects {
+			vm.created is false
+		}
+	}
+}
+
+class Client {
+	refer isref Service
+
+	procedure redirect (s isref Service) {
+		conditions {
+		}
+		effects {
+			this.refer is s
+		}
+	}
+}

data/test/cloud1.sfp

@@ -0,0 +1,33 @@
+include "service-classes.sfp"
+
+// generate all possible states with constraint solver
+initial state {
+	cloud1 isa Cloud {
+		running either ( true, false )
+	}
+	cloud2 isa Cloud {
+		running either ( true, false )
+	}
+
+	vm1 isa VM
+	vm2 isa VM
+
+	s1 isa Service
+	s2 isa Service
+}
+
+goal constraint {
+	s1 {
+		running is true
+		on_machine is vm1
+	}
+
+	s2 {
+		running is true
+		on_machine is vm2
+	}
+}
+
+global constraint {
+	if s2.running then s1.running
+}

data/test/cloud2.sfp

@@ -0,0 +1,41 @@
+include "service-classes.sfp"
+
+// generate all possible states with constraint solver
+initial state {
+	cloud1 isa Cloud {
+		running either ( true, false )
+	}
+	cloud2 isa Cloud {
+		running either ( true, false )
+	}
+
+	vm1 isa VM
+	vm2 isa VM
+	vm3 isa VM
+
+	lb isa Service
+	ws isa Service
+	db isa Service
+}
+
+goal constraint {
+	lb {
+		running is true
+		on_machine is vm1
+	}
+
+	ws {
+		running is true
+		on_machine is vm2
+	}
+
+	db {
+		running is true
+		on_machine is vm3
+	}
+}
+
+global constraint {
+	if lb.running then ws.running
+	if ws.running then db.running
+}

data/test/cloud3.sfp

@@ -0,0 +1,42 @@
+include "service-classes.sfp"
+
+// generate all possible states with constraint solver
+initial state {
+	/*cloud1 isa Cloud {
+		running either ( true, false )
+	}
+	cloud2 isa Cloud {
+		running either ( true, false )
+	}*/
+	mycloud isa Cloud {
+		running is true
+	}
+
+	vm1 isa VM
+	vm2 isa VM
+	vm3 isa VM
+
+	lb1 isa LoadBalancer
+	//ws1 isa WebService
+	app1 isa AppService
+	db1 isa DatabaseService
+}
+
+goal constraint {
+	lb1 {
+		installed is true
+		on_machine is vm1
+	}
+	//ws1.installed is true
+	app1 {
+		installed is true
+		on_machine is vm3
+	}
+	db1 {
+		running is true
+		on_machine is vm4
+	}
+}
+
+global constraint {
+}

data/test/service-classes.sfp

@@ -0,0 +1,151 @@
+include "cloud-classes.sfp"
+
+class Service {
+	installed is false
+	running is false
+	on_machine isref Machine
+
+	procedure install ( m isref Machine ) {
+		conditions {
+			m.running is true
+			this.installed is false
+		}
+		effects {
+			this.on_machine is m
+			this.installed is true
+		}
+	}
+	procedure uninstall {
+		conditions {
+			this.on_machine.running is true
+			this.installed is true
+		}
+		effects {
+			this.on_machine is null
+			this.installed is false
+		}
+	}
+
+	procedure start {
+		conditions {
+			this.installed is true
+			this.running is false
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.installed is true
+			this.running is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+
+class LoadBalancer extends Service {
+	webs isset WebService
+
+	procedure start {
+		conditions {
+			this.installed is true
+			this.running is false
+			exist (this.webs as web) {
+				web.running is true
+			}
+		}
+		effects {
+			this.running is true
+		}
+	}
+}
+
+class WebService extends Service {
+	depend_on isref AppService
+
+	procedure redirect ( app isref AppService ) {
+		conditions {
+			this.installed is true
+			app.running is true
+		}
+		effects {
+			this.depend_on is app
+		}
+	}
+	procedure start {
+		conditions {
+			this.installed is true
+			this.running is false
+			this.depend_on.running is true
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.installed is true
+			this.running is true
+			forall (LoadBalancer as lb) {
+				if lb.webs has this then lb.running is false
+			}
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+
+class AppService extends Service {
+	depend_on isref DatabaseService
+
+	procedure redirect ( db isref DatabaseService ) {
+		conditions {
+			this.installed is true
+			db.running is true
+		}
+		effects {
+			this.depend_on is db
+		}
+	}
+	procedure start {
+		conditions {
+			this.installed is true
+			this.running is false
+			this.depend_on.running is true
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.installed is true
+			this.running is true
+			forall (WebService as ws) {
+				if ws.depend_on is this then ws.running is false
+			}
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+
+class DatabaseService extends Service {
+	procedure stop {
+		conditions {
+			this.installed is true
+			this.running is true
+			forall (AppService as app) {
+				if app.depend_on is this then app.running is false
+			}
+		}
+		effects {
+			this.running is false
+		}
+	}
+}

data/test/service1.sfp

@@ -0,0 +1,24 @@
+//include "cloud-classes.sfp"
+include "service-classes.sfp"
+
+initial state {
+	s1 isa Service {
+		installed is true
+		running either (true, false)
+	}
+	s2 isa Service {
+		installed is true
+		running either (true, false)
+	}
+	pc isa Client {
+		refer either (s1, s2)
+	}
+}
+goal constraint {
+	s1.running is false
+	s2.running is true
+	pc.refer is s2
+}
+global constraint {
+	pc.refer.running is true
+}

data/test/service3.sfp

@@ -0,0 +1,27 @@
+include "service-classes.sfp"
+
+// generate all possible states with constraint solver
+initial state {
+	s1 isa Service {
+		installed is true
+		running either (true, false)
+	}
+	s2 isa Service {
+		installed is true
+		running either (true, false)
+	}
+	s3 isa Service {
+		installed is true
+		running either (true, false)
+	}
+	pc isa Client {
+		installed is true
+		refer either (s1, s2)
+	}
+}
+goal constraint {
+	pc.refer.running is true
+}
+global constraint {
+	pc.refer.running is true
+}

data/test/task.sfp

@@ -0,0 +1,22 @@
+include "types.sfp"
+
+initial state {
+	a isa Service {
+		running is true
+	}
+
+	b isa Service // with "running" is false
+
+	pc isa Client {
+		refer is a
+	}
+}
+
+goal constraint {
+	pc.refer is b
+	a.running is false
+}
+
+global constraint {
+	pc.refer.running is true
+}

data/test/test.inc

@@ -0,0 +1,9 @@
+class S {
+	foo is true
+	procedure change {
+		conditions { }
+		effects {
+			this.foo is false
+		}
+	}
+}

data/test/test.sfp

@@ -0,0 +1,13 @@
+#!/usr/bin/env sfp
+
+include "test.inc"
+
+initial state {
+	a isa S
+	b isa S
+}
+
+goal constraint {
+	a.foo is false
+	b.foo is false
+}

data/test/test1.sfp

@@ -0,0 +1,19 @@
+class S {
+	foo is true
+	procedure change {
+		conditions { }
+		effects {
+			this.foo is false
+		}
+	}
+}
+
+initial state {
+	a isa S
+	b isa S
+}
+
+goal constraint {
+	a.foo is false
+	b.foo is false
+}

data/test/test2.inc

@@ -0,0 +1,40 @@
+class Service {
+	installed is false
+	running is false
+
+	procedure install {
+		conditions {
+			this.installed is false
+		}
+		effects {
+			this.installed is true
+		}
+	}
+	procedure uninstall {
+		conditions {
+			this.installed is true
+		}
+		effects {
+			this.installed is false
+		}
+	}
+
+	procedure start {
+		conditions {
+			this.installed is true
+			this.running is false
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.installed is true
+			this.running is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}

data/test/test2.sfp

@@ -0,0 +1,17 @@
+include "test2.inc"
+
+// generate all possible states with constraint solver
+initial state {
+	s1 isa Service
+	s2 isa Service
+	s3 isa Service
+}
+goal constraint {
+	s1.running
+	s2.running
+	s3.running
+}
+global constraint {
+	if s1.running then s2.running
+	if s2.running then s3.running
+}

data/test/types.sfp

@@ -0,0 +1,28 @@
+class Service {
+	running is false
+	procedure start {
+		conditions {
+			this.running is false
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.running is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+class Client {
+	refer isref Service
+	procedure redirect(s isref Service) {
+		conditions { }
+		effects {
+			this.refer is s
+		}
+	}
+}

data/test/v1.1.sfp

@@ -0,0 +1,22 @@
+schema S {
+	foo = true
+
+	procedure change {
+		conditions { }
+		effects {
+			this.foo is false
+		}
+	}
+}
+
+a extends S
+b extends S
+
+constraint goal {
+	a.foo is false
+	b.foo is false
+}
+
+constraint global {
+	a.foo is false
+}

metadata

@@ -0,0 +1,120 @@
+--- !ruby/object:Gem::Specification
+name: sfp
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+  prerelease: 
+platform: ruby
+authors:
+- Herry
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2013-04-20 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: json
+  requirement: &6400440 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 1.7.5
+  type: :runtime
+  prerelease: false
+  version_requirements: *6400440
+- !ruby/object:Gem::Dependency
+  name: antlr3
+  requirement: &6399940 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 1.8.12
+  type: :runtime
+  prerelease: false
+  version_requirements: *6399940
+description: A Ruby gem that provides a Ruby interface to parse SFP language. It also
+  provides a Ruby interface for a solver to generate a workflow for a planning task
+  written in SFP language.
+email: herry13@gmail.com
+executables:
+- sfp
+extensions: []
+extra_rdoc_files: []
+files:
+- .gitignore
+- LICENSE
+- README.md
+- bin/sfp
+- bin/solver/linux/downward
+- bin/solver/linux/preprocess
+- bin/solver/macos/downward
+- bin/solver/macos/preprocess
+- lib/sfp.rb
+- lib/sfp/SfpLangLexer.rb
+- lib/sfp/SfpLangParser.rb
+- lib/sfp/Sfplib.rb
+- lib/sfp/parser.rb
+- lib/sfp/planner.rb
+- lib/sfp/sas.rb
+- lib/sfp/sas_translator.rb
+- lib/sfp/sfw2graph.rb
+- lib/sfp/visitors.rb
+- sfp.gemspec
+- src/SfpLang.g
+- src/build.sh
+- test/cloud-classes.sfp
+- test/cloud1.sfp
+- test/cloud2.sfp
+- test/cloud3.sfp
+- test/service-classes.sfp
+- test/service1.sfp
+- test/service3.sfp
+- test/task.sfp
+- test/test.inc
+- test/test.sfp
+- test/test1.sfp
+- test/test2.inc
+- test/test2.sfp
+- test/types.sfp
+- test/v1.1.sfp
+homepage: https://github.com/herry13/sfp-ruby
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.11
+signing_key: 
+specification_version: 3
+summary: SFP Parser and Planner
+test_files:
+- test/cloud-classes.sfp
+- test/cloud1.sfp
+- test/cloud2.sfp
+- test/cloud3.sfp
+- test/service-classes.sfp
+- test/service1.sfp
+- test/service3.sfp
+- test/task.sfp
+- test/test.inc
+- test/test.sfp
+- test/test1.sfp
+- test/test2.inc
+- test/test2.sfp
+- test/types.sfp
+- test/v1.1.sfp