DeepTelos1 Φ MULTI-2019 Challenge Φ Download Φ Forum Φ Team Φ Home

DeepTelos Demonstration (DeepTelos2)

This directory contains the implementation and examples for the paper

Manfred A. Jeusfeld: DeepTelos Demonstration.
Original paper appeared in Proc. 2019 ACM/IEEE 22nd International Conference on 
Model Driven Engineering Languages and Systems Companion(MODELS-C 2019), 
Workshop MULTI 2019, Munich, Germany, DOI 10.1109/MODELS-C.2019.00019 (slides).

The source models (*.sml.txt,*.cbs) in this directory (see directory listing at the bottom of this page) and their derivates (*.gel,*.png) are provided under a CC BY-SA 4.0 license: Attribution-ShareAlike 4.0 International.

The examples in this directory use DeepTelos Revision 2. The main difference to DeepTelos1 is that DeepTelos2 provides a better integration with the Telos specialization construct.

You need ConceptBase 8.1 released September 2019 or later to test the implementation. Download it from http://conceptbase.cc.

You can configure your ConceptBase installation to directly start the example graph files (*.gel). The graph files contain all necessary Telos definitions including the DeepTelos axioms and the dedicated graphical types. You only need to configure your web browser to open the CBGraph utility when you click a graph file. The procedure is simple:

Use your Web browser (e.g. Firefox) to click on a link to a graph file like deeptelos.gel. The browser shall ask you whether to download the file or associate an application. Choose to associate an application. Then, browse to the installation directory of ConceptBase.cc. Type for Windows "cbgraph.bat" and for other platforms "cbgraph" in the filename field and press OK. Afterwards, a click on a link to a graph file shall directly start CBGraph. Our web servers of ConceptBase use as Mime type for graph files application/cbgraphfile or application/x-cbgraphfile. The latter is preferred.

The above paper PDF contains links to the ConceptBase graph files in this directory. Hence, you can also start them up from the PDF paper.

Manfred Jeusfeld, 2019-10-19

Index of /deeptelos2

Name	Last modified	Size

Parent Directory		-
01-person.gel	2019-08-22 12:23	16K
01-person.png	2019-08-22 12:23	9.1K
02-person.gel	2019-10-21	-
02-person.png	2019-10-21	-
AAA-INSTRUCTIONS.txt	2019-08-10 09:16	2.3K
COPYRIGHT.txt	2019-08-10 09:16	369
MULTISATDB.zip	2019-08-10 09:16	90K
SOURCES/	2019-06-25 13:03	-
deeptelos.gel	2019-06-13 12:16	14K
deeptelos.png	2019-06-13 12:16	4.3K
entitiesvalues.gel	2019-06-13 12:16	18K
entitiesvalues.png	2019-06-13 12:16	12K
multisat1.gel	2019-06-14 11:27	21K
multisat1.png	2019-06-14 11:27	9.6K
multisat2.gel	2019-06-14 11:27	22K
multisat2.png	2019-06-14 11:27	16K
multisat3.gel	2019-06-14 11:27	22K
multisat3.png	2019-06-14 11:27	25K
multisat4.gel	2019-06-14 11:27	22K
multisat4.png	2019-06-14 11:27	33K
multisat5.gel	2019-06-14 11:27	23K
multisat5.png	2019-06-14 11:27	53K
products.gel	2019-06-13 12:16	17K
products.png	2019-06-13 12:16	20K
telos.gel	2019-06-13 12:16	5.2K
telos.png	2019-06-13 12:16	14K
twolevelrules.gel	2019-06-13 12:45	18K
twolevelrules.png	2019-06-13 12:45	21K