K-user mailing list

[Patrick Meredith <pmeredit AT gmail.com>]

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