Log in

Relevant bibliographies by topics / UML Graph / Journal articles

To see the other types of publications on this topic, follow the link: UML Graph.

Journal articles on the topic 'UML Graph'

Author: Grafiati

Published: 28 June 2021

Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'UML Graph.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Chama, Wafa, Allaoua Chaoui, and Seidali Rehab. "Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars." International Journal of Embedded and Real-Time Communication Systems 6, no. 2 (2015): 48–64. http://dx.doi.org/10.4018/ijertcs.2015040103.

Full text

Abstract:

This paper proposes a Model Driven Engineering automatic translation approach based on the integration of rewriting logic formal specification and UML semi-formal models. This integration is a contribution in formalizing UML models since it lacks for formal semantics. It aims at providing UML with the capabilities of rewriting logic and its Maude language to control and detect incoherencies in their diagrams. Rewriting logic Maude language allows simulation and verification of system's properties using its LTL model-checker. This automatic translation approach is based on meta-modeling and gra

APA, Harvard, Vancouver, ISO, and other styles

2

Outair, Anas, Mariam Tanana, and Abdelouahid Lyhyaoui. "New method for summative evaluation of UML class diagrams based on graph similarities." International Journal of Electrical and Computer Engineering (IJECE) 11, no. 2 (2021): 1578–90. https://doi.org/10.11591/ijece.v11i2.pp1578-1590.

Full text

Abstract:

This paper deals with the problem of the evaluation of the student's productions during the construction of a UML class diagram from textual speciations, which can be a tedious task for teachers. The main objective is to propose a method of summative and semi-automatic evaluation of the class diagrams produced by the students, in order to provide an educational reaction on the learning process, and to reduce the evaluation work for the teachers. To achieve this objective, we must analyze these productions and study the transformation, matching, similarity measurement and comparison of seve

APA, Harvard, Vancouver, ISO, and other styles

3

Eiglsperger, Markus, Carsten Gutwenger, Michael Kaufmann, et al. "Automatic Layout of UML Class Diagrams in Orthogonal Style." Information Visualization 3, no. 3 (2004): 189–208. http://dx.doi.org/10.1057/palgrave.ivs.9500078.

Full text

Abstract:

Unified modelling language (UML) diagrams have become increasingly important in engineering and re-engineering processes for software systems. Of particular interest are UML class diagrams whose purpose is to display generalizations, associations, aggregations, and compositions in one picture. The combination of directed and undirected relations poses a special challenge to a graph layout tool. Current approaches for the automatic layout of class diagrams are based on the layered graph drawing paradigm. These algorithms produce good results for class diagrams with large and deep structural inf

APA, Harvard, Vancouver, ISO, and other styles

4

Ekici, Nazım Umut, and Tugkan Tuglular. "Automatic Test Sequence Generation and Functional Coverage Measurement From UML Sequence Diagrams." International Journal of Information System Modeling and Design 14, no. 1 (2023): 1–21. http://dx.doi.org/10.4018/ijismd.332865.

Full text

Abstract:

Sequence diagrams define functional requirements through use cases. However, their visual form limits their usability in the later stages of the development life cycle. This work proposes a method to transform sequence diagrams into graph-based event sequence graphs, allowing the application of graph analysis methods and defining graph-based coverage criteria. This work explores these newfound abilities in two directions. The first is to use coverage criteria along with existing tests to measure their coverage levels, providing a metric of how well they address the scenarios defined in sequenc

APA, Harvard, Vancouver, ISO, and other styles

5

Ziemann, Paul, Karsten Hölscher, and Martin Gogolla. "From UML Models to Graph Transformation Systems." Electronic Notes in Theoretical Computer Science 127, no. 4 (2005): 17–33. http://dx.doi.org/10.1016/j.entcs.2004.10.025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Anas, Outair, Tanana Mariam, and Lyhyaoui Abdelouahid. "New method for summative evaluation of UML class diagrams based on graph similarities." International Journal of Electrical and Computer Engineering (IJECE) 11, no. 2 (2021): 1578. http://dx.doi.org/10.11591/ijece.v11i2.pp1578-1590.

