Transformation patterns - Revision history

imported>Ilya.lopatkin: /* Good things missing */

2013-07-01T13:08:08Z

Good things missing

← Older revision		Revision as of 13:08, 1 July 2013
Line 91:		Line 91:
	== Good things missing ==		== Good things missing ==
	Will be added in next versions:		Will be added in next versions:
	* Feedback on errors to go into standart output (console). At the moment if you do a mistake in a script, a plugin does not give any clue on what it can be.
	* Public entry point to run transformation scripts from other plugins programmatically		* Public entry point to run transformation scripts from other plugins programmatically
	* Support for predicates as syntax trees. For now they're strings only		* Support for predicates as syntax trees. For now they're strings only

imported>Ilya.lopatkin: /* References */

2011-08-18T15:52:53Z

References

← Older revision		Revision as of 15:52, 18 August 2011
Line 100:		Line 100:
	* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]		* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
	* Reference for provided operations: [[Transformation_patterns/Reference]]		* Reference for provided operations: [[Transformation_patterns/Reference]]
			* Developer's email: [mailto:ilya.lopatkin@ncl.ac.uk ilya.lopatkin@ncl.ac.uk]


	[[Category:Plugin]]		[[Category:Plugin]]
	[[Category:User documentation]]		[[Category:User documentation]]

imported>Mathieu: /* References */

2011-08-01T07:08:07Z

References

← Older revision		Revision as of 07:08, 1 August 2011
Line 100:		Line 100:
	* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]		* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
	* Reference for provided operations: [[Transformation_patterns/Reference]]		* Reference for provided operations: [[Transformation_patterns/Reference]]


			[[Category:Plugin]]
			[[Category:User documentation]]

imported>Ilya.lopatkin: /* User input cache */

2011-07-06T16:02:23Z

User input cache

← Older revision		Revision as of 16:02, 6 July 2011
Line 45:		Line 45:
	== User input cache ==		== User input cache ==

	The plugin contains a cache of objects (~~Event-B~~ EMF elements and strings) entered by a user. If during the execution a pattern requires to enter an object more than once, then at the first time the user will be asked for input, and the result will be cached. All subsequent requests will return the cached object unless the record about the object is erased.		The plugin contains a cache of objects (EMF elements and strings) entered by a user (or external program). If during the execution a pattern requires to enter an object more than once, then at the first time the user will be asked for input, and the result will be cached. All subsequent requests will return the cached object unless the record about the object is erased.

	The cache can be accessed directly from within the scripts, and used as a means to pass the objects between different transformations without them knowing the actual source of input. Thus, the input can be extended to other domain-specific EMF models.		The cache can be accessed directly from within the scripts, and used as a means to pass the objects between different transformations without them knowing the actual source of input. Thus, the input can be extended to other domain-specific EMF models.

imported>Ilya.lopatkin at 15:52, 6 July 2011

2011-07-06T15:52:44Z

