gisele 0.0.1

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+# 0.0.1 / FIX ME
+
+* Enhancements
+
+  * Birthday!

data/Gemfile

@@ -0,0 +1,15 @@
+source 'http://rubygems.org'
+
+group :runtime do
+  gem "citrus", "~> 2.4"
+  gem "epath", "~> 0.0.1"
+  gem "quickl", "~> 0.4.3"
+  gem "awesome_print", "~> 1.0"
+end
+
+group :development do
+  gem "rake", "~> 0.9.2"
+  gem "bundler", "~> 1.0"
+  gem "rspec", "~> 2.8.0"
+  gem "wlang", "~> 0.10.2"
+end

data/Gemfile.lock

@@ -0,0 +1,31 @@
+GEM
+  remote: http://rubygems.org/
+  specs:
+    awesome_print (1.0.2)
+    citrus (2.4.1)
+    diff-lcs (1.1.3)
+    epath (0.0.1)
+    quickl (0.4.3)
+    rake (0.9.2.2)
+    rspec (2.8.0)
+      rspec-core (~> 2.8.0)
+      rspec-expectations (~> 2.8.0)
+      rspec-mocks (~> 2.8.0)
+    rspec-core (2.8.0)
+    rspec-expectations (2.8.0)
+      diff-lcs (~> 1.1.2)
+    rspec-mocks (2.8.0)
+    wlang (0.10.2)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  awesome_print (~> 1.0)
+  bundler (~> 1.0)
+  citrus (~> 2.4)
+  epath (~> 0.0.1)
+  quickl (~> 0.4.3)
+  rake (~> 0.9.2)
+  rspec (~> 2.8.0)
+  wlang (~> 0.10.2)

data/LICENCE.md

@@ -0,0 +1,22 @@
+# The MIT Licence
+
+    Copyright (c) 2012 - The University of Louvain
+
+    Permission is hereby granted, free of charge, to any person obtaining
+    a copy of this software and associated documentation files (the
+    "Software"), to deal in the Software without restriction, including
+    without limitation the rights to use, copy, modify, merge, publish,
+    distribute, sublicense, and/or sell copies of the Software, and to
+    permit persons to whom the Software is furnished to do so, subject to
+    the following conditions:
+
+    The above copyright notice and this permission notice shall be
+    included in all copies or substantial portions of the Software.
+
+    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+    EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+    MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+    NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+    LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+    OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+    WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Manifest.txt

@@ -0,0 +1,16 @@
+gisele.gemspec
+gisele.noespec
+.gemtest
+CHANGELOG.md
+Gemfile
+Gemfile.lock
+bin/**/*
+examples/**/*
+lib/**/*
+LICENCE.md
+Manifest.txt
+Rakefile
+README.md
+spec/**/*
+tasks/**/*
+test/**/*

data/README.md

@@ -0,0 +1,30 @@
+# Gisele
+
+Gisele is a Process Analyzer Toolset
+
+## Description
+
+This is the process modeling and analysis toolset developed during the Gisele and
+PIPAS research projects held at the University of Louvain in 2008-2012.
+
+## Installation
+
+This project requires an installation of ruby >= 1.9.2. Then,
+
+    gem install gisele
+    gisele --help
+
+For contributors (UCLouvain students, in particular), please consider the following 
+scenario:
+
+    gem install bundler --pre
+    git clone https://blambeau@github.com/blambeau/gisele.git   # or your own fork
+    cd gisele
+    bundle install
+    rake test                           # please report any test failure on github
+    bundle exec ./bin/gisele --help
+
+## Contributing
+
+Gisele is distributed under a MIT license. The common github workflow (fork/pull request) 
+applies. Please take contact with Bernard Lambeau with any question.

data/Rakefile

@@ -0,0 +1,23 @@
+begin
+  gem "bundler", "~> 1.0"
+  require "bundler/setup"
+rescue LoadError => ex
+  puts ex.message
+  abort "Bundler failed to load, (did you run 'gem install bundler' ?)"
+end
+
+# Dynamically load the gem spec
+$gemspec_file = File.expand_path('../gisele.gemspec', __FILE__)
+$gemspec      = Kernel.eval(File.read($gemspec_file))
+
+# We run tests by default
+task :default => :test
+
+#
+# Install all tasks found in tasks folder
+#
+# See .rake files there for complete documentation.
+#
+Dir["tasks/*.rake"].each do |taskfile|
+  load taskfile
+end

data/bin/gisele

