Stochastic model checking is a recent extension of traditional model-checking techniques for the integrated analysis of both qualitative and quantitative system properties. This paper shows how stochastic model checking can be conveniently used to address a number of usability concerns that involve quantitative aspects of a user interface for the industrial groupware system thinkteam. thinkteam is a ready-to-use Product Data Management application developed by think3. Several aspects of the functional correctness, such as concurrency aspects and awareness aspects, of the groupware protocol underlying thinkteam and of its planned publish/subscribe notification service have been addressed in previous work by means of a traditional model-checking approach.
Did you find this white paper useful?
25 out of 50 users found this white paper useful
Related white papers
Testing Ethernet Networks for the ATLAS Data Collection System
This paper reports recent work on Ethernet traffic generation and analysis. The paper uses Gigabit Ethernet NICs running customized embedded software and custom-built 32-port Fast Ethernet boards based on FPGAs...
Microsoft Solution Helps Nielsen Company Track Business More Effectively
Nielsen Media Research, part of the Nielsen Company, is the world's leading provider of television, radio, and print audience measurement and advertising information services. Nielsen Media had more than 30...
Outbound Email and Data Loss Prevention in Today's Enterprise, 2008
How concerned are companies about the content of email leaving their organizations? And how do companies manage the legal and financial risks associated with outbound email? To find out, Proofpoint...
PEM Division of BHEL Improves Team Collaboration and Customer Satisfaction
Bharat Heavy Electricals Limited (BHEL), one of the largest manufacturing and engineering companies in India, has over 180 products in the energy and energy infrastructure sectors. The Project Engineering Management...
SQL Server 2005 Administration
Learn to administer and tune SQL Databases and Servers. Description: Get the knowledge and skills you need to maintain a Microsoft SQL Server 2005 database in this 5-day course. Learn how to...
Microsoft Exchange Server 2007
Learn about Exchange 2007 and how to leverage its features. Description: Exchange Server 2007 is the latest version of Microsoft's premier messaging application. In this hands-on course, you'll learn to install and...
Powerful Data Warehousing Performance With IBM Red Brick Warehouse
A data warehouse typically provides business intelligence value through an Relational DataBase Management System (RDBMS) optimized for OnLine Analytical Processing (OLAP), which deals with extracting and viewing data from different...
