Model-Based Design of Body Motion Sensing Technology using Systems Modeling Language and Coloured Petri Nets.
Francisco Javier MejiaJose Isidro GarciaCelia E. HurtadoPublished in: HealthCom (2019)
Keyphrases
- modeling language
- metamodel
- enabling technology
- design rationale
- design tools
- case study
- computer systems
- formal semantics
- formal methods
- coloured petri nets
- model driven development
- management information systems
- support systems
- distributed systems
- design requirements
- declarative language
- development process
- design process
- motion estimation
- business process modeling
- educational modeling languages
- language constructs
- constraint language
- expert systems
- multi agent systems