Established in 2005 under support of MŠMT ČR (project 1M0572)

Lectures and Presetations

Using Formal Method for QI Information System.

From:
Dec. 20 2005 2:00PM
To:
Dec. 20 2005 2:20PM
Place:
ÚTIA AV ČR
Description:
The new approach in information system automation is process or workflow management. For unskilled user is important, when the business processes of company are described. Then, according to this description are users led correctly in their work. The business (application) model can be caught in finite state machines and its variations. Petri net can be used for process definition in process wizard. Sometimes unclear state occurs, for its description can be fuzzy logic IF-THEN rules used. We explain what process wizard is, what should contain and outline how it could be implement in IS QI. We also introduce Petri nets with fuzzy approach for process description.
attachment4:
 
Copyright 2005 DAR XHTML CSS