k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Formal Semantics for Systems Integration

From: Ahmed Amar Debza <amr.deb AT gmail.com>
To: Everett Hildenbrandt <hildenb2 AT illinois.edu>
Cc: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] Formal Semantics for Systems Integration
Date: Tue, 22 Aug 2017 22:27:29 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=amr.deb AT gmail.com

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.

[[K-user] ] Formal Semantics for Systems Integration, Ahmed Amar Debza, 08/21/2017
- Re: [[K-user] ] Formal Semantics for Systems Integration, Everett Hildenbrandt, 08/22/2017
  - Re: [[K-user] ] Formal Semantics for Systems Integration, Ahmed Amar Debza, 08/22/2017
    - Re: [[K-user] ] Formal Semantics for Systems Integration, Patrick Meredith, 08/22/2017
      - Re: [[K-user] ] Formal Semantics for Systems Integration, Everett Hildenbrandt, 08/22/2017
        
        Re: [[K-user] ] Formal Semantics for Systems Integration, Patrick Meredith, 08/22/2017
        
        Re: [[K-user] ] Formal Semantics for Systems Integration, Dorel Lucanu, 08/23/2017
        
        Re: [[K-user] ] Formal Semantics for Systems Integration, Everett Hildenbrandt, 08/23/2017