Temporal networks

Integrace plánování rozvrhování vyžaduje hledání nových přístupů problému rozvrhování. Rozvrhovací systém musí být schopen poskytnout užitečné informace plánovači, aby se zabránilo vytvářní neuskutečnitelných plánů. Pro rozvrhování založené na splňování omezujících podmínek je možné de novat vlastní fi ltrační pravidla a tak zefektivnit řešící algoritmus. Pokud filtrační pravidla využívají informace sdělené plánovačem a rozvrhovacím systémem (např. precedenční a nebo temporální podmínky), výstup těchto pravidel je mozné poskytnout plánovači, který je může s výhodou využít. V této práci je navržena filtrační metoda, která využívá temporální vztahy mezi aktivitami alokovanými na jeden nebo více disjunktivních zdrojů. Práce také popisuje sadu propagačnch pravidel založených na kombinaci ruzných fi ltračních technik.Integration of planning and scheduling requires new approaches to the scheduling problem. The scheduler must be able to provide useful information for the planner in order to avoid generation of unfeasible plans. In constraint-based scheduling it is possible to de ne custom ltering rules that improve the solving procedure. If the ltering rules exploit the information shared by the planner and the scheduler (e.g. precedence or temporal constraints), the outcome of these rules can be used to provide useful hints for the planner. This work presents a ltering technique that exploits temporal relations between a set of activities allocated to one or more disjunctive resources. The work also presents a set of propagation rules for constraint-based scheduling based on various ltering techniqes.Department of Theoretical Computer Science and Mathematical LogicKatedra teoretické informatiky a matematické logikyFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

Imperative vs. Deklarative Prozessmodellierung - Eine kritische Betrachtung

Sowohl die Abbildung von Geschäftsprozessen in Form von Prozessmodellen, als auch die damit verbundene Verwaltung der Prozessmodelle mit Hilfe von Business Process Management, ist in den letzten Jahren zu einem wichtigen Forschungsgebiet geworden. Darüber hinaus etabliert sich dieses Thema zusehends in der Industrie. Für die Abbildung von Geschäftsprozessen existieren zwei gegensätzliche Paradigmen: die imperative und die, im Gegensatz dazu relativ junge, deklarative Prozessmodellabbildung. Hier stellt sich die Frage, in wie weit sich diese beiden Abbildungsparadigmen unterscheiden bzw. welches Abbildungsparadigma für welche Art von Geschäftsprozess besser geeignet ist. Ziel dieser Arbeit ist daher der kritische Vergleich dieser beiden Prozessmodellierungsparadigmen anhand realer Prozessbeispiele. Hierzu werden bei der Migration der Prozessmodelle von einem imperativen in ein deklaratives Schema verschiedene Aspekte aufgezeigt, die mit der deklarativen Prozessmodellierung nicht bzw. nur unzureichend erfasst werden können. Anhand der untersuchten Prozessmodelle werden anschließend die Grenzen der Abbildbarkeit durch die beiden Prozessmodellparadigmen aufgezeigt und Lösungsstrategien für die Realisierung problematischer Aspekte entwickelt. Nachfolgend werden die entstandenen Prozessmodelle hinsichtlich Vollständigkeit, Korrektheit Verständlichkeit, Granularität sowie hinsichtlich deren Flexibilität bewertet und verglichen

Incremental Filtering Algorithms for Precedence and Dependency Constraints

Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the activities – for example, an activity requires presence of another activity in the plan. For such problems a typical objective is a maximization of the number of activities satisfying the precedence and dependency constraints. In the paper we propose new incremental filtering rules integrating propagation through both precedence and dependency constraints. We also propose a new filtering rule using the information about the requested number of activities in the plan. We demonstrate efficiency of the proposed rules on the logbased reconciliation problems and min-cutset problems. 1