A New Generation PEPA Workbench
نویسندگان
چکیده
We present recent developments on the implementation of a new PEPA Workbench, a cross-platform application for editing, analysing, and output management of PEPA models. The workbench is designed on top of the Eclipse API, allowing it to be plugged into the Eclipse IDE, as well as released as a standalone application. The new workbench employs improved static and dynamic analysis features and user-friendly approach to analysis of underlying CTMCs.
منابع مشابه
Extending the Bio-PEPA workbench into a modelling platform
Bio-PEPA is a very recent extension to PEPA, a process algebra for performance evaluation of concurrent systems, which was created for modelling and analysis of biochemical networks. The Bio-PEPA workbench is a software tool that parses a text file with the definition of a Bio-PEPA model and realises several kinds of analysis to the parsed model, mainly using external tools. One of the several ...
متن کاملInterface Engineering and Transient Analysis for the PEPA Workbench
The PEPA Workbench is a modelling tool for composing and checking descriptions of systems composed of communicating concurrently active components. It implements the PEPA language and provides solution and analysis facilities for PEPA models. The PEPA Workbench exists in several different versions and this project has extended and adapted a version which re-implemented the original Standard ML ...
متن کاملA Visual Single - Step Navigator for the Eclipse PEPA Plug - in 4 th Year Project Report
The Performance Evaluation Process Algebra (PEPA) language allows model systems to be created and evaluated. Previously, the main tool used to work with PEPA files was the PEPA Workbench, which contained-among many features-a visual debugger. The debugger created a visual, state machine representation of the PEPA file and allowed users to navigate through different states and perform simulation...
متن کاملBottom-Up Beats Top-Down
In PEPA, the calculation of the transitions enabled by a process accounts for a large part of the time for the state space exploration of the underlying Markov chain. Unlike other approaches based on recursion, we present a new technique that is iterative—it traverses the process’ binary tree from the sequential components at the leaves up to the root. Empirical results shows that this algorith...
متن کاملThe PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling
In this paper we present a new technique for performance modelling and a tool supporting this approach. Performance Evaluation Process Algebra (PEPA) [1] is an algebraic language which can be used to build models of computer systems which capture information about the performance of the system. The PEPA language serves two purposes as a formal description language for computer system models. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006