@@ -0,0 +1,8 @@
+#!/usr/bin/env ruby
+begin
+  require 'gisele/command'
+rescue LoadError
+  $:.unshift File.expand_path('../../lib', __FILE__)
+  require 'gisele/command'
+end
+Gisele::Command::run(ARGV)

data/examples/meeting-scheduler/MeetingScheduling.gis

@@ -0,0 +1,73 @@
+#
+# This is a Gisele process for the Meeting Scheduler example, similar to what can be found 
+# in [Lam11]. The main difference between this model and the one defined there is the use 
+# of tracking variables. Tracking variables are introduced and explained in [Dam11].
+#
+# The Meeting Scheduler examplar [Fea97]
+#
+#     A meeting initiator issues a meeting request, specifying the expected participants and 
+#     the date range within which the meeting should take place. The scheduler then sends an 
+#     electronic invitation to each participant, requesting them to provide their date 
+#     constraints. 
+# 
+#     A date conflict occurs when no date can be found that fits all participant constraints. 
+#     In such case, the initiator may extend the date range or request some participants to 
+#     weaken their constraints; a new scheduling cycle is then required. Otherwise, the 
+#     meeting is planned at a date meeting all constraints.
+# 
+#     A soft goal requires meetings to be scheduled as quickly as possible once initiated; 
+#     another one requires interactions with participants to be minimized. In the simplified 
+#     version considered here, only two scheduling cycles are allowed; the meeting is planned 
+#     after that. In such case, we will assume that the best date is chosen so as to maximize 
+#     the number of participants attending. We also ignore features like meeting cancellations, 
+#     meeting locations, etc.
+#
+# References
+#
+#   * [Dam11] Christophe Damas, Analyzing Multi-View Models of Software Systems, PhD thesis, 
+#             University of Louvain, November 2011
+#   * [Fea97] M.S. Feather, S. Fickas, A. Finkelstein and A. van Lamsweerde, Requirements and 
+#             Specification Exemplars, Automated Software Engineering, 1997
+#   * [Lam11] Bernard Lambeau, Synthesizing Multi-View Models of Software Systems, PhD thesis, 
+#             University of Louvain, November 2011
+#
+task MeetingScheduling
+
+  # This fluent encodes the occurence of a second cycle, becoming true when constraints
+  # have been weakened or the date range extended.
+  fluent secondCycle
+    {WeakenConstraints:end, ExtendDateRange:end},
+    {InitiateMeeting:end} 
+  initially false
+
+  # A date conflict may only occur when constraints are acquired or weakened. Being a tracking
+  # variable and not fluent, we do not know the exact value of this variable when these tasks
+  # occur.
+  trackvar dateConflict 
+    {AcquireConstraints:end, WeakenConstraints:end}
+  initially false
+
+  # The arbitrator decides to resolve a conflict during the Arbitrate task. The following 
+  # definition does not capture the precise value of the variable but only that the value
+  # can only change during Arbitrate.
+  trackvar resolveByWeakening
+    {Arbitrate:end}
+  initially false
+
+  # This is the task refinement
+  refinement 
+    InitiateMeeting
+    AcquireConstraints
+    while dateConflict and not(secondCycle)
+      Arbitrate
+      if resolveByWeakening
+        WeakenConstraints
+      else
+        ExtendDateRange
+        AcquireConstraints
+      end
+    end
+    ScheduleMeeting
+  end
+
+end

data/gisele.gemspec

