Demonstrate neo4j-core Ruby GEM API to Access Neo4j Database

This post demonstrates basic neo4j-core Ruby GEM API to access Neo4j database. Topics covered:

  • installing and configuring development server
  • starting and stopping development server
  • create API session
  • creating nodes and relationships using
    • Node.create and Relationship.create -methods
    • Session.query -method
      • using fixed Cypher query language strings
      • using Cypher query language strings with parameters

:More:

Advertisements

Sbuilder Ethereum Example

Introduction

This post presents an example using Ethereum Solidity language withdrawal pattern to demonstrate, how tla-sbuilder with sbuilder-ethererum plugin can be used to check for implementation correctness.

For an overview of sbuilder-ethereum refer to Sbuilder Ethereum Announcement blog entry.

:More:

Using Sbuilder to Model Business IT Systems

Introduction

This post uses an example to demonstrate, how business IT system modeling can be supported using Sbuilder -tool. The example mimics a simple Pet Store application with two services. One of the services is used to manage pets, and the other one to manage tags.

Notice: This blog post uses mustache includes to load “snippets” into sbuilder formal model. Sbuilder has since been extended with a snippets loader extension points. For an example, refer Specification Driven Development Demo, particularly instructions to create formal model, and more precisely sbuilder.yaml configuration.

The presentation is quite long and technical. Hopefully, comments associated with the YAML, and TLA+ language example snippets, help to follow the idea being presented.

:More:

A Tool To Generate Runnable Specification Models in TLA+ language

Introduction

This post introduces Sbuilder (aka Specification Builder) -tool. Sbuilder generates runnable specification models in TLA+ language for business IT system. Specification model can be verified using TLA+Tools, and parts of it can be presented as implementation blueprints to developers.

:More:

Nat Instance on AWS

Introduction

This blog post uses aws-must-templates to create “a VPC with a public subnet and private subnet, and a network address translation (NAT) instance in the public subnet” similar to scenario 2 in Amazon VPC documentation. Focus is in describing steps needed to setup the environment, to create the stack, and to test the provisioned result on Amazon platform.

:More: