340 search results - page 7 / 68 » Validating Business Requirements Using MAS Analysis Models |
94
Voted
ZEUS
2010
15 years 1 months ago
2010
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to repre...
123
click to vote
WSC
2000
15 years 1 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
92
Voted
VVEIS
2007
15 years 1 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
103
Voted
SE
2007
15 years 1 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
114
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...