0 users and 50 guests online

ITSLE 2011

Industrial Track of Software Language Engineering 2011

 

Tags

Dear colleagues,

The SLE conference has grown to become the major venue for:

  • research results in fundamentals of software language engineering, as well as applications of software language engineering
  • cross fertilization between grammarware, modelware, ontologyware, etc.
In 2011 SLE also had a series of succesful workshops, which led to industrial participation among other great things such as more people and more cross fertilization.
You are cordially invited to propose a workshop to be co-located with SLE.

SLE will be in Dresden (September 2012) and it is co-located with the GPCE conference.
Possible ideas for workshop forms are:
  • competition
  • hackfest
  • tutorial
  • mini-conference
  • brainstorm
Please send an email to Jurgen.Vinju@cwi.nl (workshop selection chair) to discuss options.

 


Last week, we have notified the authors that had submitted a solution in time for the early submission deadline.  In the notification of acceptance, we included the following text fragment, which explains to authors how they can use some recent features of SHARE to streamline the publication workflow.  I copy the fragment as a template here, in order to make it reusable for other workshops/conferences/journals.

Congratulations: your submission [*TITLE*] is accepted for presentation at the workshop.  Your submission has been reviewed by peers on the TTC forums and has been evaluated by the organizing committee as well.

Your submission will be included in the informal pre-proceedings, as announced in the call for solutions.  To streamline the publication workflow, we enable you to complete the metadata of your submission via SHARE.  Please consider http://screenr.com/1ny to learn how you can update the human-readable title that we have assigned to your SHARE demo(s).  You can also update the description that we have assigned to your demo(s).  For one, you can include a link to the online PDF of your solution description.  Also, you can inlude links to other artifacts such as screencasts and follow-up papers. 

This meta-data will be visible on the TTC website, as well as in RSS feeds (e.g., http://feeds.feedburner.com/TTC11) and related Twitter news items, for example based on the "TTC 2011 - accepted" list in SHARE (http://is.ieis.tue.nl/staff/pvgorp/share/?page=ViewImageList&list=TTC 2011 - accepted) or image searches for bundle TTC11 (http://is.ieis.tue.nl/staff/pvgorp/share/?page=LookupImage&bNameSearch=ttc11).  Good meta-data can help in disseminating the TTC results (and your solution in particular) to a wider audience (e.g., via search engine indexing: http://lmgtfy.com/?q=ttc11+share).  

In a broader context, you can also define your own image lists (how: see http://screenr.com/wry) for showcasing all your SHARE demo(s) -- including these from previous TTCs or other outlets.  There is also a Twitter account (@SHAREdemos) that announces new SHARE demos automatically to its followers.  Your SHARE demo was announced there some minutes after you had published it.  This account simply uses SHARE's Search&RSS features together with the TwitterFeed.com service.  You can simply adopt the same approach to automatically broadcast news items related to your tool specifically.  The GROOVE team can for example use the RSS feed URL mentioned on http://is.ieis.tue.nl/staff/pvgorp/share/?page=LookupImage&vdiNameSearch=groove to configure an according TwitterFeed.com account.

 

I hope you find this template useful.  If you have any adaptation or a suggestion for improving this template, please do not hesitate to let me know via the blog comments or via an e-mail.

Sincerely,
Pieter Van Gorp


Review of GRETL "Hello World"

Posted by: Kevin Lano

Tagged in: Untagged 

Kevin Lano

GRETL:
1) *** SUBMISSION TITLE: Hello World Case Study Transformation Specification
2) *** REVIEWER NAME: K. Lano
3) *** OVERALL EVALUATION:
2 (accept)
4) *** REVIEWER'S CONFIDENCE:
2 (medium)
5) *** SOLUTION REPRODUCIBILITY (SEE http://planet-
research20.org/ttc2011/index.php?
option=com_content&view=article&id=122&Itemid=158 AND THE CALL): from 1 (lowest)
to 4 (highest)
4 (Paper (with appendix) + SHARE demo available
6) *** PAPER READABILITY: from 1 (lowest) to 5 (highest)
3 (fair)
7) *** CASE SPECIFIC SCORE FOR CORE SOLUTION (E.G. CORRECTNESS, CONCISENESS,
CLARITY): from 1 (lowest) to 5 (highest)
4 (good)
8) *** CASE SPECIFIC CORE FOR EXTRAS: from 1 (lowest) to 5 (highest)
4 (good)
9) *** FAIR DESCRIPTION OF DISADVANTAGES OF SOLUTION: from 1 (lowest) to 5
(highest)
2 (poor)
The solutions appear to be correct, and quite concise, however the notation is
difficult to read and understand, and therefore difficult to verify. Particularly
in the "insert transitive edges" task the implementation-oriented nature of the
notation interferes with clear specification (the fact that an iteration is being
used to compute the result needs to be considered at the specification level).


