|
|||||
|
|
Using Alloy in process modelling |
|
| Authors: | Chris Wallace |
| Affiliation: | Faculty of Computing, Engineering and Mathematics, University of the West of England, Coldharbour Lane, Bristol BS16 1QY, UK |
| Abstract: | |
| Keywords: | Alloy Process modelling Data modelling State machine UML OCL Model analysis |
| 本文献已被 ScienceDirect 等数据库收录！ | |