Skip to Content.
Sympa Menu

k-user - Re: [K-user] Fwd: Use of K-framework for our language

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Fwd: Use of K-framework for our language


Chronological Thread 
  • From: "Serbanuta, Traian Florin" <tserban2 AT illinois.edu>
  • To: Antonio Bucchiarone <bucchiarone AT fbk.eu>
  • Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: Re: [K-user] Fwd: Use of K-framework for our language
  • Date: Thu, 26 Jan 2012 05:04:05 +0000
  • Accept-language: en-US
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
  • List-id: <k-user.cs.uiuc.edu>


Hi Antonio,

We are very glad you are interested in the K framework.
As we envision K as particularly good for defining domain-specific
languages, and as the ultimate semantics of a K definition is a (labeled)
transition system, I don't see any reason why you could not use the K
framework to define your language.

The immediate benefit such a definition could bring would be that you
could use the definition as an interpreter for programs as well as for
obtaining state-space searching and model-checking capabilities.

If you are interested, we would be happy to help with guiding and
assisting you through the process of writing a K definition.

Best wishes,
- traian serbanuta


>
>
>
>---------- Forwarded message ----------
>From: Antonio Bucchiarone
><bucchiarone AT fbk.eu>
>Date: Tue, Jan 24, 2012 at 11:21 AM
>Subject: Use of K-framework for our language
>To:
>"celliso2 AT illinois.edu"
>
><celliso2 AT illinois.edu>
>
>
>Hi,
>I have seen your page and results on the K-framework and it is very
>interesting result, congratulations.
>In our group we are working on a a definition of a formal language for
>business processes adaptation. We have defined the syntax and its
>LTS-based semantics.
>Now we want to test it on some example and try to see if the semantics
>is good enough. Do you think that we can use the K-framework for this
>task? Can you give some indications on how to do it and what could be
>the help that K can give to us?
>
>Thanks in advance,
>Antonio
>
>
>Antonio Bucchiarone, PhD
>Researcher at SOA Unit , FBK
>Via alla Cascata 56/C - Povo
>38100 Trento - ITALY
>+39-0461-314927
>www: http://soa.fbk.eu
>_______________________________________________
>k-list mailing list
>k-list AT cs.uiuc.edu
>http://lists.cs.uiuc.edu/mailman/listinfo/k-list






Archive powered by MHonArc 2.6.16.

Top of Page