Review of GROOVE "Hello World"

Posted by: Kevin Lano

Tagged in: Untagged 

Kevin Lano

GROOVE:
1) *** SUBMISSION TITLE: Hello World Case Study Transformation Specification
2) *** REVIEWER NAME: K. Lano
3) *** OVERALL EVALUATION:
2 (accept)
4) *** REVIEWER'S CONFIDENCE:
2 (medium)
5) *** SOLUTION REPRODUCIBILITY (SEE http://planet-
research20.org/ttc2011/index.php?
option=com_content&view=article&id=122&Itemid=158 AND THE CALL): from 1 (lowest)
to 4 (highest)
4 (Paper (with appendix) + SHARE demo available
6) *** PAPER READABILITY: from 1 (lowest) to 5 (highest)
4 (good)
7) *** CASE SPECIFIC SCORE FOR CORE SOLUTION (E.G. CORRECTNESS, CONCISENESS,
CLARITY): from 1 (lowest) to 5 (highest)
4 (good)
8) *** CASE SPECIFIC CORE FOR EXTRAS: from 1 (lowest) to 5 (highest)
4 (good)
9) *** FAIR DESCRIPTION OF DISADVANTAGES OF SOLUTION: from 1 (lowest) to 5
(highest)
2 (poor)

The use of graphical specifications for rules is a good feature, although the
notation can become arbitrary and hard to understand (using + for "or" in counting
dangling edges, for example, instead of a logical or node). Having two separate
rules for edge reversal makes the semantics unclear. The migration specification is
difficult to understand and begins to show the limitations of a purely graphical
notation. The transitive closure rule is clear, but seems to compute R+ rather than
R*R, as required.

Generally, a hybrid of textual and graphical specification would be more
flexible. It is difficult to express complex
logical formulae graphically.


TTC 2011 -- Peer review of first batch of solution submissions

Posted by: Pieter Van Gorp

Tagged in: Untagged 

Pieter Van Gorp

Today, I have sent the peer review instructions to the solution submitters that uploaded their contribution before the original deadline.

Here is a copy of the instructions:

Dear [*FIRST-NAME*],
thanks for your submission to TTC 2011.

As indicated in the call for solutions, the first phase of the solution reviewing consists of a peer review.  The idea is that this kick-starts the knowledge transfer that we aim at with the TTC workshop.  

We have various requests for the two week deadline extension but since you are one of the submitters of the original deadline, we want to reward you by sticking to the original, more relaxed, schedule.

Please find below the proposed assignment for the public peer review.  Please use the TTC fora for discussion on the submissions and don't hesitate to challenge each other's statements from the papers.  Keep in mind also that you should be able to access each other's software in SHARE.  

ASSIGNMENT for HELLO WORLD:
* GRETL (submitter Tassilo Horn) => reviewed by Kevin Lano,Amir Hossein Ghamarian
* UML-RSDS (submitters Kevin Lano, Shekoufeh Kolahdouz Rahimi) => reviewed by Steffen Mazanek, Amir Hossein Ghamarian, Pieter Van Gorp
* GROOVE (solution authors Amir Hossein Ghamarian, Maarten De Mol, Arend Rensink and Eduardo Zambon) => reviewed by Steffen Mazanek, Kevin Lano, Pieter Van Gorp

* MDELab (solution authors Stephan Hildebrandt, Sebastian Wätzoldt, and Holger Giese) => reviewed by Tassilo Horn, Maarten De Mol (?), Pieter Van Gorp

* Henshin (solution authors Stefan Jurack and Johannes Tietje) => reviewed by Arend Rensink (?), Sebastian Wätzold (?) and Pieter Van Gorp

(Also: Pieter Van Gorp will review more Hello World submissions, as they come in after the extended deadline.)


