The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exemplified on a case study, a Drink Vending Machine (DVM). It is based on Operation Schemas and a Protocol Model. The Protocol Model describes the temporal ordering of the system operations by an UML protocol statemachine. An Operat...

To verify UML specifications, we need formal specification, that is a well-known difficulty. Since UML allows both the use of data types and dynamic specifications, the verification of temporal logic properties leads to other problems. This paper presents an example of a system specified in UML and completed with a formal and component-oriented approach. We use an algebraic approach called Grap...

We focus on the ability of two analytical usability evaluation methods (UEMs), namely CASSM (Concept-based Analysis for Surface and Structural Misfits) and Cognitive Walkthrough, to identify usability issues underlying the use made of two London Underground ticket vending machines. By setting both sets of issues against the observed interactions with the machines, we assess the similarities and...

We developed a tangible entertainment system that enables to play video game with physical collectibles as game components. It consists of a capsule toy vending machine with LCD panel, capsule toys with embedded RFID tags, an RFID sensor board and a computer. Nowadays a huge amount of collectibles is sold: baseball cards, dollhouse miniatures, character figures, candy tins, and so on. Usually, ...

BACKGROUND Accurate assessment of energy intake is difficult but critical for the evaluation of eating behavior and intervention effects. Consequently, methods to assess ad libitum energy intake under controlled conditions have been developed. OBJECTIVE Our objective was to evaluate the reproducibility of ad libitum energy intake with the use of a computerized vending machine system. DESIGN...

2. You can feel like trying to get a coke out of a vending machine, you are having some problems with it, you are working hard and finally get your can. 3. You can feel like entering a room, the room contains only one chair, no other furniture, on the chair there is leaning a small board that has some writing on it, you are bending forward in order to read it, and it says: You are not welcome h...

This set of notes explains the process that Prof. Jones used to develop the FSM for the lab. The lab simulates a vending machine mechanism for automatically identifying coins (dimes and quarters only), tracking the amount of money entered by the user, accepting or rejecting coins, and emitting a signal when a total of 35 cents has been accepted. In the lab, we will only drive a light with the “...