Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies

Formal Verification of Medical Device User Interfaces Using PVS

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54804-8_14 ◽

2014 ◽

pp. 200-214 ◽

Cited By ~ 25

Author(s):

Paolo Masci ◽

Yi Zhang ◽

Paul Jones ◽

Paul Curzon ◽

Harold Thimbleby

Keyword(s):

Formal Verification ◽

Medical Device ◽

User Interfaces ◽

Device User

Download Full-text

Semantic User Interfaces

Enterprise Information Systems and Advancing Business Solutions ◽

10.4018/978-1-4666-1761-2.ch015 ◽

2012 ◽

pp. 253-267

Author(s):

Károly Tilly ◽

Zoltán Porkoláb

Keyword(s):

User Interface ◽

User Interfaces ◽

System Development ◽

Reusable Components ◽

Domain Specific ◽

Service Oriented ◽

Program Composition ◽

Domain Ontologies ◽

Full Separation ◽

Oriented Approach

Semantic User Interfaces (SUIs), are sets of interrelated, static, domain specific documents having layout and content, whose interpretation is defined through semantic decoration. SUIs are declarative in nature. They allow program composition by the user herself at the user interface level. The operation of SUI based applications follow a service oriented approach. SUI elements referenced in user requests are automatically mapped to reusable service provider components, whose contracts are specified in domain ontologies. This assures semantic separation of user interface components from elements of the underlying application system infrastructure, which allows full separation of concerns during system development; real, application independent, reusable components; user editable applications and generic learnability. This article presents the architecture and components of a SUI framework, basic elements of SUI documents and relevant properties of domain ontologies for SUI documents. The basics of representation and operation of SUI applications are explained through a motivating example.

Download Full-text

Semantic User Interfaces

International Journal of Enterprise Information Systems ◽

10.4018/jeis.2010120203 ◽

2010 ◽

Vol 6 (1) ◽

pp. 29-43 ◽

Cited By ~ 2

Author(s):

Károly Tilly ◽

Zoltán Porkoláb

Keyword(s):

User Interface ◽

User Interfaces ◽

System Development ◽

Separation Of Concerns ◽

Reusable Components ◽

Domain Specific ◽

Service Oriented ◽

Program Composition ◽

Domain Ontologies ◽

Full Separation

Semantic User Interfaces (SUIs), are sets of interrelated, static, domain specific documents having layout and content, whose interpretation is defined through semantic decoration. SUIs are declarative in nature. They allow program composition by the user herself at the user interface level. The operation of SUI based applications follow a service oriented approach. SUI elements referenced in user requests are automatically mapped to reusable service provider components, whose contracts are specified in domain ontologies. This assures semantic separation of user interface components from elements of the underlying application system infrastructure, which allows full separation of concerns during system development; real, application independent, reusable components; user editable applications and generic learnability. This article presents the architecture and components of a SUI framework, basic elements of SUI documents and relevant properties of domain ontologies for SUI documents. The basics of representation and operation of SUI applications are explained through a motivating example.

Download Full-text