KMi Seminars
Towards a Science of Software Design
This event took place on Tuesday 19 April 2005 at 11:00

Professor John Mylopoulos University of Toronto/Trento

In his classic book titled "The Science of the Artificial" (published in 1969) Herbert Simon laments the fact that design is not taught in Engineering Schools, which instead clamor for scientific respectability. He then sketches what he calls a "Science of Design" whose basic ingredients include a logic of alternatives and a means-ends analysis for selecting "good enough" designs.

We review some of the history of Software Engineering since 1968 and discuss some the underlying concepts of Structured and Object-Oriented Software Development. We then focus on Agent-Oriented Software Development and argue that, unlike its older cousins, it supports the fundamental concepts that underly Simon's vision of a Science of Design. We also sketch a particular Agent-Orinted Software Development methodology, called Tropos, and the kind of tool support that it entails.

The research reported in this presentation was conducted with colleagues at the Universities of Toronto (Canada) and Trento (Italy).

KMi Seminars
KMi 2013 - A review of the year

Download the KMi 2013 Review of the year iBook to your iOS device or alternatively as a PDF.

Journal | 25 years of knowledge acquisition

Future Internet is...

Future Internet
With over a billion users, today's Internet is arguably the most successful human artifact ever created. The Internet's physical infrastructure, software, and content now play an integral part of the lives of everyone on the planet, whether they interact with it directly or not. Now nearing its fifth decade, the Internet has shown remarkable resilience and flexibility in the face of ever increasing numbers of users, data volume, and changing usage patterns, but faces growing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scientific research, physical infrastructure investment, better education, and better utilisation of the Internet. Within Japan, USA and Europe major new initiatives have begun in the area.

To succeed the Future Internet will need to address a number of cross-cutting challenges including:

  • Scalability in the face of peer-to-peer traffic, decentralisation, and increased openness

  • Trust when government, medical, financial, personal data are increasingly trusted to the cloud, and middleware will increasingly use dynamic service selection

  • Interoperability of semantic data and metadata, and of services which will be dynamically orchestrated

  • Pervasive usability for users of mobile devices, different languages, cultures and physical abilities

  • Mobility for users who expect a seamless experience across spaces, devices, and velocities