Full text

Abstract:

This paper deals with the problem of the evaluation of the student's productions during the construction of a UML class diagram from textual speciations, which can be a tedious task for teachers. The main objective is to propose a method of summative and semi-automatic evaluation of the class diagrams produced by the students, in order to provide an educational reaction on the learning process, and to reduce the evaluation work for the teachers. To achieve this objective, we must analyze these productions and study the transformation, matching, similarity measurement and comparison of several

APA, Harvard, Vancouver, ISO, and other styles

7

Kundu, Debasish, Debasis Samanta, and Rajib Mall. "An Approach to Convert XMI Representation of UML 2.x Interaction Diagram into Control Flow Graph." ISRN Software Engineering 2012 (March 7, 2012): 1–22. http://dx.doi.org/10.5402/2012/265235.

Full text

Abstract:

For automation of many software engineering tasks such as program analysis, testing, and coverage analysis, it is necessary to construct a control flow graph. With the advancement of UML, software practitioners advocate to construct control flow graph from some of the UML design artifacts. UML 2.x supports the modeling of control flow information in interaction diagram by means of message sequences and different types of fragments like alt, opt, break, loop, and so forth. Leading UML modeling tools, namely MagicDraw, IBM's Rational, and so forth export models in XMI format. Construction of con

APA, Harvard, Vancouver, ISO, and other styles

8

O., V. GORBOVA. "MODELING WORK OF SORTING STATION USING UML." Science and Transport Progress, no. 1(55) (February 26, 2015): 129–38. https://doi.org/10.15802/stp2015/38260.

Full text

Abstract:

<strong>Purpose. </strong>The purpose of this paper is the construction of methods and models for the graphical representation process of sorting station, using the unified modeling language (UML). <strong>Methodology.</strong> Methods of graph theory, finite automata and the representation theory of queuing systems were used as the methods of investigation. A graphical representation of the process was implemented with using the Unified Modeling Language UML. The sorting station process representation is implemented as a state diagram and actions through a set of IBM Rational R

APA, Harvard, Vancouver, ISO, and other styles

9

Belghiat, Aissam, та Allaoua Chaoui. "Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation". International Journal of Intelligent Information Technologies 12, № 4 (2016): 1–20. http://dx.doi.org/10.4018/ijiit.2016100101.

Full text

Abstract:

Mobile UML (M-UML) has been proposed as an extension of UML to model mobile agent-based software systems. As UML, M-UML suffers from lack of formal semantics due to its semi-formal nature which penalize the verification of correct behavior of the modeled systems. This paper provides a graphical yet formal approach for the modeling, simulation and verification of mobile statechart diagrams using graph transformations in the AToM3 tool. The authors have firstly proposed meta-models for mobile statechart diagram and flowgraph. Then, a twofold graph grammar is developed for the automatic mapping o

APA, Harvard, Vancouver, ISO, and other styles

10

Jha, Pragya, Madhusmita Sahu, and Takanori Isobe. "A UML Activity Flow Graph-Based Regression Testing Approach." Applied Sciences 13, no. 9 (2023): 5379. http://dx.doi.org/10.3390/app13095379.

Full text

Abstract:

Regression testing is a crucial process that ensures that changes made to a system do not affect existing functionalities. However, there is currently no adequate technique for selecting test cases that consider changes in Unified Modeling Language (UML) activity flow graphs. This paper proposes a novel approach to regression testing of UML diagrams, focusing on healthcare management systems. We provide a formal definition of sequence and activity diagrams and their relationship and construct corresponding activity flow graphs, which are used to develop a regression testing algorithm. The prop

APA, Harvard, Vancouver, ISO, and other styles

11

