Results 41 to 50 of about 2,823 (181)
Using SPIN for Verification of Multi-agent Data Analysis
Моделирование и анализ информационных систем, 2014 The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing.
N. O. Garanina +2 more
doaj +1 more source
A Rule-Based Language and Verification Framework of Dynamic Service Composition
Future Internet, 2020 The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how
Willy Kengne Kungne +2 more
doaj +1 more source
Formal Test Automation: The Conference Protocol with PHACT [PDF]
, 2000 We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (formal) specifications and multiple implementations are publicly available ...
Feenstra, Jan +2 more
core +2 more sources
Transforming UML 'Collaborating' Statecharts for Verification and Simulation [PDF]
Journal of Systemics, Cybernetics and Informatics, 2003 Due to the increasing complexity of real world problems, it is costly and difficult to validate today's software-intensive systems. The research reported in the paper describes our experiences in developing and applying a set of methodologies for ...
Patrick O. Bobbie +2 more
doaj
Environmental Toxicology and Chemistry, EarlyView.Abstract There is increasing concern regarding pollutants disrupting the vertebrate thyroid hormone (TH) system, which is crucial for development. Thus, identification of TH system–disrupting chemicals (THSDCs) is an important requirement in the Organisation for Economic Co‐operation and Development (OECD) testing framework.
Lisa Gölz +9 more
wiley +1 more source
Automated Analysis of Multi-View Software Architectures
, 2017 Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and verification techniques of multi-view architecture in very early phases ...
Cheng, Chih-Hong +2 more
core +1 more source
Environmental Toxicology, EarlyView.ABSTRACT Hydrogen peroxide is widely used in water and wastewater treatment, particularly in advanced oxidation processes that aid in the degradation of compounds and microbial disinfection. Despite concerns about potential environmental contamination, its impact on freshwater ecosystems remains inadequately studied.
Letícia Queiroz Almeida +7 more
wiley +1 more source
Моделирование и анализ информационных системThis paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj +1 more source
Reactive EFSMs — Reactive Promela/RSPIN [PDF]
, 1996 Reactive Promela/RSPIN is an extension to the protocol validator Promela/SPIN. It enhances the simulation and verification capabilities of SPIN by allowing modular specifications to be analysed while alleviating the state-space explosion problem. Reactive Promela is a simple reactive language.
Elie Najm, Frank Olsen
openaire +1 more source
Environmentally Realistic Metal Mixture Concentration Impacts Early Development in Zebrafish Larvae
Environmental Toxicology, EarlyView.ABSTRACT The dispersion of metals in the environment leads to the presence of metal mixtures in impacted ecosystems, but few studies have addressed their impact on early developmental processes in fish. Here, we investigated the effect of metal mixtures reported in the Doce River basin in Brazil, including Fe, Mn, and Cd, either singly or as a mixture ...
Anderson K. S. Macêdo +4 more
wiley +1 more source