UC-B: Use Case Modelling with Event-B

Autor:	Rajiv Murali, Gudmund Grov, Andrew Ireland
Rok vydání:	2016
Předmět:	Underpinning Computer science business.industry Language of mathematics Unified Modeling Language Component (UML) Systems engineering System level Use case Use-case analysis Software engineering business Use case modelling computer computer.programming_language
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319335995 ABZ
Popis:	Use cases are a popular but informal technique used to define and analyse system behaviour. We introduce UC-B a plug-in for the Rodin platform Event-B tool that supports the authoring and management of use case specifications with both informal and formal components. The formal component is based on Event-B's mathematical language. Once the behaviour of the use case is specified, UC-B automatically generates a corresponding Event-B model. The resulting model is then amenable to the Rodin verification tools that enable system level properties to be verified. By underpinning informal use case modelling with Event-B we are able to provide greater precision and formal assurance during the early stages of design.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::000d9ee2303b2f7f3d15ee2dc4797d8c https://doi.org/10.1007/978-3-319-33600-8_24 Zobrazit plný text záznamu