Purchase, Helen C., Jo-Anne Allder, and David Carrington. "Graph Layout Aesthetics in UML Diagrams: User Preferences." Journal of Graph Algorithms and Applications 6, no. 3 (2002): 255–79. http://dx.doi.org/10.7155/jgaa.00054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Gogolla, Martin, Paul Ziemann, and Sabine Kuske. "Towards an Integrated Graph Based Semantics for UML." Electronic Notes in Theoretical Computer Science 72, no. 3 (2003): 160–75. http://dx.doi.org/10.1016/s1571-0661(04)80619-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Hölscher, Karsten, Paul Ziemann, and Martin Gogolla. "On translating UML models into graph transformation systems." Journal of Visual Languages & Computing 17, no. 1 (2006): 78–105. http://dx.doi.org/10.1016/j.jvlc.2005.11.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Kuske, Sabine, Martin Gogolla, Hans-Jörg Kreowski, and Paul Ziemann. "Towards an integrated graph-based semantics for UML." Software & Systems Modeling 8, no. 3 (2008): 403–22. http://dx.doi.org/10.1007/s10270-008-0101-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Čech, Pavel. "Matching UML class models using graph edit distance." Expert Systems with Applications 130 (September 2019): 206–24. http://dx.doi.org/10.1016/j.eswa.2019.04.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

KONG, JUN, DIANXIANG XU, and XIAOQIN ZENG. "UML-BASED MODELING AND ANALYSIS OF SECURITY THREATS." International Journal of Software Engineering and Knowledge Engineering 20, no. 06 (2010): 875–97. http://dx.doi.org/10.1142/s0218194010004980.

Full text

Abstract:

Poor design has been a major source of software security problems. Rigorous and designer-friendly methodologies for modeling and analyzing secure software are highly desirable. A formal method for software development, however, often suffers from a gap between the rigidity of the method and the informal nature of system requirements. To narrow this gap, this paper presents a UML-based framework for modeling and analyzing security threats (i.e. potential security attacks) rigorously and visually. We model the intended functions of a software application with UML statechart diagrams and the secu

APA, Harvard, Vancouver, ISO, and other styles

17

RAFE, VAHID, ADEL T. RAHMANI, and REZA RAFEH. "FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 20, no. 05 (2010): 679–94. http://dx.doi.org/10.1142/s0218194010004918.

Full text

Abstract:

Graph transformation is a general visual modeling language which is suitable for stating the dynamic semantics of the designed models formally. We present a highly understandable yet precise approach to formally define the behavioral semantics of UML 2.0 Activity diagrams by using graph transformation. In our approach we take into account control flow and data flow semantics. Our proposed semantics is based on token-like semantics and traverse-to-completion. The main advantage of our approach is automated formal verification and analysis of UML Activities. We use AGG to design Activities and w

APA, Harvard, Vancouver, ISO, and other styles

18

Liamwiset, Chalida, and Vatanawood Wiwat. "Detection of Design Patterns in Software Design Model Using Graph." Applied Mechanics and Materials 411-414 (September 2013): 559–62. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.559.

Full text

Abstract:

Detection of design patterns in software design phase possibly ensures the non-functional requirements, regarding performance features, before investing the implementation. We formalize the structural UML class diagram using graph. By applying graph matching technique, we propose an alternative of subgraph matching algorithm to extract the local properties of the UML class diagrams and perform the detecting of subgraph of possible design patterns found in the target software design model.

APA, Harvard, Vancouver, ISO, and other styles

19

Depke, Ralph, Reiko Heckel, and Jochen Malte Küster. "Formal agent-oriented modeling with UML and graph transformation." Science of Computer Programming 44, no. 2 (2002): 229–52. http://dx.doi.org/10.1016/s0167-6423(02)00040-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Kong, Jun, Kang Zhang, Jing Dong, and Dianxiang Xu. "Specifying behavioral semantics of UML diagrams through graph transformations." Journal of Systems and Software 82, no. 2 (2009): 292–306. http://dx.doi.org/10.1016/j.jss.2008.06.030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Panigrahi, Satya Sobhan, and Ajay Kumar Jena. "Optimization of Test Cases in Object-Oriented Systems Using Fractional-SMO." International Journal of Open Source Software and Processes 12, no. 1 (2021): 41–59. http://dx.doi.org/10.4018/ijossp.2021010103.

