Middle-Agents Interactions as Finite State Processes: Overview and Example

Paris, France June 18-June 20

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/WETICE.2007.156

16th IEEE International Workshops on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Amelia Badica Articles by Costin Badica Articles by Valentin Litoiu

	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 -

Amelia Badica

Costin Badica

Valentin Litoiu

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.