loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007)
Middle-Agents Interactions as Finite State Processes: Overview and Example
Paris, France
June 18-June 20
ISBN: 0-7695-2879-1
ASCII Text
x 
 
Amelia Badica, Costin Badica, Valentin Litoiu, "Middle-Agents Interactions as Finite State Processes: Overview and Example," Enabling Technologies, IEEE International Workshops on, pp. 12-17, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/WETICE.2007.156,
author = {Amelia Badica and Costin Badica and Valentin Litoiu},
title = {Middle-Agents Interactions as Finite State Processes: Overview and Example},
journal ={Enabling Technologies, IEEE International Workshops on},
volume = {0},
year = {2007},
issn = {1524-4547},
pages = {12-17},
doi = {http://doi.ieeecomputersociety.org/10.1109/WETICE.2007.156},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Enabling Technologies, IEEE International Workshops on
TI - Middle-Agents Interactions as Finite State Processes: Overview and Example
SN - 1524-4547
SP12
EP17
A1 - Amelia Badica,
A1 - Costin Badica,
A1 - Valentin Litoiu,
PY - 2007
VL - 0
JA - Enabling Technologies, IEEE International Workshops on
ER -
 
We propose the use of finite state process algebra for modeling interactions between requesters, providers and middle-agents in global environments like the Internet. The results are threefold: i) precise specification of interactions depending on type of middle-agent; ii) understanding the requirements of parties involved in interactions; iii) im- provement of communication between designers and devel- opers and enable of formal verification.
Citation:
Amelia Badica, Costin Badica, Valentin Litoiu, "Middle-Agents Interactions as Finite State Processes: Overview and Example," wetice, pp.12-17, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.