In this talk we give a short overview of the state-of-the-art study done within the ArchiMate project. The purpose of this study is to give an overview of the state-of-the-art in the fields of (1) architectural research and (2) enterprise modeling tools. In the first overview, we concentrate on known …
read moreFinitary Coalgebraic Modal Logic (Canonical Models and Compactness)
Joint work with Dirk Pattinson, Ludwig-Maximilians-Universität, Munich.
In contrast to previous talks about the relationship between coalgebras and modal logic, the emphasis of this presentation is on finitary modal logics. That is, syntactically I focus on basic modal logic and semantically on finite approximations of infinite behaviours.
I begin with …
read moreThe type of a component
In this talk we generalize the functional object model introduced by Pierce and Turner to a functional component model. This extension will require a notion of set types built on top of a higher order polymorphism lambda calculus.
read moreObjects, components, and types (how to unify different research lines)
What are components? How do they interact? Why do we need them?
In this talk we answer these questions by introducing a novel component model. Furtehr we will sketch some type-theretical and semantical issues related to this notion of component.
read moreA Scriptable Planner Using Python as a Problem Definition Language
This Master's thesis project has been conducted at the ALP group of LIACS, the Leiden Institute of Advanced Computer Science. The supervisors have been drs. J. I. van Hemert and dr. W. A. Kosters. Jano van Hemert has been doing earlier reasearch on Constraint Satisfaction Problems (CSPs) and Evolutionary Algorithms …
read moreA gentle overview of categories and enriched categories
Category theory has been successful in mathematics and computer science. It is a very useful language to describe external properties of mathematical objects. It serves to compare mathematical theories when viewed as categories. Eventually category theory is also nice and has its own concepts: adjunctions, yoneda Lemma, Kan extensions..
Enriched …
read moreThe TRIAL-SOLUTION project: keyphrase recognition in mathematical textbooks
TRAIL-SOLUTION stands for: Tools for Reusable Integrated Adaptable Learning - Systems/standards for Open Learning Using Tested Interoperable Objects and Networking. This is an IST project, funded by the European Commission, in which a number of universities, research institutes, software houses and publishers cooperate.
The central objective of the project is …
read moreGSOS for probabilistic transition systems
The talk will be about a recently finished paper of the same name (obtainable via my homepage at http://www.cwi.nl/~bartels).
Transition systems are often specified by operational rules in GSOS format, the models of which are known to be well behaved in many respects. Turi and Plotkin …
read moreC-six: constructing a coinductive and compositional calculus of component connectors
Note that the presentation exceptionally will be given on a Wednesday.
We present an abstract version of (a fragment of) Reo, a framework for building component connectors out of channels, recently introduced by Farhad Arbab A relational model will be constructed in terms of streams, that is, infinite sequences. The …
read moreA coordination-based framework for parallel constraint solving
In this talk, I will present a framework for the configuration of parallel constraint solvers. The framework is implemented in the Manifold coordination language, and provides coordination services to software components in four categories: domain types for the variables of a constraint satisfaction problem (CSP), (incomplete) constraint solvers that reduce …
read more