OOLH: A formal framework for specifying system requirements
| dc.contributor.author | Hon, Yuen Man | |
| dc.contributor.author | Gayen, Jan-Tecker | |
| dc.contributor.author | Ehrich, Hans-Dieter | |
| dc.contributor.editor | Hesse, Wolfgang | |
| dc.contributor.editor | Oberweis, Andreas | |
| dc.date.accessioned | 2019-04-03T13:21:50Z | |
| dc.date.available | 2019-04-03T13:21:50Z | |
| dc.date.issued | 2008 | |
| dc.description.abstract | Most of the system requirements are written in natural language. It is not easy for the system development team to understand this document unambiguously without domain specific knowledge. It is difficult to check the correctness of these requirements. A formal framework called Object Oriented Lastenheft (German for re- quirements specification) (OOLH) is proposed as a solution to handle these problems 1. This framework provides well-defined mathematical concepts to formulate system requirements. These well-formalized system requirements can be analyzed and understood easier and their consistency can be checked based on the mathematical concepts. A tool, called OOLH tool, is implemented to support analyzing, verifying and checking consistency of formulas in OOLH. Logical formulas can be transformed into decision tables and truth tables. The expected behavior or a design can be specified in decision tables in this tool, such that the correctness of requirements can be verified. | en |
| dc.identifier.isbn | 978-3-88579-223-9 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21465 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-129 | |
| dc.subject | formal system requirements | |
| dc.subject | consistency | |
| dc.subject | correctness | |
| dc.subject | analysis | |
| dc.subject | verify | |
| dc.title | OOLH: A formal framework for specifying system requirements | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 77 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 75 | |
| gi.conference.date | June 12 - 13, 2008 | |
| gi.conference.location | Marburg | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1