ASSIGNMENT for PROGRAM UNDERSTANDING
* GRETL (submitter Tassilo Horn) => reviewed by Stephan Hildebrandt, Stefan Jurack
* MDELab (submitters Stephan Hildebrandt, Sebastian Wätzoldt and Holger Giese) => reviewed by Edgar Jakumeit, Tassilo Horn
* Henshin (submitters Stefan Jurack and Johannes Tietje) => reviewed by Edgar Jakumeit and Stephan Hildebrandt
* GrGen.NET (submitters Edgar Jakumeit and Sebastian Buchwald) => reviewed by Tassilo Horn and Stefan Jurack

ASSIGNMENT for COMPILER OPTIMIZATION
* GROOVE (submitters Arend Rensink and Eduardo Zambon) => reviewed by Tassilo Horn, Sebastian Buchwald
* GRETL (submitter Tassilo Horn) => reviewed by Arend Rensink, Sebastian Buchwald

Please submit your final reviews no later than May 17th to the online forum 
(http://planet-research20.org/ttc2011/index.php?
option=com_community&view=groups&Itemid=141).  We will then consider this input with the organizing committee and (if necessary) the steering committee and send out the notifications on May 19th.  We may contact you again if we decide to use another review platform than the TTC forum, and for now please focus on the review content rather than the form.  

Please use the following reviewing criteria:
1) *** SUBMISSION TITLE: 
2) *** REVIEWER NAME: 
3) *** OVERALL EVALUATION:
---  3 (strong accept)
---  2 (accept)
---  1 (weak accept)
---  0 (borderline paper)
---  -1 (weak reject)
---  -2 (reject)
---  -3 (strong reject)

4) *** REVIEWER'S CONFIDENCE:
---  4 (expert)
---  3 (high)
---  2 (medium)
---  1 (low)
---  0 (null)

5) *** SOLUTION REPRODUCIBILITY: from 1 (lowest) 
to 4 (highest)

---  4 (Paper (with code listing) + SHARE demo available)
---  3 (Paper (without  code listing) + SHARE demo available)
---  2 (Paper (with  code listing), no SHARE demo)
---  1 (Paper (without  code listing), no SHARE demo)

6) *** PAPER READABILITY: from 1 (lowest) to 5 (highest)

---  5 (excellent)
---  4 (good)
---  3 (fair)
---  2 (poor)
---  1 (very poor)

7) *** CASE SPECIFIC SCORE FOR CORE SOLUTION (E.G. CORRECTNESS, CONCISENESS, 
CLARITY): from 1 (lowest) to 5 (highest)

---  5 (excellent)
---  4 (good)
---  3 (fair)
---  2 (poor)
---  1 (very poor)

8) *** CASE SPECIFIC CORE FOR EXTRAS: from 1 (lowest) to 5 (highest)

---  5 (excellent)
---  4 (good)
---  3 (fair)
---  2 (poor)
---  1 (very poor)

9) *** FAIR DESCRIPTION OF DISADVANTAGES OF SOLUTION: from 1 (lowest) to 5 
(highest)

---  5 (excellent)
---  4 (good)
---  3 (fair)
---  2 (poor)
---  1 (very poor)

10) *** OTHER REMARKS
--- Motivation of the above scores in free text...

Originally, for criterion (5) we had "appendix" instead of "code listing".  This has triggered Tassilo Horn to me with the following good questions:

 

I have a question regarding the peer review reproducibility criteria:
That distinguishes between with and without appendix.  What does that mean?
For example, Arend and Eduardo (GROOVE) don't have an appendix in their
paper, but a SHARE demo with a readme file.  All in all, I was able to
run their solution without hassle, so I'd say that's a 4 (highest).
So I'm tempted to understand "appendix" as "has readme/screencast and
the full transformation code is somehow accessible", right?

Bye,
Tassilo

PS: Yes, that's a question that should have been asked in the forums.
However, it's not depending on the case and there's no general TTC
forum.  So you might want to blog my question and your answer so that
the others can read it.

 

Here is my reply (the blog post has also been updated in the meanwhile):

With regards to "5) *** SOLUTION REPRODUCIBILITY", please do not focus on whether or not there is actually an appendix. Instead, check whether there is a (complete) "code listing". This makes a difference, as many submissions turn out to have the listing in the body of the paper, which is clearly as reproducible as having a separate appendix. 


