A unique Valanginian paleoenvironment at an iron ore deposit near Zengővárkony (Mecsek Mts, South Hungary), and a possible genetic model

Abstract The spatially restricted Early Valanginian iron ore (limonite) and manganese deposit at Zengõvárkony (Mecsek Mts, southern Hungary) contains a rich, strongly limonitized, remarkably large-sized (specimens are 30–70% larger than those at their type localities) brachiopod-dominated (mainly Lacunosella and Nucleata) megafauna and a diverse crustacean microfauna, which indicates a shallow, nutrient-rich environment possibly linked to an uplifted block, and/or a hydrothermal vent

Testing Conformance in Multi-component Enterprise Application Management

Part 1: Formal MethodsInternational audienceModern enterprise applications integrate various heterogeneous components, which management has to be suitably coordinated. Being able to check whether the management allowed by the implementation of an application component conforms to a given specification hence becomes crucial. One may indeed wish to replace component specifications with conforming implementations, by ensuring that already planned management can be enacted, or that no additional (potentially undesired) management activities get enabled. In this perspective, we propose a parametric relation for testing the conformance of the management of application components, based on an existing formalism to model multi-component application management (i.e., management protocols). We also discuss how such relation can be exploited to ensure that replacing a specification with a conforming implementation continues to enable all already allowed management activities, and/or that no additional (potentially undesired) management activity gets enabled

A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

We propose behavioral specification theories for most equivalences in the linear-time–branching-time spectrumWe propose behavioral specification theories for most equivalences in the linear-time–branching-time spectrum. Almost all previous work on specification theories focuses on bisimilarity, but there is a clear interest in specification theories for other preorders and equivalences. We show that specification theories for preorders cannot exist and develop a general scheme which allows us to define behavioral specification theories, based on disjunctive modal transition systems, for most equivalences in the linear-time–branching-time spectrum

A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

We propose behavioral specification theories for most equivalences in the linear-time–branching-time spectrum. Almost all previous work on specification theories focuses on bisimilarity, but there is a clear interest in specification theories for other preorders and equivalences. We show that specification theories for preorders cannot exist and develop a general scheme which allows us to define behavioral specification theories, based on disjunctive modal transition systems, for most equivalences in the linear-time–branching-time spectrum