From till at iws.cs.uni-magdeburg.de Sat Aug 1 06:53:48 2015 From: till at iws.cs.uni-magdeburg.de (Till Mossakowski) Date: Sat, 01 Aug 2015 06:53:48 +0200 Subject: [Flirts] Call for final comments on DOL, an institution-independent, OMG-standardized language Message-ID: <55BC50DC.5090104@iws.cs.uni-magdeburg.de> Dear friends, the Distributed Ontology, Modeling and Specification Language (DOL) is about to become an OMG standard at the next OMG meeting in Cambridge, MA, in September. Features of DOL include - ontologies, models ans specifications as logical theories in some institution, - an institution-independent semantics, of - structuring constructs like translation and hiding from well-known specification languages like CASL - more specialized constructs like module extraction, circumscription and uniform interpolation - heterogeneous translation and reduction along institution (co)morphisms - views, refinements and alignments - networks (diagrams) of ontologies, models and specifications, and their colimits The current DOL document is available at https://github.com/tillmo/DOL Comments are welcome! Please try to comment before August 21st because then we can incorporate your comments into the final version that will be submitted for voting to OMG. All the best, Till