@@ -0,0 +1,191 @@
+# We require your library, mainly to have access to the VERSION number.
+# Feel free to set $version manually.
+$LOAD_PATH.unshift File.expand_path('../lib', __FILE__)
+require "gisele/version"
+$version = Gisele::Version.to_s
+
+#
+# This is your Gem specification. Default values are provided so that your library
+# should be correctly packaged given what you have described in the .noespec file.
+#
+Gem::Specification.new do |s|
+
+  ################################################################### ABOUT YOUR GEM
+
+  # Gem name (required)
+  s.name = "gisele"
+
+  # Gem version (required)
+  s.version = $version
+
+  # A short summary of this gem
+  #
+  # This is displayed in `gem list -d`.
+  s.summary = "Gisele is a Process Analyzer Toolset"
+
+  # A long description of this gem (required)
+  #
+  # The description should be more detailed than the summary.  For example,
+  # you might wish to copy the entire README into the description.
+  s.description = "This is a fresh-new implementation of the process analysis techniques\ndeveloped in the Gisele and PIPAS research projects at UCLouvain"
+
+  # The URL of this gem home page (optional)
+  s.homepage = "https://github.com/blambeau/gisele"
+
+  # Gem publication date (required but auto)
+  #
+  # Today is automatically used by default, uncomment only if
+  # you know what you do!
+  #
+  # s.date = Time.now.strftime('%Y-%m-%d')
+
+  # The license(s) for the library.  Each license must be a short name, no
+  # more than 64 characters.
+  #
+  # s.licences = %w{}
+
+  # The rubyforge project this gem lives under (optional)
+  #
+  # s.rubyforge_project = nil
+
+  ################################################################### ABOUT THE AUTHORS
+
+  # The list of author names who wrote this gem.
+  #
+  # If you are providing multiple authors and multiple emails they should be
+  # in the same order.
+  #
+  s.authors = ["Bernard Lambeau"]
+
+  # Contact emails for this gem
+  #
+  # If you are providing multiple authors and multiple emails they should be
+  # in the same order.
+  #
+  # NOTE: Somewhat strangly this attribute is always singular!
+  #       Don't replace by s.emails = ...
+  s.email  = ["blambeau@gmail.com"]
+
+  ################################################################### PATHS, FILES, BINARIES
+
+  # Paths in the gem to add to $LOAD_PATH when this gem is
+  # activated (required).
+  #
+  # The default 'lib' is typically sufficient.
+  s.require_paths = ["lib"]
+
+  # Files included in this gem.
+  #
+  # By default, we take all files included in the Manifest.txt file on root
+  # of the project. Entries of the manifest are interpreted as Dir[...]
+  # patterns so that lazy people may use wilcards like lib/**/*
+  #
+  here = File.expand_path(File.dirname(__FILE__))
+  s.files = File.readlines(File.join(here, 'Manifest.txt')).
+                 inject([]){|files, pattern| files + Dir[File.join(here, pattern.strip)]}.
+                 collect{|x| x[(1+here.size)..-1]}
+
+  # Test files included in this gem.
+  #
+  s.test_files = Dir["test/**/*"] + Dir["spec/**/*"]
+
+  # The path in the gem for executable scripts (optional)
+  #
+  s.bindir = "bin"
+
+  # Executables included in the gem.
+  #
+  s.executables = (Dir["bin/*"]).collect{|f| File.basename(f)}
+
+  ################################################################### REQUIREMENTS & INSTALL
+  # Remember the gem version requirements operators and schemes:
+  #   =  Equals version
+  #   != Not equal to version
+  #   >  Greater than version
+  #   <  Less than version
+  #   >= Greater than or equal to
+  #   <= Less than or equal to
+  #   ~> Approximately greater than
+  #
+  # Don't forget to have a look at http://lmgtfy.com/?q=Ruby+Versioning+Policies
+  # for setting your gem version.
+  #
+  # For your requirements to other gems, remember that
+  #   ">= 2.2.0"              (optimistic:  specify minimal version)
+  #   ">= 2.2.0", "< 3.0"     (pessimistic: not greater than the next major)
+  #   "~> 2.2"                (shortcut for ">= 2.2.0", "< 3.0")
+  #   "~> 2.2.0"              (shortcut for ">= 2.2.0", "< 2.3.0")
+  #
+
+  #
+  # One call to add_dependency('gem_name', 'gem version requirement') for each
+  # runtime dependency. These gems will be installed with your gem.
+  # One call to add_development_dependency('gem_name', 'gem version requirement')
+  # for each development dependency. These gems are required for developers
+  #
+  s.add_development_dependency("rake", "~> 0.9.2")
+  s.add_development_dependency("bundler", "~> 1.0")
+  s.add_development_dependency("rspec", "~> 2.8.0")
+  s.add_development_dependency("wlang", "~> 0.10.2")
+  s.add_dependency("citrus", "~> 2.4")
+  s.add_dependency("epath", "~> 0.0.1")
+  s.add_dependency("quickl", "~> 0.4.3")
+  s.add_dependency("awesome_print", "~> 1.0")
+
+  # The version of ruby required by this gem
+  #
+  # Uncomment and set this if your gem requires specific ruby versions.
+  #
+  # s.required_ruby_version = ">= 0"
+
+  # The RubyGems version required by this gem
+  #
+  # s.required_rubygems_version = ">= 0"
+
+  # The platform this gem runs on.  See Gem::Platform for details.
+  #
+  # s.platform = nil
+
+  # Extensions to build when installing the gem.
+  #
+  # Valid types of extensions are extconf.rb files, configure scripts
+  # and rakefiles or mkrf_conf files.
+  #
+  s.extensions = []
+
+  # External (to RubyGems) requirements that must be met for this gem to work.
+  # It’s simply information for the user.
+  #
+  s.requirements = nil
+
+  # A message that gets displayed after the gem is installed
+  #
+  # Uncomment and set this if you want to say something to the user
+  # after gem installation
+  #
+  s.post_install_message = nil
+
+  ################################################################### SECURITY
+
+  # The key used to sign this gem.  See Gem::Security for details.
+  #
+  # s.signing_key = nil
+
+  # The certificate chain used to sign this gem.  See Gem::Security for
+  # details.
+  #
+  # s.cert_chain = []
+
+  ################################################################### RDOC
+
+  # An ARGV style array of options to RDoc
+  #
+  # See 'rdoc --help' about this
+  #
+  s.rdoc_options = []
+
+  # Extra files to add to RDoc such as README
+  #
+  s.extra_rdoc_files = Dir["README.md"] + Dir["CHANGELOG.md"] + Dir["LICENCE.md"]
+
+end

