Runtime Conformance Checking of Objects Using Alloy
نویسندگان
چکیده
منابع مشابه
Runtime Conformance Checking of Objects Using Alloy
Object models are an important part of most object-oriented software development methodologies, where they play a central role during the specification and design phases. However, their usefulness is much more limited during the implementation phase. In this paper, we demonstrate how confidence in source code can be increased by using runtime conformance checking to analyze the code with respec...
متن کاملStatic Conformance Checking of Runtime Architectural Structure
It is hard to statically check a system’s conformance to its runtime architectural structure. Previous approaches address the code architecture, change the language radically, mandate implementation frameworks, or use dynamic analyses that cannot check all possible program runs. We propose a static approach that supports existing object-oriented implementations, but relies on program annotation...
متن کاملEnhancing Bpmn Conformance Checking with or Gateways and Data Objects
The Business Process Model and Notation is a developing standard for capturing business processes. Process models describe how the business process is expected to be executed. When a log is available from process executions, this situation raises the interesting question “Are the model and the log conformant?". Conformance checking, also referred to as conformance analysis, aims at the detectio...
متن کاملChecking Guideline Conformance of Medical Protocols Using Modular Model Checking
Medical guidelines and protocols are documents aimed at improving the quality of medical care by offering support in medical decision making in the form of management recommendations based on scientific evidence. Whereas medical guidelines are intended for nation-wide use, and thus omit medical management details that may differ among hospitals, medical protocols are aimed at local use within h...
متن کاملRuntime Assertion Checking Using JML
public class IntMathOps3 { //@ requires y >= 0; public static int isqrt(int y) { return (int) Math.sqrt(y); } } Figure 1: A simple specification requiring the parameter to be non-negative
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)81040-5