Towards on-line logistics: the LinC interaction modeling language
This is a Ph.D. dissertation. This thesis describes recent work we have done in the field of on-line logistics: the design, use, and implementation of the LinC logistic contrasting language. The thesis is divided into five parts, the first part being an overall description of the field and of our own contribution to it. The remaining parts provide a detailed description of the LinC language, two complete case studies, an introduction to our implementation of the language, and an evaluation, respectively.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Context of our research
10 other sections not shown
2-party AgileFrames allow and/or assert bank ClientManager clientParcel communication constraints contract parties CORBA corresponding cross docking defined described driver drop list end sequential exception handler executed figure FloorManager handled implementation instance interface iptRentall Java RMI JavaSpace Jini journal tree JXTA LinC language LinC platform logistic actors Logistic Contract Space logistic systems lookup service mechanism multi-party contracts multiple construct multiple index multiple interaction pattern nested concurrent nested interaction pattern nodes ordered sequential client pallet stack PalletTag parcel passed platform stack possible postconditions precondition problem process block ProcessError protocol verifier provider tasks Rationale refer remote method invocations remote procedure calls requirements semantics Serializable service contract service indexes service objects service parameters service variables specified subcontracted interaction pattern subcontracted service task invocation message task signature theDropList thePalletTag theParcel thePickupList thePlatform Platform thePlatform.getPlatformStack theTruckID thrown transport TransportBroker TransportManager truck unloading update vanService