A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design.
Haoxuan YuanFang LiXin HuangPublished in: ICIS (2019)
Keyphrases
- service oriented
- model driven
- production line
- model driven development
- loose coupling
- web services
- conceptual framework
- business process modeling
- case study
- metamodel
- modeling language
- formal methods
- workflow management
- production system
- lightweight
- response time
- service oriented architecture
- management system
- data model
- service oriented computing
- user interface
- optimal solution