A plain explanation of "cloud computing": The social influnce of cloud computing is that "computing and its related service product" is commercialized and on sale through network. Three types of its main commodities are virtualized equivalent of software applications, programming environment and computing resourcesstoragecommunication, etc. The virtualization enabled through network is the essense of the implementation of the concept of cloud computing, and its intelligent interface. This virtualization will realize exactly the same functions and meet the quality requirement demanded by users on physically existing those counterparts of software and hardware systems. Then the virtualization mode will be a winner of pricing since that virtualized equipement can be used with much higher occupation time and higer reuse rate than the isolated independent physically existing counterparts. From a social view, there will be a great improvement on computing resource and service capability while accompaning a sharpe reduction on perchasing cost and great energy saving as well.A small fraction of the saved cost can be invested to achieve a professional upgrade of security related issues.

Virtualization is a necessary simulation for the convenience of customers of cloud computing to purchase computing resource and services based on their old cognition and conceptulization and understandings of the meter of computing resources and services which rely on the phyicial existance of computing facilities. 

However our understanding about computation will progress, I believe that a conceptualizaiton based advancement in the area of conceptual modeling and hence after will provide another way which will relieve the full potential of "cloud computing" ahead other than current virtualization.
 


I am very interested to continue to strive in this direction.
I have been accumluting material and knowledge for this goal. The result will reveal and locate fundamental semantic for concepts in a objective manner instead of subjectively defining semantic for concepts.

If you are interested, please contact me. As a group, we can make this work more efficient.

Ok, now you can access one of the two drafts of mine with the following link:

http://www.ijimt.org/abstract/100-E00187.htm

Titile:"Formalizing Semantic of Natural Language through Conceptualization from Existence"

Abstract—We propose an outline of an approach to formalize semantic from conceptualization for both natural language (NL) and logic expression mechanisms. This goes beyond the level of discussions at conceptual level which has to either end in conscious/unconscious relativity of understanding or subjective enforcement in the form of definitions instead of expected objective semantic. This approach supports to view from a pure mathematical perspective, and explore and locate the fundamental problems. The semantic formalization mechanism realizes the integration of problem description and the solution expression at absolute semantic level. So a problem describing process is equivalent to the solution exploring process by integrating both in one. This essentially caters the ideology of proceeding with model refinement of model driven development. Other advantages include that it will reduce the need for validation for model migrations during a model driven development process, etc. Application is intended to cover specification refinement of both functional and quality requirement, and both static description and behavioral implementation, etc.

Index Terms—Semantic, knowledge, cognitive, formalization, conceptualization.

Click here for access the pdf file: http://www.ijimt.org/papers/100-E00187.pdf



Title:
Attaining and applying consistency from semantic evolved from conceptualization
Abstract and link will be added here when it appears in IC4E 2011 online proceedings(IEEE).

Abstract—Based on a dualism of human and matter, this draft proposes to derive fundamental semantics from conceptualization which bridges observation and existence. We identified that theoretical knowledge is characterized exclusively by consistency instead of any other concept in contrast to any other expressible/observable semantic expressions. Then evolution mechanism of knowledge from fundamental semantic is revealed. Discussions on applications are extended on a broad scope in the manner of starting from exploring semantic of problem descriptions. 

Keywords- semantic, knowledge, cognitive, formalization, conceptualization

 


TTC 2010 on Twitter

Posted by: Pieter Van Gorp

Tagged in: Untagged 

Pieter Van Gorp

