sfp 0.2.1 → 0.3.4

data/test/cloud-schemas.sfp

@@ -1,80 +0,0 @@
-schema 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
-		}
-	}
-}
-
-schema 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
-		}
-	}
-}
-
-schema 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
-		}
-	}
-}
-
-schema Client {
-	refer isref Service
-
-	procedure redirect (s isref Service) {
-		conditions {
-		}
-		effects {
-			this.refer is s
-		}
-	}
-}
-
-

data/test/future/test1.sfp

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

data/test/nd-cloud1.sfp

@@ -1,33 +0,0 @@
-include "service-schemas.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/nd-cloud2.sfp

@@ -1,41 +0,0 @@
-include "service-schemas.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/nd-cloud3.sfp

@@ -1,42 +0,0 @@
-include "service-schemas.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/nd-service1.sfp

@@ -1,23 +0,0 @@
-include "service-schemas.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/nd-service2.sfp

@@ -1,27 +0,0 @@
-include "service-schemas.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/run.sh

@@ -1,53 +0,0 @@
-#!/bin/bash
-
-BASEDIR="$(dirname "$0")"
-CURRENTDIR=`pwd`
-
-# a function to check the execution status
-function test {
-	"$@" 1>/dev/null
-	status=$?
-	if [ $status -ne 0 ]; then
-		echo "$2 [Failed]"
-	else
-		echo "$2 [OK]"
-	fi
-	return $status
-}
-
-# go to test's base dir
-cd $BASEDIR
-
-##
-# Tests use deterministic problem
-##
-testcases[0]="test1.sfp"
-testcases[1]="test2.sfp"
-testcases[2]="test3.sfp"
-testcases[3]="test4.sfp"
-
-echo "Deterministic usecases..."
-for tc in "${testcases[@]}"
-do
-	test ../bin/sfp $tc
-done
-
-##
-# Tests use non-deterministic problems
-##
-testcases[0]="nd-service1.sfp"
-testcases[1]="nd-service2.sfp"
-testcases[2]="nd-cloud1.sfp"
-testcases[3]="nd-cloud2.sfp"
-#testcases[4]="nd-cloud3.sfp"
-
-echo "Non-Deterministic usecases..."
-for tc in "${testcases[@]}"
-do
-	test ../bin/sfp $tc
-done
-
-##
-# Back to previous directory
-##
-cd $CURRENTDIR

data/test/s.sfp

@@ -1,14 +0,0 @@
-
-
-b
-
-a {
-	x is true
-	refer is b
-}
-
-a.x is false
-
-a.refer is null
-
-

data/test/service-schemas.sfp

@@ -1,151 +0,0 @@
-include "cloud-schemas.sfp"
-
-schema 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
-		}
-	}
-}
-
-schema 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
-		}
-	}
-}
-
-schema 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
-		}
-	}
-}
-
-schema 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
-		}
-	}
-}
-
-schema 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/test-module1.sfp

@@ -1,20 +0,0 @@
-schema 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/test1.inc

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

data/test/test1.sfp

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

data/test/test2.sfp

@@ -1,20 +0,0 @@
-schema 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/test3.inc

@@ -1,40 +0,0 @@
-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/test3.sfp

@@ -1,17 +0,0 @@
-include "test3.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/test4.inc

@@ -1,28 +0,0 @@
-schema 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
-		}
-	}
-}
-schema Client {
-	refer isref Service
-	procedure redirect(s isref Service) {
-		conditions { }
-		effects {
-			this.refer is s
-		}
-	}
-}

data/test/test4.sfp

@@ -1,22 +0,0 @@
-include "test4.inc"
-
-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
-}