共 50 条
- [41] Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP SOFTWARE ARCHITECTURE (ECSA 2020), 2020, 12292 : 101 - 117
- [42] Multi-Diagram Representation of Enterprise Architecture: Layout and Aesthetics 2018 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND APPLICATIONS (ACOMP), 2018, : 88 - 95
- [45] A DDL based formal policy representation AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2006, 4088 : 245 - 255
- [49] Directed hypergraph based and resource constrained enterprise process structure optimization Ruan Jian Xue Bao/Journal of Software, 2006, 17 (01): : 59 - 68