k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] semantic of assing activity in K

From: Khaled Annane <khaledannane AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] semantic of assing activity in K
Date: Thu, 24 Apr 2014 11:05:51 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi,

I am new user of K.
I am working for assign activity in BPEL language,this is an example of using this activitiy :

<assign name="PrepareInputForAAandDA">
<copy>
<from variable="TravelRequest" part="flightData"/>
<to variable="FlightDetails" part="flightData"/>
</copy>
<copy>
<from variable="EmployeeTravelStatusResponse"
part="travelClass"/>
<to variable="FlightDetails" part="travelClass"/>
</copy>
</assign>

Could anybody suggest me how to do this or give me related site I could check?

Thank you in advance.

[K-user] semantic of assing activity in K, Khaled Annane, 04/24/2014
- Re: [K-user] semantic of assing activity in K, Moore, Brandon Michael, 04/24/2014