786,329 Hits in 7.0 sec

Comparison of Model Checking Tools for Information Systems [chapter]

Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar
2010 Lecture Notes in Computer Science  
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications.  ...  Three characteristics are evaluated: ease of specifying information system i) behavior, ii) properties, and iii) the number of IS entity instances that can be checked.  ...  NuSMV uses a symbolic representation of the specification in order to check a model against a property. Originally, SMV was a tool for checking CTL properties on a symbolic model.  ... 
doi:10.1007/978-3-642-16901-4_38 fatcat:avugnwplvrahvj4a6jfxywyl7q

Integrating Production Automation Expert Knowledge Across Engineering Stakeholder Domains

Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, Dietmar Winkler
2010 2010 International Conference on Complex, Intelligent and Software Intensive Systems  
We evaluate the proposed approach with data from real-world use cases from the production automation domain on data exchange between tools and model checking across tools.  ...  The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering.  ...  Min and Uwe Szabo for their work regarding design and implementation of the SAW prototype.  ... 
doi:10.1109/cisis.2010.57 dblp:conf/cisis/MoserBSW10 fatcat:v2m2dis2djc4hf6ea7xyhilf74

Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product Line Organizations

Mervi Koivulahti-Ojala, Timo Kakola
2010 2010 43rd Hawaii International Conference on System Sciences  
This article's contribution is a framework for evaluating the version management features of UML modeling tools for multi-site, multi-partner software product line organizations.  ...  Today's UML modeling tools support sophisticated version management for managing parallel and distributed modeling.  ...  A framework for analyzing product line models as means of communication and information sharing.  ... 
doi:10.1109/hicss.2010.213 dblp:conf/hicss/Koivulahti-OjalaK10 fatcat:6ditx2ocsvbirjptxcj4uw2ao4

Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model

Viktoria Ovchinnikova, Erika Nazaruka
2017 Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering  
The paper presents an overview of modeling tools for the execution of models and the ways that they can aid software development.  ...  The system functionality can be shown as Topological Functioning Model and this functionality can be validated with the help of modeling tools.  ...  COMPARISON OF MODELING TOOLS FOR EXECUTION MODELS Modeling tools that support execution of models aim to represent the executable and traceable behavior of the system.  ... 
doi:10.5220/0006388403550366 dblp:conf/enase/OvchinnikovaN17 fatcat:c5d4o6a74rdgdkgxvapjgscvhm

On the Selection of Process Mining Tools

Panagiotis Drakoulogkonas, Dimitris Apostolou
2021 Electronics  
Process mining is a research discipline that applies data analysis and computational intelligence techniques to extract knowledge from event logs of information systems.  ...  This paper provides a survey of process mining software tools. It identifies and describes criteria that can be useful for comparing the tools.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/electronics10040451 fatcat:vhdxjxpwljh7rgjfhkpmyaxxyu

Benchmarking finite-state verifiers

George S. Avrunin, James C. Corbett, Matthew B. Dwyer
2000 International Journal on Software Tools for Technology Transfer (STTT)  
A variety of largely automated methods have been proposed for finite-state verification of software systems.  ...  But this information is critical for the transfer of the technology from research to practice.  ...  The problem with testing is coverage: it is usually infeasible to check more than a very small fraction of the possible executions of the system, and testing can give no information about those executions  ... 
doi:10.1007/s100090050038 fatcat:2cdukk2tu5hwfa2yfta5rrdsrq

A New Online Plagiarism Detection System based on Deep Learning

El Mostafa Hambi, Faouzia Benabbou
2020 International Journal of Advanced Computer Science and Applications  
To evaluate our system, we carried out a study on plagiarism detection tools from the academic field and make a comparison based on a set of features.  ...  Our system uses three layers: Preprocessing Layer including word embedding, Learning Layers and Detection Layer.  ...  This part contains hyperparameters used to adjust the three models in learning process, for more information see [19] [14]. C.  ... 
doi:10.14569/ijacsa.2020.0110956 fatcat:2s5ogba4svgmdejquqxtrt3oo4

Process Mining Tools Comparison

2018 AJIT-e Online Academic Journal of Information Technology  
For this reason, event logs are checked. Event logs consist of large data. Because the event logs keep all the records that occur during short time intervals.  ...  Process mining is a new era in the science of data mining and is a subset of business intelligence.  ...  Therefore, models that are generated by software can be investigated for conformance checking. Conformance checking is a plug-in, which controls the process model from two point of view.  ... 
doi:10.5824/1309-1581.2018.4.007.x fatcat:zzdr5ms5qbdwhfwwjbsxs2seoe