data/gisele.noespec

@@ -0,0 +1,36 @@
+template-info:
+  name: "ruby"
+  version: 1.7.0
+  links:
+    source: https://github.com/blambeau/noe
+  manifest:
+    spec/test___lower__.rb:
+      ignore: true
+variables:
+  lower:
+    gisele
+  upper:
+    Gisele
+  version:
+    0.0.1
+  summary: |-
+    Gisele is a Process Analyzer Toolset
+  description: |-
+    This is a fresh-new implementation of the process analysis techniques
+    developed in the Gisele and PIPAS research projects at UCLouvain
+
+  # Authors of the project (- {name: Bob, email: bob@gmail.com}, ...)
+  authors:
+    - {name: Bernard Lambeau, email: blambeau@gmail.com}
+  links:
+    - https://github.com/blambeau/gisele
+  dependencies:
+    - {name: citrus,        version: "~> 2.4",    groups: [runtime]}
+    - {name: epath,         version: "~> 0.0.1",  groups: [runtime]}
+    - {name: quickl,        version: "~> 0.4.3",  groups: [runtime]}
+    - {name: awesome_print, version: "~> 1.0",    groups: [runtime]}
+    #
+    - {name: rake,      version: "~> 0.9.2",  groups: [development]}
+    - {name: bundler,   version: "~> 1.0",    groups: [development]}
+    - {name: rspec,     version: "~> 2.8.0",  groups: [development]}
+    - {name: wlang,     version: "~> 0.10.2", groups: [development]}

data/lib/gisele/command.rb

@@ -0,0 +1,63 @@
+require 'gisele'
+module Gisele
+  #
+  # Gisele - A Process Analyzer Toolset
+  #
+  # SYNOPSIS
+  #   gisele [--version] [--help]
+  #   gisele [--ast] PROCESS_FILE
+  #
+  # OPTIONS
+  # #{summarized_options}
+  #
+  # DESCRIPTION
+  #   The Gisele process analyzer toolset provides tools and technique to model and analyze
+  #   complex process models such as care processes.
+  #
+  #   When --ast is used, the command parses a process file and prints its Abstract Syntax
+  #   Tree (AST) on standard output. By default, this option prints the AST for manual
+  #   debugging, that is with colors and extra information. Use --ast=ruby to get a ruby
+  #   array for automatic processing.
+  #
+  class Gisele::Command <  Quickl::Command(__FILE__, __LINE__)
+
+    # Install options
+    options do |opt|
+      @ast = nil
+      opt.on('--ast=[MODE]', 'Prints the process abstract syntax tree (debug,ruby)') do |value|
+        @ast = (value || "debug").to_sym
+      end
+      opt.on_tail('--help', "Show this help message") do
+        raise Quickl::Help
+      end
+      opt.on_tail('--version', 'Show version and exit') do
+        raise Quickl::Exit, "gisele #{Gisele::VERSION} (c) The University of Louvain"
+      end
+    end
+
+    def execute(args)
+      raise Quickl::Help unless args.size == 1
+
+      unless (file = Path(args.first)).exist?
+        raise Quickl::IOAccessError, "File does not exists: #{file}"
+      end
+
+      parsed = Gisele::Language::Parser.parse(file)
+      print_ast(parsed, @ast) if @ast
+    end
+
+    private
+
+    def print_ast(ast, option)
+      require 'awesome_print'
+      options = case option
+                when :ruby
+                  {index: false, plain: true}
+                else
+                  {}
+                end
+      ap ast, options
+    end
+
+  end # class Command
+end # module Gisele