共 25 条
[1]
Batory D.(2008)Modularizing theorems for software product lines: the Jbook case study J. Univers. Comput. Sci. 14 2059-2082
[2]
Börger E.(2007)Construction and analysis of ground models and their refinements as a foundation for validating computer based systems Formal Aspects Comput. 19 225-241
[3]
Börger E.(2008)Semantics and analysis of business process models in BPMN Inf. Softw. Technol. 50 1281-1294
[4]
Dijkman R.M.(2007)What business process modelers can learn from programmers Sci. Comput. Program. 65 4-13
[5]
Dumas M.(2000)A signal extension for Petri nets and its use in controller design Fundamenta Informaticae 41 415-431
[6]
Ouyang C.(2000)Process rewrite systems Inf. Comput. 156 264-286
[7]
Gruhn V.(2008)Model-driven synthesis of SOA solutions IBM Syst. J. 41 415-432
[8]
Laue R.(2011)Incremental test generation for software product lines IEEE Trans. Softw. Eng. 36 309-322
[9]
Hanisch H.M.(2005)YAWL: yet another workflow language Inf. Syst. 30 245-275
[10]
Lüder A.(2003)Workflow patterns Distrib. Parallel Databases 14 5-51