Macml: A Domain-Specific Language for Machinery Service Management

The paper presents Macml, a domain-specific language (DSL) that focuses on the effective specification, implementation, and verification of information systems in the domain of machinery services. As a meta-model of the application domain, the language precisely defining elements including entities, relationships, behaviors, constraints, and workflows, based on which the users, domain experts, and software engineers can effectively communicate with each other and work together to model a variety of machinery service management systems, which are all instances of the meta-model and which can be further transformed into executable systems mechanically. As a case study, a system model of Macml is presented to illustrate the implementation of our approach.