The embryonic development of the bodywall and nervous system of the cestode flatworm Hymenolepis diminuta

Cestodes (tapeworms) are a derived, parasitic clade of the phylum Platyhelminthes (flatworms). The cestode body wall represents an adaptation to its endoparasitic lifestyle. The epidermis forms a nonciliated syncytium, and both muscular and nervous system are reduced. Morphological differences between cestodes and free-living flatworms become apparent already during early embryogenesis. Cestodes have a complex life cycle that begins with an infectious larva, called the oncosphere. In regard to cell number, cestode oncospheres are among the simplest multicellular organisms, containing in the order of 50-100 cells. As part of our continuing effort to analyze embryonic development in flatworms, we describe here the staining pattern obtained with acTub in embryos and larvae of the cestode Hymenolepis diminuta and, briefly, the monogenean Neoheterocotyle rhinobatidis. In addition, we labeled the embryonic musculature of Hymenolepis with phalloidin. In Hymenolepis embryos, two different cell types that we interpret as neurons and epidermal gland cells express acTub. There exist only two neurons that develop close to the midline at the anterior pole of the embryo. The axons of these two neurons project posteriorly into the center of the oncosphere, where they innervate the complex of muscles that is attached to the booklets. In addition to neurons, acTub labels a small and invariant set of epidermal gland cells that develop at superficial positions, anteriorly adjacent to the neurons, in the dorsal midline, and around the posteriorly located hooklets. During late stages of embryogenesis they spread and form a complete covering of the embryo. We discuss these data in the broader context of platyhelminth embryology.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.