CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Customer Validation of Formal Contracts

Rogardt Heldal (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)) ; Kristofer Johannisson
Technical Reports of the Technische Universität Dresden (1430-211X). (2006)
[Konferensbidrag, refereegranskat]

This paper shows how to write formal OCL contracts for system operations in such way that a translation to natural language (a subset of English), understandable by a customer, can be obtained automatically. To achieve natural language text understandable by a customer we use the vocabulary of the problem domain when writing formal contracts for system operations. The benefits of our approach are that we increase the precision of the model by using formal specifications, and that a customer is able to validate (by viewing the natural language rendering) if a contract actually describes the behavior desired from the system. Without validation of this kind there is generally no guarantee that the formal specification states the correct properties.



Denna post skapades 2007-01-15.
CPL Pubid: 25597

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)

Ämnesområden

Datalogi

Chalmers infrastruktur