1PRakesh AgrawaI,Tyrone Grandison,PChristopher John- son,Jerry Kiernan. Enabling the 21st century health care in- formation technology revolution. In: ACM 2 Penn Plaza, Suite 701 New York NY USA. 2007:34-42.
2Jeng, J J; An, Lianjun. System Dynamics Modeling for SOA Project Management. In: IEEE International Conference on Volume , Issue, 2007,6:286-294.
5Andreas J.Dietrich,Stefan Kirn,and Vijayan Sugumaran. A Service-Oriented Architecture for Mass Customization-A Shoe Industry Case Study. IN: IEEE ~RANSACTIONS ON ENGINEERING MANAGEMENT,VOL.54,NO.1.2007,2.
3Georgakopoulos D,Hornick M,Sheth A.An overview of workflow management:From process modehng to infrastructure for automation.Journal on Distributed and Parallel Database Systems,1995,3(2):119-153
4Kifer M,Subrahmanian V S.Theory of generalized annotated logic programming and its applications.Journal of Logic Programming,1992,12(4):335-367
5Timothy K S,Steven K C.Using Interval Temporal Logic and Inference Rules for the Automatic Generation of Multimedia Presentations.In:Proceedings of the 1996 IEEE International Conference on Multimedia Computing and Systems Washington DC,USA.1996:425-428
6Ellito R.Some Issues in the Design of Digital Circuits Using Temporal Logic:[Ph.D.Thesis].Norwich:School of Information Systems,University of East Anglia,U.K.,1990
7Lamport L.The temporal logic of actions.DEC Systems Research Center,Palo Alto,CA:Technical Report 79,1991
8Sadiq W,Orlowska M E.Analyzing process models using graph reduction techniques.Information System,2000,25(2):117-134
