Designing of information systems for public authorities

Existing barriers and problems at the statement of problems on designing of new information systems at public authorities’ demand new approaches to the modeling of business processes. The application of the notation of BPMN-models with the use of a graphic platform of modeling of business processes Oryx is offered in the paper. The verification mechanism of a model and elimination of structural conflicts on Petri of WF-model transformed to a network is defined. The scenary approach to the formation of the specification of developed program applications is offered.