Paolo Torroni's Home Page


Principles of Interaction-Oriented Software Engineering

by Amit Chopra, University of Trento

When: 23 March 2011 @2pm [slides]

Where: Facoltà di Ingegneria, Viale Risorgimento 2, Bologna [GPS: 11°19.72'E, 44°29.28'N]
Room 1.3


Today's dominant ideas about software engineering date back to the 1970s and 1980s. Although some of the key motivations and principles of software engineering continue to hold in the current milieu, not all of them hold today and almost none of them hold quite like they did originally. The reason is that the intervening decades since the origins of software engineering have seen substantial, fundamental changes in the nature of software systems. Where early software systems were logically centralized, many of today's software systems are logically decentralized: they involve interactions among autonomous business entities. Researchers in service-oriented systems, virtual organizations, and sociotechnical systems are all essentially addressing the challenges posed by such systems.

Interaction-Oriented Software Engineering represents an update of the key software engineering principles keeping in mind today's applications. At its heart is the notion of interaction protocols specified in terms of social commitments. This talk presents the principle tenets of IOSE framed in the context of broader software engineering principles. It also discusses the implications of interaction-orientation for some exciting directions being pursued in software engineering.

About the speaker

Amit Chopra is a Marie-Curie Postdoctoral Fellow at the University of Trento, where he holds a grant for Business-level modeling and middleware for services: Reasoning about goals, compliance, interoperability, and adaptability. Amit received his PhD in 2008 from North Carolina State University. His research is at the intersection between Artificial Intelligence and Software Engineering and is inspired by the Interaction-Oriented Programming paradigm espoused by Munindar P. Singh. He gave significant contributions in the area of modeling and reasoning about interaction protocols, especially by way of commitments, in the application of commitments to business processes, and in the combination of goals and commitments.


The seminar is free and open to all those interested. However, for organization reasons and if you wish to stay up to date about any last-minute changes in the venue or other possible surprises, if you plan to attend I do advise you to send me an email.



DALT School 1st International Spring School on Declarative Agent Languages and Technologies.
I am co-organizing the school with Andrea Omicini, under the auspices of the DALT SC.
Bertinoro, Italy, April 10-15, 2011 (download flyer)
ISCL 2011 3rd International Spring School on Computational Logic.
I am co-organizing ISCL with Maurizio Gabbrielli, under the auspices of ALP & GULP.
Bertinoro, Italy, April 10-15, 2011 (download flyer)
CLIMA XII 12th International Workshop on Computational Logic in Multi-Agent Systems.
I am co-organizing CLIMA XII with Joao Leite, under the auscpices of the CLIMA SC.
CLIMA XII is an IJCAI 2011 workshop an will be held in Barcelona, Spain, July 16-18, 2011.



Paolo Torroni's Home Page


Paolo Torroni's Home Page

Technology marketplace

Multi-Agent protocols & verification

Agents & Web services

Web service composition & interoperability


Go to ISCL ISCL 2011

Go to DALT School Web Site DALT School 2011

Quick links

Rete 29 Aprile In Italian Rete 29 Aprile

My Faculty Member's web site

The SOCS project

FuturICT (Italian hub)

The TwitterArg NetLogo model

The NetArg NetLogo model

The ALIAS architecture

The SCIFF proof-procedure



LIA home page

DEIS home page

GULP home page

ALP Newsletter

DALT '03, '04, '05, '06, '07, '08, '09, '10, '11, '12

The CLIMA Workshop Series


ArgNMR @ LPNMR 2007

LADS @ Agents'007,'009


Go to JUST web site Fundamenta Informaticae

Go to JUST web site Unmanned Systems Technology (JUST)

Go to CPCS web site Conference Papers in Computer Science


Go to CPCS web site ALP Newsletter


Go to book ToC CLIMA XII LNAI 6814 (1K+ downloads)

Go to book ToC GULP 25Y LNAI 6125 (8K+ downloads)

ALMALIBeRI BookCrossing @ UniBO

Open and future calls Go to ConfSearch ConfSearch

Go to AAMAS 2014 AAMAS (submit by Oct 8, 2013)

Go to ECAI 2014 ECAI (Aug 2013; dates TBA)

Future events Go to ConfSearch ConfSearch

Go to ICLP 2013 ICLP (Istanbul, Turkey, Aug 2013)

Go to CLIMA XIV CLIMA/LPNMR (Corunna, Spain, Sep 2013)


go Real-Time Operating Systems M (lab)

go In Italian Informatica Grafica (09/10 11/12)

Erasmus in Turchia In Italian Scambi Erasmus con la Turchia

tesi Italian only Tesi di laurea e progetti

Fond info & lab T-AB (08/09)

Fond info L-A (05/06 06/07 07/08)

Guide web

Alma esami

 Last updated Tuesday, 10-May-2011 11:56:21 CEST