|
Home
Members
Events
Projects
Publications
Links
| | The AFM research group meets once every two weeks during each semester.
The meetings normally hold on Friday morning in the Turing Building on the Wheatley Campus of Oxford
Brookes University.
 | Week 6, Friday 9th March,
10am - 12am, Room T2.16 :
|
Reactive/concurrent system design with Honeysuckle
Ian East, AFM, Oxford Brookes University
Abstract. Honeysuckle is a language in which to describe systems with
prioritized service architecture (PSA), whereby processes communicate values and
(mobile) objects deadlock-free under client-server protocol. New elements are
presented that allow the design of such systems, independently of
implementation, but retaining a binding between the two. A syntax for the
description of service composition is presented and illustrated, and the
relation to implementation discussed.
|
Week 8, Friday 23rd March, 10am -
12am, Room T2.16: |
GraSSML: Smart Accessible Schematic Diagrams - A
Semantic Web Approach
Zaineb Ben-Fredj, AFM, Oxford Brookes University
Abstract. Graphics have greatly contributed towards the phenomenal success
of the World Wide Web, providing intuitive mechanisms to understand, explore and
memorize complex information. Their use has made life much easier for most
sighted users, but users with visual disabilities or users who work in
environments where visual representations are inappropriate cannot access
information contained in Web graphics, unless alternative descriptions are
included. It is important to consider accessibility of Web graphics if the WWW
is to reach its full potential.
This talk will describe an approach called Graphical Structure Semantic
Markup Languages (GraSSML) which aims at defining high-level diagram description
languages which capture the structure and the semantics of a diagram from which
accessible and "smart" presentations can be generated in different modalities
such as speech, text, graphic, etc. GraSSML employs Semantic Web technologies to
make the structure and the semantics of the diagram explicit at the creation
stage. This approach opens up new possibilities for allowing Web Graphics to
become accessible and "smart" as they carry their knowledge with them. A
proof-of-concept implementation will be described and demonstrated.
| Week 10, Friday 20th April, 10am -
12am, Room T2.16: |
Automated Testing EJB
Components Based on Algebraic Specifications
Hong Zhu and
Liang Kong, Dept. of Computer Science, National University of Defence
Technology, China
Abstract. Algebraic testing is an automated software testing
method based on algebraic formal specifications. In this method, programs are
tested against algebraic specifications by checking if the equations of a
specification are satisfied. It has the advantages of highly automated testing
process and independence of the software’s implementation details. This talk
reports our recent research results in the application of the method to
software components. An automated testing tool called CASCAT for Java
components will be presented. A case study of the tool will also be reported
to shows the high fault detecting ability.
| Week 12, Friday 4th May, 10am - 12am,
Room T2.16: |
A Virtual machine for Efficient Implementation of
Caste-centric Agent-oriented Programming language
Bin Zhou, Dept. of Computer Science, National University of
Defence Technology, China, Hong Zhu, AFM, Oxford Brookes University
Abstract. An efficient implementation of a
programming language that directly supports the agent-orientation meta-model
is essential for agent-oriented software engineering paradigm to be widely
adopted. In this paper, we reports the design and implementation of a virtual
machine, CAVM, that aims at a flexible and efficient implementation of an
agent-oriented programming language CAOPLE. The virtual machine directly
supports the caste mechanism of agent-orientation and distributed asynchronous
concurrent programming in the internet environment.
|
Applied
Formal Methods Research Group
