Index of /ddi

	Name	Last modified	Size	Description
	Parent Directory		-
	DDI-GT.sml.txt	2014-04-01 07:53	4.0K
	DDI-TELOS-README.txt	2014-04-02 14:34	13K
	DDI2GV.sml.txt	2014-04-01 07:53	5.0K
	DualDeep_Part1.sml.txt	2014-04-01 07:53	8.2K
	DualDeep_Part2.sml.txt	2014-04-01 07:53	7.3K
	DualDeep_Part3.sml.txt	2014-04-01 07:53	10K
	E6.gel	2014-04-11 10:14	34K
	Examples/	2014-03-18 12:39	-
	Fig1-OBJECT.gel	2014-04-11 10:14	37K
	Fig1.gel	2014-04-11 10:14	36K
	License-CC-BY-SA-30.txt	2014-04-01 07:53	6.6K
	VIEWS/	2014-03-18 12:38	-
	addModel.cbs	2014-03-18 12:34	299
	analyzeModel.cbs	2014-03-18 12:34	903
	createdb.cbs	2014-04-11 10:14	1.1K
	exportModel.cbs	2014-03-18 12:34	534
	loop	2013-12-10 11:13	494
	postExport.sh	2013-12-10 11:13	1.0K
	testModel.cbs	2014-03-18 12:34	420

Download Φ Forum Φ Team Φ Home

Dual Deep Instantiation and Its ConceptBase Implementation

• Bernd Neumayr, Manfred A. Jeusfeld, Michael Schrefl, Christoph Schütz: Dual Deep Instantiation and Its ConceptBase Implementation. In: Proceedings CAiSE 2014, Thessaloniki, Greece, June 2014, Springer, LNCS 8484, pp. 503-517, 2014, DOI 10.1007/978-3-319-07881-6_34 (postprint). The slides of the presentation at CAiSE 2014 are available from here.

This directory contains the ConceptBase/Telos sources models for the above paper. It is the implementation of our specification of dual deep instantiation (DDI). By making the source models publicly available we encourage you to investigate them and to adapt them to your needs! Dual deep instantiation is still an open research area and you are welcome to use our results as starting point. We believe that the implementation of the axiomatization greatly helps in finding shortcomings and errors. The source files *.sml.txt, *.cbs, and and *.gel in this directory and its subdirectories are published under the conditions of License-CC-BY-SA-30.txt.

An alternative to DDI is the simpler DeepTelos definition, which addresses deep instantiation via so-called most-general instances rather than the numerical potencies in DDI. DeepTelos is like DDI implemented in ConceptBase.