Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Classifying Matter by Composition03:35

Classifying Matter by Composition

Matter: Pure Substances and Mixtures
According to its composition, the matter can be classified into two broad categories — pure substances and mixtures. 
A pure substance is a form of matter that has a constant composition throughout with uniform properties. For example, any sample of sucrose has the same composition and same physical properties, such as melting point, color, and sweetness, regardless of the source from which it is isolated. 
A mixture is composed of two or more types of...
State Space Representation01:27

State Space Representation

The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
Classifying Matter by State02:49

Classifying Matter by State

Chemistry is the study of matter and the changes it undergoes. Matter is anything that has mass and occupies space. Matter is all around us; the air, water, soil, mountains, even our bodies are all examples of matter. Matter is divided into three states — solid, liquid, and gas — that are commonly found on earth. The fourth state of matter, plasma, occurs naturally in the interiors of stars.
Polymer Classification: Architecture01:14

Polymer Classification: Architecture

Polymers are classified as linear or branched on the basis of their chain architecture. The polymer chains in linear polymers have a long chain-like structure with minimal to no branching at all. Even if a polymer features large substituent groups on the monomer, which appear as branches to the skeleton, it is not considered a branched polymer. A branched polymer contains secondary polymer chains that arise from the main polymer chain. The branching occurs when the polymer growth shifts from...
Protein Complexes with Interchangeable Parts01:57

Protein Complexes with Interchangeable Parts

Groups of proteins may form a complex where each protein in this complex has a different role in the overall execution of the complex’s function. Often some of the proteins in the complex can be replaced by a closely related variant to give a complex that contains many of the same components yet is functionally distinct.
The SCF ubiquitin ligase is a protein complex of five individual proteins. This complex attaches ubiquitin to other target proteins to mark them for degradation. In order to...
Protein Complexes with Interchangeable Parts01:57

Protein Complexes with Interchangeable Parts

Groups of proteins may form a complex where each protein in this complex has a different role in the overall execution of the complex’s function. Often some of the proteins in the complex can be replaced by a closely related variant to give a complex that contains many of the same components yet is functionally distinct.
The SCF ubiquitin ligase is a protein complex of five individual proteins. This complex attaches ubiquitin to other target proteins to mark them for degradation. In order to...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Mediating effects of lipid metabolic and inflammatory factors on skeletal muscle mass in adults: A cross-sectional study.

Medicine·2026
Same author

Sarcopenia-associated traits and sepsis risk: a Mendelian Randomization and Prospective Observational Study.

Shock (Augusta, Ga.)·2026
Same author

A Biomimetic Dual-Targeting Nano-APA-Editor Reprograms the 3'UTR Landscape for Tongue Squamous Cell Carcinoma Therapy.

Advanced science (Weinheim, Baden-Wurttemberg, Germany)·2026
Same author

International Validation of Temperature-Trajectory Sepsis Subphenotypes With Longitudinal Immune and Coagulation Patterns and Its Implications for Immunoglobulin Therapy.

Critical care medicine·2026
Same author

CD301b<sup>+</sup> tissue-resident macrophages drive bone repair as an early-responding subpopulation.

International immunopharmacology·2026
Same author

Cannabidiol corrects sleep deficits and reduces spontaneous seizures in Angelman syndrome model mice.

Neuropsychopharmacology : official publication of the American College of Neuropsychopharmacology·2026
Same journal

The Eco-Friendly Preparation of Se, Zn, and Ag MONPs and Their Current Medical Applications and Drug Delivery for AD Diseases.

TheScientificWorldJournal·2026
Same journal

Fear of COVID-19: A Comparative Study Among University Students in Peru.

TheScientificWorldJournal·2026
Same journal

Opportunities and Challenges of Integrating Ethiopian Traditional Medicine System Into Modern Medicine: A Narrative Review.

TheScientificWorldJournal·2026
Same journal

Exploring the Antiparasitic Activity of the Sea Cucumber Isostichopus sp. aff. badionotus From the Northern Coast of Colombia Against Trypanosoma cruzi.

TheScientificWorldJournal·2026
Same journal

Kalanchoe ceratophylla (Crassulaceae): The True Identity of Sidingin, a Medicinal Plant From Sumatra, Based on Morphological and Molecular Evidence.

TheScientificWorldJournal·2026
Same journal

Genetic Variation of Chicken Growth Differentiation Factor-9 Gene and Association With Egg Characteristics: A Systematic Review.

TheScientificWorldJournal·2026
See all related articles

Related Experiment Video

Updated: May 9, 2026

The MPLEx Protocol for Multi-omic Analyses of Soil Samples
10:12

The MPLEx Protocol for Multi-omic Analyses of Soil Samples

Published on: May 30, 2018

Compositional mining of multiple object API protocols through state abstraction.

Ziying Dai1, Xiaoguang Mao, Yan Lei

  • 1School of Computer, National University of Defense Technology, Changsha 410073, China.

Thescientificworldjournal
|July 12, 2013
PubMed
Summary
This summary is machine-generated.

This study introduces a scalable approach for automatically mining multiple object API protocols, crucial for understanding complex software interactions. The method captures all object interactions by composing annotated single object typestates.

More Related Videos

Synthesis of a Water-soluble Metal&#8211;Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods
05:34

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods

Published on: June 6, 2025

Related Experiment Videos

Last Updated: May 9, 2026

The MPLEx Protocol for Multi-omic Analyses of Soil Samples
10:12

The MPLEx Protocol for Multi-omic Analyses of Soil Samples

Published on: May 30, 2018

Synthesis of a Water-soluble Metal&#8211;Organic Complex Array
06:40

Synthesis of a Water-soluble Metal–Organic Complex Array

Published on: October 8, 2016

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods
05:34

Applying Cheminformatics to Develop a Structure Searchable Database of Analytical Methods

Published on: June 6, 2025

Area of Science:

  • Software Engineering
  • Programming Languages
  • Formal Methods

Background:

  • API protocols define correct method invocation sequences but are often unavailable due to manual creation difficulties.
  • Mining multiple object API protocols is challenging due to the large number of objects and the need to capture diverse interactions.
  • Existing methods often use heuristics, limiting their scope to small sets of methods.

Purpose of the Study:

  • To present a general, scalable approach for automatically mining multiple object API protocols.
  • To capture all object interactions, overcoming limitations of current heuristic-based methods.
  • To facilitate the understanding and verification of complex software systems.

Main Methods:

  • Utilizes abstract field values to label object states during the mining process.
  • Mines single object typestates as finite state automata with annotated transitions.
  • Constructs multiple object API protocols by composing these annotated single object typestates.

Main Results:

  • The proposed approach is general and scalable, capable of capturing all object interactions.
  • Demonstrates the effectiveness of composing annotated single object typestates for protocol mining.
  • Successfully implemented and evaluated for Java programs through experiments.

Conclusions:

  • The developed approach offers a robust solution for automatically mining multiple object API protocols.
  • This method enhances the expressiveness and completeness of API protocol analysis.
  • Provides a foundation for improved software analysis and verification techniques.