event structure and obtained from execution of the
condition/event net defined as follows:
Definition 4 (Nielsen, 1981). A condition/event net
is a quadruplet (B,E,F,M
0
) where:
• B is a set of non null conditions,
• E is a disjoint set of events,
• F is set of (B×E)
∪
(E×B) called causal
dependency relation,
• M
0
is a non empty set of conditions, called
initial marking.
The Petri net satisfies the following restrictions:
•
∀
e
∈
E,
∃
b
∈
B / F
b,e
>
0 and
∀
e
∈
E,
∃
b
∈
B / F
e,b
>
0;
no isolated events
•
∀
b
∈
B, [M
0b
≠0 or (
∃
e
∈
E, F
e,b
≠0) or (
∃
e
∈
E,
F
b,e
≠0)]; no isolated conditions
Definition 5 (Nielsen, 1981). Let E=(E,≤,
#
) be an
event structure, the corresponding occurrence net is
defined by N(E)=(B,E,F,M) such that :
• M={(Φ,A) / A
⊆
E and (
∀
a,a’
∈
A, a(
#∪
1
E
)a′)}
• B=M
∪
{(e,A) / A
⊑
E and e
∈
E and (
∀
a,a′
∈
A,
a(
#∪
1
E
)a′)and (
∀
a
∈
A, e<a)}
• F={(e,(c,A)) / (e,A)
∈
B}
∪
{((c,A),e) / (c,A)
∈
B
and e
∈
A}
6 RELATED WORK
Several models have been established for session
management, such as CONCHA, GMS, Mediaspace
and Intermezzo. CONCHA model (CONference
system based on java and Corba event CHAnnels
service) presented in (Orvalho, 1999) is a
supervising authority of conferences based on
CORBA events service. Services are implemented in
Java and support reliable multicast communications
for data transfer and information control. CONCHA
includes two essential services: supervising
conference authority and a multipoint
communication service. In (Wilde, 1996), Group
Management System for Distributed Multimedia
Applications (GSM) model is presented. GSM is
constitued of user agents and system agents. User
agents are components being integrated in the group
communication platform. System agents function is
to manage distributed directories providing
distributed databases to all user agents. In (Roussel,
1997), there is an inefficiency to collaborate in
traditional media space systems because
possibilities, to express coordination and actions,
have been pointed out. Roussel proposed a new
model, called Mediaspace, to handle collaboration.
This model is rooted in a multi agents approach.
Roussel characterized an agent by four fundamental
properties: persistence, ability to/for communication,
autonomy, and reactivity. In (Edward, 1994), a
session management model based on sharing users
and activities information is presented. Activities
information include current tasks details, active tasks
details (e.g., connected users), location of
applications or tasks, and objects associated with
these tasks. While CONCHA, GMS and Mediaspace
models are centered on distributed entities (agents or
components) integration, Edward’s model is based
on shared objects. All these models do not consider
interdependencies management between participants
and applications. Current session managers offer few
possibilities for coordination rules definition. In the
literature, there exist several works centered on the
definition of relations among participants,
applications and information (Rodriguez, 2002),
(Tata, 2002). Rodriguez et al. (Rodriguez, 2002)
describe application architecture to determine data
flows between producer-consumer components. Tata
(Tata, 2002) defines coordination policies based on
data access and synchronization contracts
established between members of a virtual team. This
model is centered on role management and activity
synchronization. It also supports inference of access
rules across a set of basic data. We have centered
our model on the use of participants and application
events without depending on data aspect. Our
approach consists in specifying a variety of
dependency relationships during cooperative session
execution. The proposed model is based on event
structures, giving more clarity and formality to
application specification. There are many
similarities between the proposed model and
Espinosa et al. (Molina-Espinosa, 2003b) one in
defining dependency relationships. However, the
major difference is the formal model used to specify
cooperative sessions and coordination rules. While,
Espinosa et al. used the Labeled Partial Orders
(LPO) for collaborative session definition and First
Order Formulas (FOL) to specify properties
corresponding to coordination rules. We have used
Event structures to specify both collaborative
session and coordination rules. This allows us to
discard ambiguity that appears in (Molina-Espinosa,
2003b) model.
7 CONCLUSIONS
In this paper, we have formally modelled
collaborative sessions using event structures. The
major benefit of such a model is the clarity of
ICEIS 2009 - International Conference on Enterprise Information Systems
142