Universal Binary Format and EEP8
Copyright (c) 2011 by Joseph Wayne Norton
Authors: Joseph Wayne Norton (
This is UBF-EEP8, a framework for integrating UBF and EEP8. This repository depends on the UBF open source repository.
This repository is experimental in nature and not intended for production usage.
Quick Start Recipe
To download, build, and test the ubf_eep8 application in one shot, please follow this recipe:
$ mkdir working-directory-name $ cd working-directory-name $ git clone git://github.com/norton/ubf-eep8.git ubf_eep8 $ cd ubf_eep8 $ ./rebar get-deps $ ./rebar clean $ ./rebar compile $ ./rebar eunit
For an alternative recipe with other "features" albeit more complex, please read further.
Where should I start?
This README is a good first step.
The UBF User's Guide is the best next step. Check out http://norton.github.com/ubf/ubf-user-guide.en.html for further detailed information.
EEP8 samples and eunit tests can be found in the test/eunit directory.
What is UBF?
UBF is the "Universal Binary Format", designed and implemented by Joe Armstrong. UBF is a language for transporting and describing complex data structures across a network. It has three components:
UBF(a) is a "language neutral" data transport format, roughly equivalent to well-formed XML.
UBF(b) is a programming language for describing types in UBF(a) and protocols between clients and servers. This layer is typically called the "protocol contract". UBF(b) is roughly equivalent to Verified XML, XML-schemas, SOAP and WDSL.
UBF(c) is a meta-level protocol used between a UBF client and a UBF server.
See http://norton.github.com/ubf for further details.
What is EEP8?
EEP8 is an extension to the Erlang language for declaring sets of Erlang terms to form a particular type, effectively forming a specific subtype of the set of all Erlang terms. Subsequently, these types can be used to specify types of record fields and argument and return values of functions. See http://www.erlang.org/eeps/eep-0008.html for full details.
Configure your e-mail and name for Git
$ git config \--global user.email "email@example.com" $ git config \--global user.name "Your Name"
$ mkdir -p ~/bin $ wget -O - https://dl-ssl.google.com/dl/googlesource/git-repo/repo > ~/bin/repo $ chmod a+x ~/bin/repo
Create working directory
$ mkdir working-directory-name $ cd working-directory-name $ repo init -u git://github.com/norton/manifests.git -m ubf-eep8-default.xml
Note Your "Git" identity is needed during the init step. Please enter the name and email of your GitHub account if you have one. Team members having read-write access are recommended to use "repo init -u firstname.lastname@example.org:norton/manifests.git -m ubf-eep8-default-rw.xml". Tip If you want to checkout the latest development version, please append " -b dev" to the repo init command.
Download Git repositories
$ cd working-directory-name $ repo sync
For futher information and help for related tools, please refer to the following links:
Erlang - http://www.erlang.org/
R13B04 or newer, R15B has been tested most recently
Git - http://git-scm.com/
Git 1.5.4 or newer, Git 1.7.8 has been tested recently
required for Repo and GitHub
GitHub - https://github.com
Python - http://www.python.org
Python 2.4 or newer, Python 2.7.1 has been tested most recently (CAUTION: Python 3.x might be too new)
required for Repo
To build - basic recipe
Get and install an erlang system http://www.erlang.org
$ cd working-directory-name/src $ make compile
Run the unit tests
$ cd working-directory-name/src $ make eunit
To build - optional features
Dialyzer Testing basic recipe
Build Dialyzer's PLT (required once)
$ cd working-directory-name/src $ make build-plt
Tip Check Makefile and dialyzer's documentation for further information.
Dialyze with specs
$ cd working-directory-name/src $ make dialyze
Caution If you manually run dialyzer with the "-r" option, execute "make clean compile" first to avoid finding duplicate beam files underneath rebar's .eunit directory. Check Makefile for further information.
Dialyze without specs
$ cd working-directory-name/src $ make dialyze-nospec
Many, many thanks to Joe Armstrong, UBF's designer and original implementor.
Thanks to Kostis Sagonas and Tobias Lindahl, EEP8's designers and implementors.
Gemini Mobile Technologies, Inc. has approved the release of this repository under an MIT license.