MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Short communication: Identification of subclinical cow mastitis pathogens in milk by matrix-assisted laser desorption/ionization time-of-flight mass spectrometry

Subclinical mastitis is a common and easily disseminated disease in dairy herds. Its routine diagnosis via bacterial culture and biochemical identification is a difficult and time-consuming process. In this work, we show that matrix-assisted laser desorption/ionization time-of-flight mass spectrometry (MALDI-TOF MS) allows bacterial identification with high confidence and speed (1 d for bacterial growth and analysis). With the use of MALDI-TOF MS, 33 bacterial culture isolates from milk of different dairy cows from several farms were analyzed, and the results were compared with those obtained by classical biochemical methods. This proof-of-concept case demonstrates the reliability of MALDI-TOF MS bacterial identification, and its increased selectivity as illustrated by the additional identification of coagulase-negative Staphylococcus species and mixed bacterial cultures. Matrix-assisted laser desorption-ionization mass spectrometry considerably accelerates the diagnosis of mastitis pathogens, especially in cases of subclinical mastitis. More immediate and efficient animal management strategies for mastitis and milk quality control in the dairy industry can therefore be applied.