[1] W Aalst.Business process mangagement:A comprehensive survey[J].ISRN Software Engineering,2013,12(1):1-37.
[2] M L Rosa.Managing variability in process-aware information systems[D].Brisbane,Australia:Queensland University of Technology,2009.4.
[3] W Aalst.Business process configuration in the cloud:How to support and analyze multi-tenant processes?[A].Proc of the 9th IEEE European Conference on Web Services[C].New York:IEEE Computer Society,2011.3-10.
[4] W Derguech,S Bhiri.An automation support for creating configurable process models[A].Proc of The 12th International Conference on Web Information System Engineering[C].Berlin:Springer,2011.199-212.
[5] FGottschalk,W Aalst,M H Jansenvullers.Configurable process models-A foundational approach[A].Reference Modeling[M].Berlin:Springer,2007.59-78.
[6] M L Rosa,W Aalst.A configurable reference modeling language[J].Information Systems,2007,32(1):1-23.
[7] M L Rosa,M Dumas,A H M Hofstede ,et al.Configurable multi-perspective business process models[J].Information Systems,2011,36(2):313-340.
[8] F Gottschalk,W Aalst,M H Jansenvullers,et al.Configurable workflow models[J].International Journal of Cooperative Information Systems,2007,17(2):177-221.
[9] W Aalst,M Dumas,F Gottschalk,et al.Preserving correctness during business process model configuration[J].Formal Aspects of Computing,2010,22(3):459-482.
[10] W Aalst,N Lohmann,M L Rosa,et al.Correctness ensuring process configuration:An approach based on partner synthesis[A].Proc of the 8th International Conference on Business Process Management (C).Berlin:Springer,2010.95-111.
[11] W Aalst,K M V Hee,A H M Hofstede.Soundness of workflow nets:Classification,decidability,and analysis[J].Formal Aspects of Computing,2011,23(3):333-363.
[12] A Classen,M Cordy,P Yves,et al.Featured transition systems:Foundations for verifying variability-intensive systems and their application to LTL model checking[J].IEEE Transactions on Software Engineering,2013,39(8):1069-1089.
[13] T Basten,W Aalst.Inheritance of behavior[J].Journal of Logic and Algebraic Programming,2001,47(2):47-145.
[14] 余阳,汤庸,潘茂林,等.时态工作流过程模型及其合理性验证[J].软件学报,2010,21(6):1233-1253. Yu Yang,Tang Yong,Pan Mao-lin,et al.Temporal workflow process model and its soundness verification[J].Journal of Software,2010,21(6):1233-1253.(in Chinese)
[15] 庞善臣,闫春钢,蒋昌俊,等.基于家态的多事务工作流完整性分析[J].电子学报,2006,34(6):1163-1168. Pang Shan-chen,Yan Chan-gang,Jiang Chang-jun,et al.Soundness analysis of the multi-cases workflow model based on home state[J].Acta Electronica Sinica,2006,34(6):1163-1168.(in Chinese)
[16] 庞善臣.一种基于资源约束的工作流建模及分析方法[J].电子学报,2012,40(8):1497-1502. Pang Shan-chen.Modeling and verification of workflow based on resource constraint[J].Acta Electronica Sinica,2012,40(8):1497-1502.(in Chinese)
[17] S Liaskos,M S Khan,M Litoiu,et al.Behavioral adaptation of information systems through goal models[J].Information systems,2012,37(3):767-783.
[18] G Groner,M Asadi,B Mohabbati,et al.Validation of user intentions in process models[A].Proc of the 24th International Conference on Advanced Information Systems Engineering(C).Berlin:Springer,2012.366-381.
[19] 吴毅坚,赵文耘.特定领域软件框架的提取方法研究[J].电子学报,2011,34(8):1365-1377. Wu Yi-jian,Zhao Wen-yun.Research on distilling domain specific software frameworks[J].Acta Electronica Sinica,2011,34(8):1365-1377.(in Chinese)
[20] Wang Jian,He Ke-qing,Liang Peng.Rgps:A unified requirements meta-modeling frame for networked software[A].Proc of the 3rd International Workshop on Advances and Applications of Problem Frames (C).New York:IEEE Computer Society,2008.29-35.
[21] 袁崇义.Petri网应用[M].北京:科学出版社,2013. Yuan Chong-yi.Application of Petri net[M].Beijing:Sciense Press,2013.(in Chinese) |