← Older revision		Revision as of 15:52, 6 July 2011
Line 88:		Line 88:

	[http://rodinmodeftview.sourceforge.net/patterns/samples/fmea_generate_abstract.ptrn fmea_generate_abstract.ptrn]		[http://rodinmodeftview.sourceforge.net/patterns/samples/fmea_generate_abstract.ptrn fmea_generate_abstract.ptrn]

			== Good things missing ==
			Will be added in next versions:
			* Feedback on errors to go into standart output (console). At the moment if you do a mistake in a script, a plugin does not give any clue on what it can be.
			* Public entry point to run transformation scripts from other plugins programmatically
			* Support for predicates as syntax trees. For now they're strings only

	== References ==		== References ==

imported>Ilya.lopatkin at 16:37, 4 July 2011

2011-07-04T16:37:23Z

← Older revision		Revision as of 16:37, 4 July 2011
Line 90:		Line 90:

	== References ==		== References ==
	* [http://www.eclipse.org/gmt/epsilon/ Epsilon]		* [http://www.eclipse.org/gmt/epsilon/ Epsilon site]
	* [http://dev.eclipse.org/svnroot/modeling/org.eclipse.gmt.epsilon/trunk/doc/org.eclipse.epsilon.book/EpsilonBook.pdf The Epsilon Book]		* [http://dev.eclipse.org/svnroot/modeling/org.eclipse.gmt.epsilon/trunk/doc/org.eclipse.epsilon.book/EpsilonBook.pdf The Epsilon Book]
	* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]		* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
	* Reference for provided operations: [[Transformation_patterns/Reference]]		* Reference for provided operations: [[Transformation_patterns/Reference]]

imported>Ilya.lopatkin at 16:35, 4 July 2011

2011-07-04T16:35:20Z

← Older revision		Revision as of 16:35, 4 July 2011
Line 81:		Line 81:
	# Install the pattern plugin from [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]		# Install the pattern plugin from [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
	# Copy file [http://rodinmodeftview.sourceforge.net/patterns/system.eol http://rodinmodeftview.sourceforge.net/patterns/system.eol] to your project folder		# Copy file [http://rodinmodeftview.sourceforge.net/patterns/system.eol http://rodinmodeftview.sourceforge.net/patterns/system.eol] to your project folder

			== Samples ==
			[http://rodinmodeftview.sourceforge.net/patterns/samples/atomic.ptrn atomic.ptrn]

			[http://rodinmodeftview.sourceforge.net/patterns/samples/extendAll.ptrn extendAll.ptrn]

			[http://rodinmodeftview.sourceforge.net/patterns/samples/fmea_generate_abstract.ptrn fmea_generate_abstract.ptrn]

	== References ==		== References ==

imported>Ilya.lopatkin at 13:40, 4 July 2011

2011-07-04T13:40:05Z

← Older revision		Revision as of 13:40, 4 July 2011
Line 81:		Line 81:
	# Install the pattern plugin from [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]		# Install the pattern plugin from [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
	# Copy file [http://rodinmodeftview.sourceforge.net/patterns/system.eol http://rodinmodeftview.sourceforge.net/patterns/system.eol] to your project folder		# Copy file [http://rodinmodeftview.sourceforge.net/patterns/system.eol http://rodinmodeftview.sourceforge.net/patterns/system.eol] to your project folder

			== References ==
			* [http://www.eclipse.org/gmt/epsilon/ Epsilon]
			* [http://dev.eclipse.org/svnroot/modeling/org.eclipse.gmt.epsilon/trunk/doc/org.eclipse.epsilon.book/EpsilonBook.pdf The Epsilon Book]
			* Transformation patterns plugin update site: [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
			* Reference for provided operations: [[Transformation_patterns/Reference]]

imported>Ilya.lopatkin: /* Syntax example */

2011-07-04T13:36:40Z

Syntax example

← Older revision		Revision as of 13:36, 4 July 2011
Line 25:		Line 25:
	machine.newEvent(absEvent.name + "_ref_" + num).addRefines(absEvent);		machine.newEvent(absEvent.name + "_ref_" + num).addRefines(absEvent);

	The plugin is currently tested using EOL only, however it is theoretically possible to import and use files written in other Epsilon languages. The description of syntax and facilities provided by Epsilon can be found in the first few sections of [http://dev.eclipse.org/svnroot/modeling/org.eclipse.gmt.epsilon/trunk/doc/org.eclipse.epsilon.book/EpsilonBook.pdf The Epsilon Book].		The plugin is currently tested using EOL only, however it is theoretically possible to import and use files written in other Epsilon languages. The description of syntax and facilities provided by Epsilon can be found in the first few sections of [http://dev.eclipse.org/svnroot/modeling/org.eclipse.gmt.epsilon/trunk/doc/org.eclipse.epsilon.book/EpsilonBook.pdf The Epsilon Book]. The full list of operations for handling user input and modifying Event-B elements can be found in [[Transformation_patterns/Reference]]

	== How to run a pattern ==		== How to run a pattern ==

imported>Ilya.lopatkin at 13:30, 4 July 2011

2011-07-04T13:30:20Z

← Older revision		Revision as of 13:30, 4 July 2011
Line 40:		Line 40:

	On the code above, inputMachine("target") returns an EMF model of the machine upon which the pattern is run.		On the code above, inputMachine("target") returns an EMF model of the machine upon which the pattern is run.

			Pattern files are text files. To create/rename/delete them use standard Eclipse wizards and explorer.

	== User input cache ==		== User input cache ==
Line 75:		Line 77:

	== How to install ==		== How to install ==
	Install the Epsilon framework from ...		To use the transformation pattern plugin the following are required:
			# Install the Epsilon framework from [http://download.eclipse.org/modeling/gmt/epsilon/updates/ http://download.eclipse.org/modeling/gmt/epsilon/updates/]
	Install the pattern plugin from ~~the update site~~		# Install the pattern plugin from [http://rodinmodeftview.sourceforge.net/ http://rodinmodeftview.sourceforge.net/]
			# Copy file [http://rodinmodeftview.sourceforge.net/patterns/system.eol http://rodinmodeftview.sourceforge.net/patterns/system.eol] to your project folder
	Copy file system.eol to your project folder