Paper Info
Title
Applying Fondue to Specify a Drink Vending Machine
Abstract
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 exemplied on a case study, a Drink Vending Machine (DVM). It is based on Operation Schemas and a Protocol Model. The Protocol Model describes the tem- poral ordering of the system operations by an UML protocol statemachine. An Operation Schema describes the functionality of a system operation by pre- and postconditions; they are written in the Object Constraint Language (OCL), with a few amendments and extensions. Our approach oers a middle ground between the informal descriptions of Use Cases and the solution-oriented models of object interaction in UML. We believe that declarative behavioral specication techniques, like the one proposed in this paper, lead to more condence in the quality of the software because they allow one to reason about system properties.
Year
DOI
Venue
2004
10.1016/j.entcs.2003.09.008
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
unied modeling language uml,object-oriented software development,formal specication,software specication,software development method,object constraint language ocl,fondue software development method.,object constraint language,software development,use case
Programming language,Unified Modeling Language,UML tool,Computer science,Model-driven architecture,Formal specification,Applications of UML,Software requirements specification,Object Constraint Language,Software development
Journal
Volume
ISSN
Citations 
102,
Electronic Notes in Theoretical Computer Science
2
PageRank 
References 
Authors
0.46
5
3
Name
Order
Citations
PageRank
Alfred Strohmeier138358.10
Thomas Baar220.46
Shane Sendall343027.35