A semantic framework for open processes