Full text

Abstract:

This paper introduces the technique to select the test cases from the unified modeling language (UML) behavioral diagram. The UML behavioral diagram describes the boundary, structure, and behavior of the system that is fed as input for generating the graph. The graph is constructed by assigning the weights, nodes, and edges. Then, test case sequences are created from the graph with minimal fitness value. Then, the optimal sequences are selected from the proposed fractional-spider monkey optimization (fractional-SMO). The developed fractional-SMO is designed by integrating fractional calculus a

APA, Harvard, Vancouver, ISO, and other styles

22

Gupta, K., and P. Goyal. "Implementation of Test Suites using Enhanced State Chart Diagrams: A Case Study." Journal of Scientific Research 15, no. 3 (2023): 637–49. http://dx.doi.org/10.3329/jsr.v15i3.63787.

Full text

Abstract:

An essential part of software engineering is testing. A series of pre-testing tasks should be completed before performing testing tasks. Implementing test suites is one of the pre-testing phases. In this work, a case study has been used to implement the suggested method for implementing test suites. The strategy is based on an analysis of UML (Unified Modelling Language) enhanced state chart diagrams (SCDs). UML state chart diagram analysis, AD (activity diagram) conversion into a graph, AG (activity graph) simplification, and test suite implementation are all steps in the generating process.

APA, Harvard, Vancouver, ISO, and other styles

23

Lukacs, D., and M. Toth. "Translating Erlang State Machines to UML Using Triple Graph Grammars." Studia Universitatis Babeș-Bolyai Informatica 63, no. 1 (2018): 33–50. http://dx.doi.org/10.24193/subbi.2018.1.03.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Ziemann, Paul, Karsten Hölscher, and Martin Gogolla. "Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations." Electronic Notes in Theoretical Computer Science 130 (May 2005): 263–80. http://dx.doi.org/10.1016/j.entcs.2005.03.014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Ahmad, Tanwir, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, and Ivan Porres. "Model-based testing using UML activity diagrams: A systematic mapping study." Computer Science Review 33 (October 7, 2019): 98–112. https://doi.org/10.1016/j.cosrev.2019.07.001.

Full text

Abstract:

Context: The Unified Modeling Language (UML) has become the de facto standard for software modeling. UML models are often used to visualize, understand, and communicate the structure and behavior of a system. UML activity diagrams (ADs) are often used to elaborate and visualize individual use cases. Due to their higher level of abstraction and process-oriented perspective, UML ADs are also highly suitable for model-based test generation. In the last two decades, different researchers have used UML ADs for test generation. Despite the growing use of UML ADs for model-based testing, there are cu

APA, Harvard, Vancouver, ISO, and other styles

26

Huang, C. Y., and X. G. Fu. "Study on the Computer Modeling Technology of Die Design and Engineering." Advanced Materials Research 670 (March 2013): 45–47. http://dx.doi.org/10.4028/www.scientific.net/amr.670.45.

Full text

Abstract:

UML modeling technology combines static modeling process (object graph) and dynamic modeling process (cooperation figure, sequence diagram), and the dynamic modeling process makes static modeling process move forward. This paper introduces the geometrical modeling technology of CAD/CAM, feature modeling technology, the characteristic modeling technology of UML and the application in the mould design.

APA, Harvard, Vancouver, ISO, and other styles

27

