Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/ICSS.2010.12 | ICSS |
Keywords | Field | DocType |
defining element,application domain,system model,effective specification,domain-specific language,executable system,machinery service management system,machinery service management,machinery service,domain expert,case study,domain specific languages,application software,information system,maintenance engineering,dsl,entity relationship,computer languages,programming languages,machinery,formal verification,meta model,domain specific language,system modeling,software engineering,information systems,engineering management,formal specification,service management,software systems | Domain-specific language,Information system,Software engineering,Computer science,Software system,Formal specification,Application domain,System model,Formal verification,Executable | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Junwei Yang | 1 | 0 | 1.35 |
Zhongxiang Hu | 2 | 0 | 0.34 |
Yujun Zheng | 3 | 376 | 28.53 |