News Column

Findings on Software and Systems Research Detailed by Investigators at Vienna University of Technology (Numeric semantics of class diagrams with...

August 7, 2014



Findings on Software and Systems Research Detailed by Investigators at Vienna University of Technology (Numeric semantics of class diagrams with multiplicity and uniqueness constraints)

By a News Reporter-Staff News Editor at Computer Weekly News -- Investigators publish new report on Software and Systems Research. According to news reporting out of Vienna, Austria, by VerticalNews editors, research stated, "We translate class diagrams with multiplicity constraints and uniqueness attributes to inequalities over non-negative integers. Based on this numeric semantics we check the satisfiability and consistency of class diagrams and compute minimal models."

Our news journalists obtained a quote from the research from the Vienna University of Technology, "We show that this approach is efficient and provides succinct user feedback in the case of errors. In an experimental section we demonstrate that general off-the-shelf solvers for integer linear programming perform as well on real-world and synthetic benchmarks as specialised algorithms do, facilitating the extension of the formal model by further numeric constraints like cost functions. Our results are embedded in a research programme on reasoning about class diagrams and are motivated by applications in configuration management."

According to the news editors, the research concluded: "Compared to other (for instance logic-based) approaches our aim is to hide the complexity of formal methods behind familiar user interfaces like class diagrams and to concentrate on problems that can be solved efficiently in order to be able to provide immediate feedback to users."

For more information on this research see: Numeric semantics of class diagrams with multiplicity and uniqueness constraints. Software and Systems Modeling, 2014;13(3):1167-1187. Software and Systems Modeling can be contacted at: Springer Heidelberg, Tiergartenstrasse 17, D-69121 Heidelberg, Germany. (Springer - www.springer.com; Software and Systems Modeling - www.springerlink.com/content/1619-1366/)

Our news journalists report that additional information may be obtained by contacting I. Feinerer, Vienna Univ Technol, A-1060 Vienna, Austria.

Keywords for this news article include: Vienna, Europe, Austria, Software and Systems Research

Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC


For more stories covering the world of technology, please see HispanicBusiness' Tech Channel



Source: Computer Weekly News


Story Tools






HispanicBusiness.com Facebook Linkedin Twitter RSS Feed Email Alerts & Newsletters