A Platform for developing Enterprise Application


The essence of Smile platform is to capture the specifications at various phases of software development in a form that are executable and stay live. It is a map of the software that never goes out of date even after several years into production. A wide classes of enterprise products and applications can be built on top of Smile platform resulting in reduced TCO.

Smile Platform

Smile platform is build on 3 core principles:

Formal Specification - A formal software specification is a statement expressed in a language whose vocabulary, syntax, and semantics are formally defined. Smile provides a rich editor(Eclipse Plugin) to write and iterate the formal specifications before moving to implemention.
Developers Productivity - Bite sized code to develop against well defined interfaces defined by the spefications. Optimized for writing code against changing specifications.
Reactive Platform - First class support for Event Sourcing. Useful for modeling complex domain. Based on Lightbend Reactive Platform (Scala, Akka, Play, Sbt on JVM).

Software Lifecycle

Challenges of Enterprise Software Development :
  • Lack of precise and unambiguous requirement set
  • No consistent model in the problem domain
  • Choosing the right technology/architecture(MicroServices?)
  • Hiring smart developers & making them effective
  • Managing Timeline & Cost
  • Full of false features - building features that nobody uses
  • Difficult to change as time progresses
Challenges of Enterprise Software Maintenance :
  • Almost every successful large codebase progressively become a big ball of mud
  • Nobody knows what the system is supposed to do
  • Nobody knows what the system is currently doing
  • Turnaround time to enhance/add new features become longer and longer
  • Nobody wants to work there but the business is making money
  • Takes considerable time/effort become new? developers become productive

Smile Software Lifecycle

Formal Specification is one of the core to build Enterprise Application in Smile Platform.

Formal Specification

A formal software specification is a statement expressed in a language whose vocabulary, syntax, and semantics are formally defined.

  • Built for specifying enterprise application
  • Easy to read (basic predicate/propositional logic)
  • Easy to write (rich editor support)
  • Forms a part of development infrastructure (Guided coding for developers)
  • Forms a part of runtime structure (Always Live)

Contact Us

#279, 3rd Floor, 5th Main, 6th Sector HSR Layout, Bangalore - 560102

info@metastay.com