Towards On-line Logistics: The LinC Interaction Modeling LanguageThis 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. |
Contents
Introduction | 5 |
Context of our research | 17 |
Logistic contracting | 23 |
Copyright | |
10 other sections not shown
Common terms and phrases
2-party actor_name actors provider AgileFrames allow assert bank client Parcel client tasks ClientManager constraints contract parties CORBA corresponding defined described design by contract driver drop list end concurrent end sequential exception handler executed FloorManager handled implementation interface iptRental1 Java Java RMI Jini journal tree JXTA LINC language 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 Pallet Tag passed PickupList platform stack postconditions precondition problem process block ProcessError protocol verifier provider tasks Rationale refer remote 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 thePallet Tag theParcel thePlatform thePlatform.getPlatformStack throw Transport Broker Transport Manager truck TruckID unloading update vanService