tailieunhanh - Research Issues in Systems Analysis and Design, Databases and Software Development phần 10

RuleAdoption bị cấm nếu RuleAdoption là do Sở và là một Rule buộc hiện thực của các PossibleAllMaleState một là của Cục , đó là â € x: RuleAdoption â € y: Sở - € z: Quy tắc â € w: PossibleAllMaleState [(x là y & x của z & z buộc việc hiện thực của w & w là y) ⊃ x cấm]. Các chính thức của ràng buộc deontic hoạt động bởi vì các trường hợp có liên quan của PossibleAllMaleState tồn tại, bất kể có hay không có liên quan. | 254 Recker Mendling Acknowledgment We gratefully acknowledge the fruitful contributions of our colleagues Michael Rosemann Peter Green Marta Indulska Chris Manning Petia Wohed Wil van der Aalst Arthur ter Hofstede and Marlon Dumas to the evaluations of BPMN and BPEL by means of representation theory and work-flow patterns. Furthermore we would like to thank Kristian Bisgaard Lassen and Uwe Zdun for the joint effort toward the identification of transformation strategies. References Andrews T. Curbera F. Dholakia H. Goland Y. Klein J. Leymann F. et al. 2003 . Business process execution language for Web services Version . Retrieved February 10 2006 from http . org Bider I. Johannesson P. 2002 . Modeling dynamics of business processes Key for building next generation of business information systems. In S. Spaccapietra S. T. March Y Kambayashi Eds. Conceptual modeling ER 2002 Vol. 2503 pp. 7-9 . Tampere Finland Springer. Bodart F. Patel A. Sim M. Weber R. 2001 . Should optional properties be used in conceptual modelling A theory and three empirical tests. Information Systems Research 12 4 384-405. . 2004 . Businessprocess modeling notation BPMN Version . May 3 20. Retrieved March 2 2005 from http . 2005 . BPMN implementors and quotes. Retrieved February 24 2006 from http Object Management Group OMG . 2006 . Business process modeling notation specification Final adopted specification. Retrieved February 20 2006 from http Bunge M. A. 2003 . Philosophical dictionary. New York Prometheus Books. Curtis B. Kellner M. I. Over J. 1992 . Process modeling. Communications of the ACM 35 9 75-90. Copyright 2007 IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. Lost in Business Process Model Translations 255 Davenport T. H. Short J. E. 1990 . The new industrial engineering Information