My Math Forum Proof needed

 Complex Analysis Complex Analysis Math Forum

 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, non-divisible 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 sub-process 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 Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post zhangchanghe214 Real Analysis 3 April 4th, 2012 01:29 AM jonbryan80 Real Analysis 14 March 27th, 2012 02:35 PM johny91 Algebra 0 January 31st, 2011 12:35 AM CutieCutiePi Algebra 2 October 28th, 2009 07:34 PM Christi123 Applied Math 2 June 26th, 2008 06:58 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top