Thanks to the Epsilon and Spoofax people for Twittering during TTC:

  1. Image_normal richpaige RT @dskolovos: @louismrose wins the #ttc10 model migration case-study award with Epsilon Flock #tools10 #icmt10
  2. Image_normal richpaige RT @dskolovos: another award for @louismrose and Flock: best exogenous transformation in the live contest of #ttc10
  3. Computerscience2_normal UoY_CS RT @dskolovos: another award for @louismrose and Flock: best exogenous transformation in the live contest of #ttc10
  4. N222303216_3337484_6879_normal louismrose Tassilo Horn wins #ttc10 live contest with GReTL http://yfrog.com/j16k5xj Lost track of the other awards!
  5. Epsilonlogo_normal epsilonews RT @dskolovos: @louismrose wins the #ttc10 model migration case-study award with Epsilon Flock #tools10 #icmt10
  6. Me2_normal dskolovos another award for @louismrose and Flock: best exogenous transformation in the live contest of #ttc10
  7. Me2_normal dskolovos @louismrose wins the #ttc10 model migration case-study award with Epsilon Flock #tools10 #icmt10
  8. N222303216_3337484_6879_normal louismrose Jens von Pilgrim and Mitra win the Ecore to Genmodel Case in #ttc10 #tools. I think Fujaba won the Topology case (but not sure!)
  9. N222303216_3337484_6879_normal louismrose Triple-graph grammars make an appearance at #ttc10 #tools10 Hiding under the table and watching through my fingers :)
  10. N222303216_3337484_6879_normal louismrose Markus now presenting COPE's convergence view for reverse engineering of metamodel changes. Very neat #ttc10 #tools10
  11. N222303216_3337484_6879_normal louismrose Sebastian Buchwald presents GrGen.NET and Markus Herrmannsdörfer COPE http://yfrog.com/4b7u9oj http://yfrog.com/2t364vbj #ttc10 #tools10
  12. N222303216_3337484_6879_normal louismrose And now Rueben Jubeh presenting their migration solution in Fujaba #ttc10 #tools10 http://yfrog.com/0733uqj
  13. N222303216_3337484_6879_normal louismrose Agris Sostaks presenting MOLA for model migration at #ttc10 #tools10 http://yfrog.com/b84vbwj
  14. N222303216_3337484_6879_normal louismrose Tassilo Horn presents GReTL in the #ttc10 workshop at #tools10 http://yfrog.com/123mjtj
  15. N222303216_3337484_6879_normal louismrose Tassilo Horn presents GReTL in the #ttc10 workshop at #tools10
  16. Bernhard_merkle_small_normal bernhardmerkle @EelcoVisser cool can you add the eclipse project (for the lambda) to this blog ? :-) #tools10 #icmt10 #ttc10
  17. Iktwitter_normal zef RT @EelcoVisser: Now with screencast: "Lambdas in Spoofax" a blog post about my entry for TTC 2010 http://bit.ly/aMF660 #tools10 #icmt10 #ttc10
  18. Acherm_normal acherm RT @EelcoVisser: Now with screencast: "Lambdas in Spoofax" a blog post about my entry for TTC 2010 http://bit.ly/aMF660 #tools10 #icmt10 #ttc10
  19. Kirikaavatar48x48_normal ShinNoNoir RT @EelcoVisser: "Lambdas in Spoofax" a blog post about my entry for the live Transformation Tool Contest http://bit.ly/aMF660 #tools10 #icmt10 #ttc10
  20. Self_normal EelcoVisser Now with screencast: "Lambdas in Spoofax" a blog post about my entry for TTC 2010 http://bit.ly/aMF660 #tools10 #icmt10 #ttc10
  21. Image_normal richpaige RT @louismrose: Wrap up at #ttc10. Many implementations of lambda calculus DSL in less than 6 hours. Impressive! Tomorrow the results are compared #tools10
  22. Self_normal EelcoVisser "Lambdas in Spoofax" a blog post about my entry for the live Transformation Tool Contest http://bit.ly/aMF660 #tools10 #icmt10 #ttc10

Transformation Tool Contest 2010: Live Contest Challenge

Posted by: Pieter Van Gorp

Tagged in: Untagged 

Pieter Van Gorp

Steffen Mazanek is currently presenting the live contest challenge for TTC.  The domain under consideration is lambda calculus.  This may sound theoretical at first but the concrete challenges involve many practical model to model and model to text issues.  

The reference solution to the challenge is contained in this ZIP archive and can be evaluated in SHARE here.  Note that during the contest you don't really need the SHARE demo, since the zip archive contains sufficient input and ouput models (a test suite for all transformation solutions).

Have fun, be sharp!


<< Start < Prev 1 2 3 Next > End >>

Activity Stream

18 months ago
Jurgen Vinju updated a blog entry Organize a workshops... Nov 04
Jurgen Vinju uploaded a new avatar. Nov 04
22 months ago
23 months ago
Sebastian Buchwald and Edgar Jakumeit are now Colleagues Jun 30
Gábor Bergmann and Abel Hegedus are now Colleagues Jun 17
Pieter Van Gorp Created page with all TTC2011 solutions to the offline case studies: http://planet-research20.org/ttc2011/index.php?option=com_content&view=article&id=120&Itemid=160 Jun 09
Li Dan replied in a discussion Gábor's QVTR-XSLT review Jun 02
 

Latest Blog Comments