Distributed Lens Architecture

There is a problem that is common to databases, user interface, programming languages and pretty much everything that involves state in more than 1 location. It's called the "view update problem". Or in a more general sense: (Bidirectional) Model Transformation. In the functional programming world, this is modelled…

Creating Domain Specific Languages with OMeta

I've been researching different ways of constructing the Forge Architect DSL. There are tons of different tools and different algorithms used to lex, tokenise, and evaluate context free languages: LL LR (LALR and SLR) Recursive Descent PEG Earley I found OMeta early on, and after reading Alessandro Warth's PHD dissertation,…

Reification & Abstraction in Configuration Management

Reification and abstraction are 2 fundamental concepts on computer programming and how humans communicate in general. These 2 concepts are also guiding the development of the Forge Architect orchestration language. Abstraction is the process of creating an construct that captures the essence of that which is concrete. It can be…

Configuration Management Language

The term configuration management has a long history beyond software development. When applied to software, people usually refer to the implementations of: CFEngine Puppet Chef Ansible Salt Docker Kubernetes Terraform Fleet And lots more... In a nutshell, configuration management in software refers the process of configuring the servers, and then…

Matrix Foundations

At the beginning of April 2014, we began with an idea for some sort of futuristic platform as a service designed for microservices also known as "service oriented architecture". Our first iteration at describing ourselves was: Matrix - Realtime Adaptive Orchestration AI operating on Cellular Service Oriented Automata…