K-user mailing list

[Everett Hildenbrandt <hildenb2 AT illinois.edu>]

K actually allows specifying sub-configurations/including them.

Check out https://github.com/kframework/kat (file KAT-IMP, cell <kat-imp>) 
for an example.
Some explanatory text about how configurations are just converted into more 
syntax/rules: https://github.com/kframework/k/wiki/KAST-and-KORE

Everett H.

On Tue, Aug 22, 2017 at 05:37:39PM -0400, Patrick Meredith wrote:
> This actually makes me think: maybe a small meta-language for gluing 
> together
> different language semantics would be a good idea.  In principle, 
> definitions
> can always be combined by combining their state terms, but there is an issue
> with name clashes.
> 
> On Tue, Aug 22, 2017 at 5:27 PM, Ahmed Amar Debza 
> <amr.deb AT gmail.com>
>  wrote:
> 
>     Component based systems such as OSGi or  Web Services Systems 
> 
>     On Tue, Aug 22, 2017 at 4:11 PM, Everett Hildenbrandt <
>     
> hildenb2 AT illinois.edu>
>  wrote:
> 
>         Can you be more specific about waht you're looking for?
> 
>         Perhaps an example of a system like this?
> 
>         Everett H.
> 
>         On Mon, Aug 21, 2017 at 10:21:07PM +0100, Ahmed Amar Debza wrote:
>         > Hello i'm new to K/Maude and  I intend to use it as a 
> formalization
>         tool for
>         > Integration between different technologies, Are there any 
> projects (k
>         or
>         > related) that capture the Integration between heterogeneous 
> systems?
>         > thank you.
> 
> 
> 
> 
> 
> 
> --
> -Patrick