0

# Need help in defining

Thu 8 May, 2014 07:43 am
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 subset of A2
2. DR(A1) subset of DR(A2).
• Topic Stats
• Top Replies
Type: Question • Score: 0 • Views: 2,740 • Replies: 1
No top replies

JLNobody

1
Thu 8 May, 2014 03:23 pm
@ichishti,
Needless to say.
0 Replies

### Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
THE TEN COMMANDMENTS OF LOGIC - Discussion by Ragman
Derivations vs. symbolisation? - Question by collegestudent123
Logic word problem - Question by johnr
Cause of death..... - Discussion by gungasnake
Predicate Logic Help - Question by splenax

1. Forums
2. » Need help in defining