Formal specification and verification of few combined fragments of UML sequence diagram
NA Zafar - Arabian journal for science and engineering, 2016 - Springer
UML has become a de-facto standard for design and development of object-oriented
systems. On the other hand, UML includes various diagrams and notations which are …
systems. On the other hand, UML includes various diagrams and notations which are …
Transformation of usecase and sequence diagrams to petri nets
With the growing use of UML diagrams for software design description and the importance of
nonfunctional requirements evaluation at software development process, transforming these …
nonfunctional requirements evaluation at software development process, transforming these …
An ontology framework for generating discrete-event stochastic models
Discrete-event stochastic models are a widely used approach for studying the behavior of
systems that have not been implemented or that it would be too costly to examine directly …
systems that have not been implemented or that it would be too costly to examine directly …
[PDF][PDF] Software safety analysis with UML-Based SRBD and fuzzy VIKOR-Based FMEA
Software often controls the behavior of mechanical and electrical systems, as well as
interactions among their components in cyberphysical systems (CPS). The risks in CPS …
interactions among their components in cyberphysical systems (CPS). The risks in CPS …
Mapping annotated use case and sequence diagrams to a petri net notation for performance evaluation
With the growing use of UML diagrams for software description and the importance of non-
functional requirements evaluation at software design level, transforming these diagrams to …
functional requirements evaluation at software design level, transforming these diagrams to …
[PDF][PDF] A new executable model for software architecture based on Petri Net
With the growing use of UML diagrams for software architecture description and the
importance of non-functional requirements evaluation at software architecture level, filling …
importance of non-functional requirements evaluation at software architecture level, filling …
[图书][B] Artificial Intelligence and Data Mining for Mergers and Acquisitions
D Chanda - 2021 - taylorfrancis.com
The goal of this book is to present a modeling framework for the Virtual Organization that is
focused on process composition. This framework uses Predicate Calculus Knowledge …
focused on process composition. This framework uses Predicate Calculus Knowledge …
Activity-based approach to derive system models from business process models
FA Aburub - International Conference on Information Society (i …, 2012 - ieeexplore.ieee.org
A new method for deriving system models based on business process models is presented
in this paper. The congruence between the central notion ofautomated activity'in improved …
in this paper. The congruence between the central notion ofautomated activity'in improved …
[HTML][HTML] Quantitative and qualitative analysis of SysML activity diagrams
Abstract Model-driven engineering refers to a range of approaches that uses models
throughout systems and software development life cycle. Towards sustaining such a …
throughout systems and software development life cycle. Towards sustaining such a …
Design Safe Software via UML-based SFTA in Cyber Physical Systems
In cyber physical systems (CPSs), hazards can lead to injuries, deaths, destructions or loss
of vital equipment or environmental damages. In these systems, software controls the …
of vital equipment or environmental damages. In these systems, software controls the …