modeling flexible workflow based on temporal logic

ISCAS OpenIR

	modeling flexible workflow based on temporal logic
	Duan Yi; Ma Huadong
	2005
会议名称	9th International Conference on Computer Supported Cooperative Work in Design 2005
会议录名称	Proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design
页码	508-513
会议日期	43975
会议地点	Coventry, United kingdom
收录类别	ei
ISBN	1846000025
部门归属	(1) School of Computer Sci. and Techno., Beijing University of Posts and Telecomm, Beijing 100876, China; (2) Lab for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
摘要	In order to enhance the flexibility of the workflow management, many researchers put their focus on the flexible workflow management system. After discussing the features of flexible workflow, we propose a method to specify the flexible workflow by tempor
关键词	Mathematical Models Software Prototyping
主办者	Coventry University, UK; Institute of Electrical and Electronics Engineers, IEEE; Institution of Electrical Engineers, IEE; British Computer Society, BCS
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12786
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Duan Yi,Ma Huadong. modeling flexible workflow based on temporal logic[C],2005:508-513.