Information systems for the support of complex business processes are often equipped with web-based front-ends to allow convenient user access. To produce executable specifications of the users’ interactions with such web-based applications, we use a visual language that enables developers to model their complex dialog structures. In this paper, we introduce the formal semantics of the core constructs of this Dialog Flow Notation: We define its syntax in terms of invariants about the permitted elements and their relations, and show how any words of the language (i.e. any syntactically correct dialog flow specifications) can be mapped to a deterministic pushdown automaton whose behavior defines the notation’s semantics. This gives us and other tool developers a formal basis for the design and implementation of tools and frameworks that mirror the precise meaning of all DFN constructs.

This work deals with the planning of teaching and exams schedules at the Faculty of Information Technology of the Brno University of Technology. The goal is to design and create a new web-based information system that will help to create new schedules and allow students to be involved in the planning process. The application will be tailored to the requirements of the faculty, whose detailed analysis forms the first part of this work. The second part deals in detail with the design, implementation and testing of the created application, which was already used in planning the actual schedules.

This thesis deals with the analysis, proposal and implementation of part of the information system for a selected subject, specifically the proposal of a website including a web application for content management of selected parts of the website. For a successful proposal solution it is very important the first analysis together with requirements of the contracting authority. The graphic design phase occurs after analysis and is followed by the development of the website and the application for content management. After testing and agreement of the proposal solution from the contracting authority the website and application are implemented to the server site. In the final part of the thesis an economic evaluation and benefit’s analysis of the proposal solution are done.