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 specific 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:
- Data Grammar
- Formal semantics