Enhancing Formal Methods Integration with ACP2Petri
Journal Title: Journal of Information and Organizational Sciences - Year 2016, Vol 40, Issue 2
Abstract
The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension. Shortcomings and limitations found are described and proposed solutions provided within the paper. Implemented extensions, simplifying the usage of the tool and providing more options for analysis of particular transformation, are also presented. One of the most evident extensions of the tool is its graphical user interface, which allows for convenient management and detailed control over the process of transformation.
Authors and Affiliations
Slavomír Šimoňák, Martin Šolc
Keywords
Related Articles
- EP ID EP404338
- DOI 10.31341/jios.40.2.4
- Views 122
- Downloads 0
Exploring Technostress: Results of a Large Sample Factor Analysis
With reference to the results of a large sample factor analysis, the article aims to propose the frame examining technostress in a population. The survey and principal component analysis of the sample consisting of 1013...
MATT: Multi Agents Testing Tool Based Nets within Nets
Testing is a software development activity, devoted to evaluating product quality and improving it by identifying defects and problems. Concerning multi agent systems, testing is a challenging task, which asks for new te...
Boosting Ensembles of Heavy Two-Layer Perceptrons for Increasing Classification Accuracy in Recognizing Shifted-Turned-Scaled Flat Images with Binary Features
A method of constructing boosting ensembles of heavy two-layer perceptrons is stated. The benchmark classification problem is recognition of shifted-turned-scaled flat images of a medium format with binary features. The...
Learning Analytics for Peer-assessment: (Dis)advantages, Reliability and Implementation
Learning analytics deals with the data that occurs from students' interaction with ICT: collecting data, analyzing and reporting that can influence learning and teaching. Analysis of validity and reliability of assessmen...
Business Model Grounds and Links: Towards Enterprise Architecture Perspective
The business model concept emerged in theory and practice without a consensus on the understanding of the concept, but it has become a well accepted and useful construct in fields such as strategy, organization, informat...