K-user mailing list

[Antonio Bucchiarone <bucchiarone AT fbk.eu>]

Thanks for your reply.
First question: How Can I install K on MAC?

Thanks
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




________________________________________
Inizio: Serbanuta, Traian Florin 
[tserban2 AT illinois.edu]
Inviato: giovedì 26 gennaio 2012 6.04
Fine: Antonio Bucchiarone
Cc: Ellison, Chucky; 
k-user AT cs.uiuc.edu
Oggetto: Re: Fwd: Use of K-framework for our language

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