%0 Book Section %1 Esteva:2001:agentlink %A Esteva, Marc %A Rodríguez-Aguilar, Juan A. %A Sierra, Carles %A Garcia, Pere %A Arcos, Josep Lluís %B AgentLink'01: Proc. Agent Mediated Electronic Commerce %C London, UK %D 2001 %E Dignum, Frank %E Sierra, Carles %I Springer %K imported thesis %P 126--147 %R 10.1007/3-540-44682-6_8 %T On the Formal Specifications of Electronic Institutions %V 10.1007/3-540-44682-6 %X In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations (electronic institutions) composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts. Here we take the view that the design and development of electronic institutions must be guided by a principled methodology. Along this direction, we advocate for the presence of an underlying formal method that underpins the use of structured design techniques and formal analysis, facilitating development, composition and reuse. For this purpose we propose a specification formalism for electronic institutions that founds their design, analysis and development. %@ 3-540-41671-4

@incollection{Esteva:2001:agentlink, abstract = {In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations (electronic institutions) composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts. Here we take the view that the design and development of electronic institutions must be guided by a principled methodology. Along this direction, we advocate for the presence of an underlying formal method that underpins the use of structured design techniques and formal analysis, facilitating development, composition and reuse. For this purpose we propose a specification formalism for electronic institutions that founds their design, analysis and development.}, added-at = {2017-03-16T11:50:55.000+0100}, address = {London, UK}, author = {Esteva, Marc and Rodr\'iguez-Aguilar, Juan A. and Sierra, Carles and Garcia, Pere and Arcos, Josep Llu\'is}, biburl = {https://www.bibsonomy.org/bibtex/203780dd76b82263cb32f682b3947025f/krevelen}, booktitle = {AgentLink'01: Proc. Agent Mediated Electronic Commerce}, doi = {10.1007/3-540-44682-6_8}, editor = {Dignum, Frank and Sierra, Carles}, interhash = {4e2cc4ec20cb7608a46b3904afac5e18}, intrahash = {03780dd76b82263cb32f682b3947025f}, isbn = {3-540-41671-4}, keywords = {imported thesis}, owner = {Rick}, pages = {126--147}, publisher = {Springer}, series = {LNAI}, timestamp = {2017-03-16T11:54:14.000+0100}, title = {On the Formal Specifications of Electronic Institutions}, volume = {10.1007/3-540-44682-6}, year = 2001 }