Chama, Wafa. "Model Checking and Code Generation for UML Diagrams Using Graph Transformation." International Journal of Software Engineering & Applications 3, no. 6 (2012): 39–55. http://dx.doi.org/10.5121/ijsea.2012.3604.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Grønmo, Roy, and Birger Møller-Pedersen. "From UML 2 Sequence Diagrams to State Machines by Graph Transformation." Journal of Object Technology 10 (2011): 8:1. http://dx.doi.org/10.5381/jot.2011.10.1.a8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Outair, Anas, Abdelouahid Lyhyaoui, and Mariam Tanana. "Towards an Automatic Evaluation of UML Class Diagrams by Graph Transformation." International Journal of Computer Applications 95, no. 21 (2014): 36–41. http://dx.doi.org/10.5120/16721-7063.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Aouag, Mouna, Raida Elmansouri, and Allaoua Chaoui. "From UML 2.0 diagrams to aspect oriented diagrams using graph transformation." International Journal of Computer Aided Engineering and Technology 6, no. 2 (2014): 200. http://dx.doi.org/10.1504/ijcaet.2014.060309.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Goto, Takaaki, Tadaaki Kirishima, Tetsuro Nishino, Takeo Yaku, and Kensei Tsuchida. "Generation of UML package diagrams based on an attribute graph grammar." Journal of Computational Science 5, no. 4 (2014): 606–15. http://dx.doi.org/10.1016/j.jocs.2014.02.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Cabot, Jordi, Robert Clarisó, Esther Guerra, and Juan de Lara. "A UML/OCL framework for the analysis of graph transformation rules." Software & Systems Modeling 9, no. 3 (2009): 335–57. http://dx.doi.org/10.1007/s10270-009-0129-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Belghiat, Aissam, and Mustapha Bourahla. "UML Class Diagrams to OWL Ontologies: A Graph Transformation based Approach." International Journal of Computer Applications 41, no. 3 (2012): 41–46. http://dx.doi.org/10.5120/5525-7566.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Arifin, Mohammad Nazir, and Daniel Siahaan. "Structural and Semantic Similarity Measurement of UML Use Case Diagram." Lontar Komputer : Jurnal Ilmiah Teknologi Informasi 11, no. 2 (2020): 88. http://dx.doi.org/10.24843/lkjiti.2020.v11.i02.p03.

Full text

Abstract:

Reusing software has several benefits ranging from reducing cost and risk, accelerating development, and its primary purposes are improving software quality. In the early stage of software development, reusing existing software artifacts may increase the benefit of reusing software because it uses mature artifacts from previous artifacts. One of software artifacts is diagram, and in order to assist the reusing diagram is to find the level of similarity of diagrams. This paper proposes a method for measuring the similarity of the use case diagram using structural and semantic aspects. For struc

APA, Harvard, Vancouver, ISO, and other styles

35

Munawaroh, Hidayatul. "Pengukuran Keserupaan pada Communication Diagram menggunakan Metode Graph Edit Distance." Jurnal Teknologi Dan Sistem Informasi Bisnis 5, no. 4 (2023): 460–67. http://dx.doi.org/10.47233/jteksis.v5i4.900.

Full text

Abstract:

E-learning merupakan sistem pembelajaran elektronik yang dibuat sebagai media belajar sehingga penyampaian materi pembelajaran dan penilaian jawaban soal latihan maupun ujian secara online. Pembelajaran dengan metode e-learning memberikan kesempatan bagi peserta didik untuk mengikuti pembelajaran di lokasi dan waktu yang fleksibel. Model e-learning banyak digunakan pada pembelajaran, sehingga diperlukan peningkatan kebutuhan untuk mengotomatisasi proses evaluasi pada e-learning. Dalam penerapannya, beberapa topik pembelajaran menyertakan jawaban deskriptif atau gambar dalam bentuk diagram Unif

APA, Harvard, Vancouver, ISO, and other styles

36

