SBEAVER: A Tool for Modeling Business Vocabularies and Business Rules

摘要

Methodologies in software development are typically applied when a problem is already formulated and described. Software developers transform requirements into code with a relatively repetitive process. The actual difficulty lies in describing business needs and expected functionalities. Stakeholders involved in software development can express their ideas using a language close to them, but they usually are not able to formalize these concepts in a clear and unambiguous way. In this paper, we introduce a new tool intended primarily for business analysts and modelers who want to formalize their business knowledge using a business oriented notation based on natural language and fact-oriented approach. Moreover, the capability to map models to formal logic allows automatically generation of IT system design artifacts bridging the existing language gap between business and IT.