%0 Journal Article
%T A Goal-Based Approach for Process Instance Evolution<br>一种基于目标的过程实例演化方法
%A CHEN Cheng
%A GU Yu-qing
%A <br>陈诚
%A 顾毓清
%J 软件学报
%D 2002
%I 
%X Process is long-lived, distributed, heterogeneous, and always evolutive to cope with unforeseen environment. In this paper, an approach for process instance evolution is proposed, which is a formal approach that focuses on ensuring the "goal-based behavior consistency" between the evolved process instance and the original instance in order to avoid ad-hoc change of process model. The goal is regarded as the criterion of behavior consistency, so evolved process instance needs to be analyzed in formal methods to ensure that it can still achieve its goals. Through specifying the semantics of process model and goals as Büchi automaton, whether an executing process instance can achieve its goals or not is decided.
%K process instance
%K process model
%K evolution
%K goal-based<br>过程实例
%K 过程模型
%K 演化
%K 基于目标
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0DD446478EC2075E&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=5D311CA918CA9A03&sid=5D2AEAEFE5867538&eid=79DED9EDFE509D22&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=10