KMi Publications

Tech Reports

Tech Report kmi-01-10 Abstract


Towards a Logical Framework for Sequential Design
Techreport ID: kmi-01-10
Date: 2001
Author(s): Martin Dzbor and Zdenek Zdrahal
Download PDF

Engineering design is usually seen as a knowledge-intensive process that driven by certain objectives eventually delivers an artefact having the desired properties or functions. Design is inherently iterative and the design goals evolve together with the solutions. Many current design theories present more or less efficient ways for finding a suitable solution to the given goals. However, they often leave open the question of the 'solution talkback'. Under 'solution talkback' we understand the reasoning process that is able to infer what formal amendments to the initial design specification need to be made in order to produce a feasible solution. Modified explicit design specification would in turn enable designers to refine the solutions to their design problems. This paper suggests an early-stage theory that incorporates some typical features of design problems, and defines a reasoning framework for the reflection on the actions in design. First, the key terms are defined that are elaborated later with the focus on generation of new design goals through the reflection on the partial design solutions.

Publication(s):

13th Conference on Design Theory and Methodology (part of ASME Design Engineering Technical Conferences), September 2001, Pittsburgh, USA
 
KMi Publications Event | SSSW 2013, The 10th Summer School on Ontology Engineering and the Semantic Web 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