Djaaboub, Salim, Elhillali Kerkouche, and Allaoua Chaoui. "Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach." International Journal of Embedded Systems 10, no. 6 (2018): 453. http://dx.doi.org/10.1504/ijes.2018.095751.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Chaoui, Allaoua, Elhillali Kerkouche, and Salim Djaaboub. "Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach." International Journal of Embedded Systems 10, no. 6 (2018): 453. http://dx.doi.org/10.1504/ijes.2018.10016822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Rahmoune, Yasmina, Allaoua Chaoui, and Elhillali Kerkouche. "A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation." Procedia Computer Science 56 (2015): 612–17. http://dx.doi.org/10.1016/j.procs.2015.07.261.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Guerrouf, Fayçal, and Tigane Samir. "A graph transformation approach of statechart diagrams to generalized stochastic petri nets." STUDIES IN ENGINEERING AND EXACT SCIENCES 5, no. 2 (2024): e11831. https://doi.org/10.54021/seesv5n2-693.

Full text

Abstract:

The Unified Modeling Language (UML) is a widely adopted standard for visualizing, specifying, constructing, and documenting software system artifacts. It enables developers to design diagrams that effectively represent complex relationships and processes. Despite its versatility, UML lacks the formal notation necessary for rigorous analysis and verification. To address this limitation, we propose an approach for transforming Statechart diagrams (STD), a type of UMLs behavioral diagram, into generalized stochastic Petri nets (GSPN). The latter is a well-established framework for representing an

APA, Harvard, Vancouver, ISO, and other styles

40

Hamrouche, Houda, Allaoua Chaoui, and Smaine Mazouzi. "A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams." Computing and Informatics 41, no. 5 (2022): 1284–309. http://dx.doi.org/10.31577/cai_2022_5_1284.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Kuropiatnyk, O. S., and B. M. Yakovenko. "Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model." Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport, no. 4(94) (August 17, 2021): 12–24. http://dx.doi.org/10.15802/stp2021/245666.

Full text

Abstract:

Purpose.The main article purpose is to develop and implement the method for identifying the correspondence between the text and the program algorithm represented in the form of a flowchart. As part of the method work conversion of the input data in the graph representation is performed by means of constructive-synthesizing modelling. Methodology. To compare the program text and flowchart, we constructed a mathematical model for converting the program code into a graphical representation on the basis of control structures. To build the model, the apparatus of constructive-synthesizing modeling

APA, Harvard, Vancouver, ISO, and other styles

42

Kerkouche, Elhillali, Algeria Allaoua Chaoui, El Bay Bourennane, and Ouassila Labbani. "A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation." Journal of Object Technology 9, no. 4 (2010): 25. http://dx.doi.org/10.5381/jot.2010.9.4.a2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Iqbal, Sidra, Nazir Ahmad Zafar, Tariq Ali, and Eman H. Alkhammash. "Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL." Energies 15, no. 3 (2022): 1013. http://dx.doi.org/10.3390/en15031013.

Full text

Abstract:

VANETs have gained much attention from both industry and academia because of their characteristics, such as dynamic topology. There are various applications of VANETs that are classified on the basis of safety, efficiency, commercial usage, and productive areas. This paper presents an IoT-based formal model for vehicle-life integration enabling RSUs with the help of different approaches. We have developed a model that uses vehicle scenarios in smart transportation systems so that quick data transmission is provided between the source and destination vehicles. Further, fog-based RSUs provide a

APA, Harvard, Vancouver, ISO, and other styles

44

Kerkouche, Elhillali, Khaled Khalfaoui, and Allaoua Chaoui. "A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach." International Journal of Computer Aided Engineering and Technology 12, no. 2 (2020): 237. http://dx.doi.org/10.1504/ijcaet.2020.10026291.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Kerkouche, Elhillali, Khaled Khalfaoui, and Allaoua Chaoui. "A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach." International Journal of Computer Aided Engineering and Technology 12, no. 2 (2020): 237. http://dx.doi.org/10.1504/ijcaet.2020.105578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

DEPKE, RALPH, REIKO HECKEL, and JOCHEN MALTE KÜSTER. "ROLES IN AGENT-ORIENTED MODELING." International Journal of Software Engineering and Knowledge Engineering 11, no. 03 (2001): 281–302. http://dx.doi.org/10.1142/s0218194001000529.

Full text

Abstract:

