Jukka Honkola

Smart-M3 information sharing platform

We describe the concept, architecture and key design decisions of Smart-M3 interoperability platform. The platform is based on the ideas of space-based information sharing and semantic web ideas about information representation and ontologies. The interoperability platform has been used as the basis for multiple case studies.

Cross-Domain Interoperability: A Case Study

We describe a case study of the behaviour of four agents using a space based communication architecture. We demonstrate that interoperability may be achieved by the agents merely describing information about themselves using an agreed upon common ontology. The case study consists of an exercise logger, a game, a mood rendered attached to audio player and phone status observing agents. The desired scenario emerges from the independent actions of the agents.

Smart Spaces for Ubiquitously Smart Buildings

Building automation is a domain where interoperability between equipment made by different manufacturers is rare. In addition to competing standards, completely proprietary solutions are also common. This is a great challenge for implementing ‘ubiquitously smart buildings’, where building automation systems, user interfaces and services can interact seamlessly. The paper describes how a Semantic Information Broker (SIB) can be used as an enabler of interoperability, where an ecosystem of supplementary services is created through manufacturer-agnostic agents.

Towards Model-Based Testing with Architecture Models

As tools are maturing rapidly model-based testing is gaining wider attention by industry as a potential replacement for suite-based testing approaches. To use model-based testing tools users however specify often quite detailed test models, at level of the implementation to be tested. We present here a first attempt to generate tests from more abstract implementation models, which we call architecture models. With only little refinement these models can be used to validate implementations up to interaction accuracy. Our technique is applied to validate that the camera application software for Nokia Series 60 mobile devices conforms to its UML2 architecture model, employing the model-based testing tool Conformiq Qtronic

Integration of an answer set engine to smart-M3

We present our work in integrating an answer-set engine smodels to Smart-M3 interoperability platform. This gives user a possiblity of programming and trialing logic program reasoning in Smart-M3 environment. The smodels programming model guarantees that evaluation of rules is terminating. We add reactive features on top of the answer-set programming model and discuss its implications.

Integration and uses of RF Memory Tags with Smart Space Semantic Web middleware

As devices become more ubiquitous and information more pervasive, technologies such as semantic Web and space-based computing come to the fore as a platform for user-interaction with their environment. Integrating technologies such as advanced RF memory tag with mobile devices and combining this with computation platforms such as those supporting semantic Web principles provides innovative and novel applications for the user. In a way, information stored in smart spaces on RF memory tags could even create a sub-Internet of Things where users are the main information transport mechanism rather than the Internet.

A Case Study: Applying Lyra in Modeling S60 Camera Functionality

We present an application of a modeling method for distributed systems to a case study of mobile phone camera functionality based on an existing implementation. The modeling method, Lyra, utilizes formal definitions, in this case UML2 state machines, for behavior We observe the industrial application of the models, for instance modeling conventions and tool support needed to enable it, and the application cases of model based testing and illustration of system properties