Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Constraints and Statical Determinacy

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...

Models, Theories, and Laws

Models, Theories, and Laws

Scientists frequently use models to help them comprehend a specific collection of phenomena. In physics, a model is a condensed version of a physical system that is too complex to study thoroughly. One such example is the light wave model; unlike water waves, light waves are typically invisible to us. Nonetheless, it is helpful to think of light as being composed of waves, since investigations show that light behaves like water waves. Since it is impossible to visually see what is genuinely...

Classification of Systems-I

Classification of Systems-I

Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:

Modeling and Similitude

Modeling and Similitude

Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...

Mechanistic Models: Overview of Compartment Models

Mechanistic Models: Overview of Compartment Models

Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...

State Space Representation

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...

You might also read

Related Articles

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

Sort by

Same author

Understanding security tactics in microservice APIs using annotated software architecture decomposition models - a controlled experiment.

Empirical software engineering·2025

Same author

Enforcement of entailment constraints in distributed service-based business processes.

Information and software technology·2016

Same journal

Formalising privacy regulations with bigraphs.

Software and systems modeling·2026

Same journal

The MDENet education platform: zero-install directed activities for learning MDE.

Software and systems modeling·2026

Same journal

Diagrammatic physical robot models.

Software and systems modeling·2025

Same journal

Extract, model, refine: improved modelling of program verification tools through data enrichment.

Software and systems modeling·2025

Same journal

Using reactive links to propagate changes across engineering models.

Software and systems modeling·2025

Same journal

What makes life for process mining analysts difficult? A reflection of challenges.

Software and systems modeling·2024

See all related articles

Search research articles

Related Experiment Video

Updated: Dec 30, 2025

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

Modeling compliance specifications in linear temporal logic, event processing language and property specification

Christoph Czepa¹, Amirali Amiri¹, Evangelos Ntentos¹

¹Faculty of Computer Science, Research Group Software Architecture, University of Vienna, Währingerstraße 29, 1090 Wien, Austria.

Software and Systems Modeling

|January 25, 2020

Summary

This summary is machine-generated.

Property Specification Patterns (PSP) enhance the understandability of compliance specifications compared to Event Processing Language (EPL) and Linear Temporal Logic (LTL). Advanced users find PSP and EPL equally understandable for modeling compliance.

Keywords:

Complex event processing Controlled experiment Event processing language Linear temporal logic Property specification patterns Understandability

More Related Videos

Measuring Attention and Visual Processing Speed by Model-based Analysis of Temporal-order Judgments

Measuring Attention and Visual Processing Speed by Model-based Analysis of Temporal-order Judgments

Published on: January 23, 2017

Characterization of Complex Systems Using the Design of Experiments Approach: Transient Protein Expression in Tobacco as a Case Study

Characterization of Complex Systems Using the Design of Experiments Approach: Transient Protein Expression in Tobacco as a Case Study

Published on: January 31, 2014

Related Experiment Videos

Last Updated: Dec 30, 2025

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

Measuring Attention and Visual Processing Speed by Model-based Analysis of Temporal-order Judgments

Measuring Attention and Visual Processing Speed by Model-based Analysis of Temporal-order Judgments

Published on: January 23, 2017

Characterization of Complex Systems Using the Design of Experiments Approach: Transient Protein Expression in Tobacco as a Case Study

Characterization of Complex Systems Using the Design of Experiments Approach: Transient Protein Expression in Tobacco as a Case Study

Published on: January 31, 2014

Area of Science:

Computer Science
Software Engineering
Formal Methods

Background:

Mature verification and monitoring techniques like complex event processing and model checking are crucial for ensuring compliance at design and runtime.
The understandability of formal languages used in these approaches is largely unknown, potentially hindering widespread adoption.
Uncertainty in understandability poses a significant barrier to the practical application of compliance checking techniques.

Purpose of the Study:

To investigate and compare the understandability of different modeling languages for compliance specifications.
To assess the impact of formal language choice on the accuracy and ease of understanding compliance requirements.
To identify which modeling approaches are most suitable for practical adoption in software development.

Main Methods:

A controlled experiment was conducted with 215 participants.
Participants were tasked with modeling compliance specifications using three representative languages: Linear Temporal Logic (LTL), Event Processing Language (EPL), and Property Specification Patterns (PSP).
The accuracy and understandability of the resulting formalizations were evaluated.

Main Results:

Property Specification Patterns (PSP) resulted in more correct formalizations overall, indicating a higher level of understandability compared to EPL and LTL.
The pattern-based approach (PSP) demonstrated superior understandability for modeling compliance specifications.
Advanced users showed comparable proficiency in understanding and using both PSP and EPL for compliance modeling.

Conclusions:

Property Specification Patterns offer a more understandable approach to modeling compliance specifications, facilitating broader adoption of verification techniques.
While PSP is generally more understandable, EPL remains a viable option for advanced users.
Addressing the understandability of formal languages is key to overcoming adoption barriers in compliance checking.