For the generic specification of protocols, goals, or workflows, many approaches to agent-oriented modeling provide a concept of role. Roles abstract from the concrete agents involved in an interaction. They provide means for the evolution of agents and serve as components of agent design. Despite the widespread usage of roles in agent-oriented modeling, a systematic analysis of the different aspects and properties of this concept is still missing. In this paper, we perform such an analysis and identify requirements for a general role concept. We develop such a role concept for a modeling appr

APA, Harvard, Vancouver, ISO, and other styles

47

O.Pandithurai, Et al. "Using Attack Path Formalisation Analysis in Software Design Stage Threat Modelling Method." International Journal on Recent and Innovation Trends in Computing and Communication 11, no. 3 (2023): 362–65. http://dx.doi.org/10.17762/ijritcc.v11i3.9870.

Full text

Abstract:

This research proposes a comprehensive method for threat modeling in the software design stage, incorporating attack path formalization analysis. The approach involves extracting software defect information through UML active graph decomposition of the application or system and performing threat modeling. The method comprises several steps, including creating and modeling use cases, generating an application/system silhouette, decomposing the application/system using the active graph, constructing a threat tree with key asset information as the threat object, classifying and evaluating the thr

APA, Harvard, Vancouver, ISO, and other styles

48

Alonso, Diego, Pedro Sánchez, and Bárbara Álvarez. "A Graph-Based Approach for Modelling Quantum Circuits." Applied Sciences 13, no. 21 (2023): 11794. http://dx.doi.org/10.3390/app132111794.

Full text

Abstract:

A crucial task for the systematic application of model-driven engineering techniques in the development of quantum software is the definition of metamodels, as a first step towards automatic code generation and integration with other tools. The importance is even greater when considering recent work where the first extensions to UML for modelling quantum circuits are emerging and the characterisation of these extensions in terms of their suitability for a model-driven approach becomes unavoidable. After reviewing the related work, this article proposes a unified metamodel for modelling quantum

APA, Harvard, Vancouver, ISO, and other styles

49

SHIN, MICHAEL E., ALEXANDER H. LEVIS, LEE W. WAGENHALS, and DAE-SIK KIM. "ANALYZING DYNAMIC BEHAVIOR OF LARGE-SCALE SYSTEMS THROUGH MODEL TRANSFORMATION." International Journal of Software Engineering and Knowledge Engineering 15, no. 01 (2005): 35–60. http://dx.doi.org/10.1142/s0218194005001896.

Full text

Abstract:

This paper describes model transformation for analyzing dynamic behavior of large-scale systems. The Unified Modeling Language (UML) based system model is transformed into the Colored Petri Nets (CPN) model, which is used for analyzing the scenarios of the use cases of a system and checking freedom of system deadlock at an early stage of software development. The CPN model that is executable is hierarchically structured on the basis of the functional decomposition of a large-scale system. The UML-based system model consisting of the use case model, class model and collaboration model is not ex

APA, Harvard, Vancouver, ISO, and other styles

50

Arlos Medina, Oscar, Marcelo Martín Marciszack, and Mario Alberto Groppo. "Trazabilidad y validación de requerimientos funcionales de sistemas informáticos mediante la transformación de modelos conceptuales - Traceability and validation for functional requirements of information systems using conceptual model transformation." ReCIBE, Revista electrónica de Computación, Informática, Biomédica y Electrónica 5, no. 1 (2017): II. http://dx.doi.org/10.32870/recibe.v5i1.53.

Full text

Abstract:

El objetivo de este trabajo es caracterizar un método que permita la trazabilidad y validación de requerimientos funcionales de un sistema de información mediante la transformación de modelos conceptuales. Para lo cual se construyó un software denominado SIAR (Sistema Integral de Administración de Requerimientos) que administra los requerimientos funcionales y utiliza UML (Lenguaje Unificado de Modelado) para su representación como Casos de Uso. La finalidad principal de esta aplicación web es la gestión de Casos de Uso con una herramienta que agilice su registro, normalice su contenido y posi

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!