s-SCMM: A Simplified Software Configuration Management Model for Software Services in Public University

Zulaikha Mohamad, Jamaiah Yahaya, Aziz Deraman, Zulkefli Mansor
2020 International Journal on Advanced Science, Engineering and Information Technology  
The s-SCMM model is simplified by focusing on change management, version control, system building, and release management.  ...  Some of the SCM activities could be aided by using the SCM automated tools, however not all practitioners opted that due to inflexibility of the tools.  ...  Since all type of SCM tools contribute to managing each process component, all three types of SCM tools are selected for included in the proposed model.  ... 
doi:10.18517/ijaseit.10.2.10274 fatcat:naoysyfjsvbctgeppem4vswylm

Inconsistency Discovery In Multiple State Diagrams

Mohammad N. Alanazi, David A. Gustafson
2008 Zenodo  
The SSA model uses the transition set to link transitions of multiple state diagrams together. The analysis generates three different sets automatically.  ...  We have introduced a transition set that captures relationship information that is not specifiable in UML diagrams.  ...  While this does allow for greater flexibility in how UML can be used, it can lead to inconsistent views of the system being modeled.  ... 
doi:10.5281/zenodo.1330317 fatcat:os6mxrw7u5bije4tjg4pc2yo44

Lightweight Consistency Checking for Agile Model-Based Development in Practice

Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson
2019 Journal of Object Technology  
In model-based development projects, models at different abstraction levels capture different aspects of a software system, e.g., specification or design.  ...  We assess the feasibility and illustrate the potential usefulness of our consistency checking approach, from an industrial agile model-based development point-of-view, through a proof-of-concept implementation  ...  Moreover, we showed the usefulness of lightweight checks for inter-model consistency in a CI pipeline, as well as possible interactions between a CI server, modelling tools and version control systems.  ... 
doi:10.5381/jot.2019.18.2.a11 fatcat:ufkdx3h7xjgjblir7zv3sq2xp4

A comparison framework for runtime monitoring approaches

Rick Rabiser, Sam Guinea, Michael Vierhauser, Luciano Baresi, Paul Grünbacher
2017 Journal of Systems and Software  
The aim of our research therefore was to develop a comparison framework for runtime monitoring approaches.  ...  The full behavior of complex software systems often only emerges during operation. They thus need to be monitored at run time to check that they adhere to their requirements.  ...  While this may be acceptable for some elements -e.g., an approach does not necessarily have to come with end-user tool support for defining the properties/constraints to be checked -the absence of information  ... 
doi:10.1016/j.jss.2016.12.034 fatcat:foeate3v2fb3fbky5z5zh7x3we

SEQ.OPEN: A Tool for Efficient Trace-Based Verification [chapter]

Hubert Garavel, Radu Mateescu
2004 Lecture Notes in Computer Science  
We report about recent enhancements of the Cadp verification tool set that allow to check the correctness of event traces obtained by simulating or executing complex, industrial-size systems.  ...  Acknowledgements The authors are grateful to Bruno Ondet (Inria/Vasy) for his contribution to the implementation of Seq.Open, and to Nicolas Zuanon and Solofo Ramangalahy (Bull) for their industrial feedback  ...  Correctness properties are specified using either regular expressions or µ-calculus formulas, and model checked using dedicated tools of the widespread Cadp verification tool set [9] .  ... 
doi:10.1007/978-3-540-24732-6_11 fatcat:wrgxe42wird2hgab53ddkxanle

DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems

Dongming Xiang, Fang Zhao, Yaping Liu
2021 Mathematics  
However, most tools are not suitable to analyze data-flow errors of concurrent systems because they do not formalize data information and lack efficient computing methods for analyzing data-flows.  ...  To alleviate these problems, we develop a new model checker DICER 2.0. By using this tool, we can model the control-flows and data-flows of concurrent software systems.  ...  Informed Consent Statement: Not applicable. Data Availability Statement: Not applicable. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/math9090966 doaj:49d911fcc06e4c7baa45c07bdd4788c9 fatcat:btae5wmyjva3tg7o5ls62ujubu

Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks

Mohsin Memon, Sania Bhatti, Sheeraz Memon
2012 Mehran University Research Journal of Engineering and Technology  
In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks).  ...  Here we are categorizing the model checking tools and presenting how they have been used for the investigation of various behaviours of WSN solutions.  ...  UPPAAL COMPARISON OF MODEL CHECKING TOOLS The key features supported by different model checking tools are presented in Table 1 .  ... 
doaj:6560c38010264d3cb3c00ae07c086cac fatcat:4wwnocqljrgnxpeudm4rik7mwq
« Previous Showing results 1 — 15 out of 786,329 results