Kmelia is a language to describe a component models based on the description of complex services. Kmelia components are abstract, independent from their environment and therefore non-executable.

Kmelia can be used to model software architectures and their properties, these models being later refined to execution platforms. It can also be used as a common model for studying component or service model properties (abstraction, interoperability, composability). Kmelia main characteristics are: components, services, software architectures, protocols, contracts, specification of complex interaction between services.

Keywords: component model, services, software architectures, protocols, contracts…

  • Kmelia is dedicated to represent component models based on services: an elementary Kmelia component encapsulates several services. The service behaviours are captured with specifi c labelled transition  systems that enables optional transitions.
  • Kmelia makes it possible to specify abstract components, to compose them and to check various properties.
  • A Kmelia abstract component is a mathematical model of an open multi-service system that supports synchronous communication with its environment.
  • Kmelia is a widespectrum specificaton language that covers static, dynamic and functional aspects of Service based Component Systems.

Comparable languages are: SOFA, rCOS, SCA, Fractal…

We describe Kmelia in a set of pages on the former website:

  • Metamodel
  • Glossary
  • Data Grammar
  • Formal semantics


A Platform to Specify and Verify Component and Service Software

Quick Contact ^
We want to thank you for contacting us through our website and let you know we have received your information. A member of our team will be promptly respond back to you.