Environmental Modeling with UML

Autor:	Adriaan de Groot, Jozef Hooman
Rok vydání:	2004
Předmět:	UML tool Computer science Programming language Software requirements specification Applications of UML computer.software_genre Formal methods Unified Modeling Language Formal specification Systems design Class diagram computer Object Constraint Language computer.programming_language
Zdroj:	Formal Methods for Embedded Distributed Systems ISBN: 9781402079962 Formal Methods for Embedded Distributed Systems
DOI:	10.1007/1-4020-7997-4_4
Popis:	This chapter uses the Unified Modeling Language (UML) and the theorem prover PVS to formalize and analyze a part of the BART/AATC system. Our approach to the formalization and analysis takes five steps within which we iterate a number of activities, both for constructing and validating UML diagrams of the system. We find inconsistencies and omissions in the informal requirements specification and produce a formal specification which we can use for further system design. A simple UML model of the behavior of the train is created, and a controller is designed and proven to be correct within that model.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::97418180d5cc43ea32cab0c2608c84d9 https://doi.org/10.1007/1-4020-7997-4_4 Zobrazit plný text záznamu