Information Technology Reference
In-Depth Information
AdminClient
a
?:
A
c
?:
C
man
!:
M
users
!:
P
U
AdminUser
a
?:
A
u
?:
U
info
!:
Loginfo
sent
!
,
rec
!:
P
Mess
log
(
a
?)
.
in
man
! =
mgr
(
c
?)
log
(
a
?)
.
in
info
! =
log
(
u
?)
sent
! =
log
(
u
)
.
at
=
c
?
log
(
u
)
.
in
{
m
:
M
|∃
v
:
U
·
post
(
u
?
,
v
,
m
)
}
users
! =
{
u
:
U
|
}
rec
! =
{
m
:
M
|∃
v
:
U
·
post
(
v
,
u
?
,
m
)
}
Fig. 3.
Administrative information in
Webbo
AdminMail
AdminPostAll
Δ(
post
)
a
?:
A
p
?:
Mess
AdminPostOne
Δ(
post
)
a
?:
A
u
?
,
r
?:
U
p
?:
Mess
log
(
a
?)
.
in
post
=
post
⊕
(
{
a
?
}×
U
×{
p
?
}
)
log
(
a
?)
.
in
post
=
post
⊕{
(
u
?
,
r
?
,
p
?)
}
Fig. 4.
Administrative posting in
Webbo
UserManagement
CreateUser
Δ(
U
,
log
)
m
?:
M
u
?:
Users
RemoveUser
Δ(
U
,
log
,
post
)
m
?:
M
u
?:
U
log
(
m
?)
.
in
∀
v
:
U
·
v
=
u
?
log
(
m
?)
.
in
u
?
∈
A
∪
M
¬
log
(
u
?)
.
in
U
=
U
{
u
?
}
log
log
(
v
)
=
log
(
v
)
⇒
U
=
U
{
u
?
}
¬
log
(
u
?)
.
in
log
(
u
?)
.
no
= 0
=
{
u
?
} −
log
post
=
{
(
v
,
w
,
p
) :
post
|
w
=
u
?
}
Fig. 5.
User management in
Webbo
Search WWH ::
Custom Search