Strplan: A distributed planner for object-centred application domains

This paper presents a novel planner, called Strplan, which is intended to generate and validate parallel plans for structured domain models. Structured domains are here defined as a specialization of the Loosely Sort-Abstracted (LSA) models [13], which regards most of the features of object-oriented data models. The operational semantics of Strplan are based on the decomposition of incomplete plans into subplans that are solved separately. The criterion to produce this decomposition is given by the concept of domain region, which is here envisaged as a grouping of substate class expressions.