May 8th, 2014, 05:38 AM  #1 
Newbie Joined: May 2014 From: UK Posts: 1 Thanks: 0  Proof needed
Hi Guys I am wondering if someone could help me in resolving the following We use formula Occurs(a, t, D(t)) to denote that an atomic process occurs with respect to time t with a duration of D(t). Axiom1. Occurs(a, t, D(t)) implies D(t) ≥ 0 & for all t1(In(t1, t) implies there exists t2(Part(t2, t1) & Occurs(a, t2))) N.B. Axiom 1 applies to divisible intervals, nondivisible moments, and points. Definition: A business process p is defined as a pair (A , R(A)) where 1. A = {Occurs(p1, t1, D(t1)), …, Occurs(pn, tn, D(tn))} 2. R(A) = {Relation(ti, tj)  1 ≤ i, j ≤ n} Specially, an atomic process can be taken as a special business process, since for any atomic process a, R({a}) = Null set For a R(A), we use DR(A) to denote the deduced temporal constraint which contains all the relations of R(A), plus all the other relations that can be deduced from R(A). A formal definition of this, and some examples?????????????????? Definition: Business process (A1, R(A1)) is called a subprocess of business process (A2, R(A2)) if and only if: 1. A1 A2 2. DR(A1) DR(A2). 

Tags 
needed, proof 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Proof needed: is this sequence convergent?  zhangchanghe214  Real Analysis  3  April 4th, 2012 01:29 AM 
Help needed on this proof  jonbryan80  Real Analysis  14  March 27th, 2012 02:35 PM 
incircle in triangle  a proof needed  johny91  Algebra  0  January 31st, 2011 12:35 AM 
Help Needed  CutieCutiePi  Algebra  2  October 28th, 2009 07:34 PM 
HELP needed on this Proof  Christi123  Applied Math  2  June 26th, 2008 06:58 PM 