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

Journal articles on the topic 'UML Graph'

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

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
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

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
5

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
6

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
7

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
8

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
9

Č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
10

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
11

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
12

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
13

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
14

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
15

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
16

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
17

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
18

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
19

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
20

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
21

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
22

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
23

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
24

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
25

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
26

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
27

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
28

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
29

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
30

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
31

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
32

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
33

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
34

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
35

Kuzmina, E. A., and G. F. Nizamova. "Curriculum development based on the graph model." Informatics and education, no. 5 (July 4, 2020): 33–43. http://dx.doi.org/10.32517/0234-0453-2020-35-5-33-43.

Full text
Abstract:
The article discusses the approach to planning interrelated work within a given number of time periods using the example of the formation of a curriculum of a higher educational institution based on the competence model of students. It is proposed to consider the task of forming a curriculum as an optimization task of cutting-packing, solved with the help of an ordered graph. A logical model of the curriculum is developed in the form of an N-layer ordered graph in which the vertices correspond to the disciplines of the curriculum, and the arcs specify the relations of the preceding of discipli
APA, Harvard, Vancouver, ISO, and other styles
36

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
37

Ramsaier, M., R. Stetter, M. Till, and S. Rudolph. "ABSTRACT PHYSICS REPRESENTATION OF A BALANCED TWO-WHEEL SCOOTER IN GRAPH-BASED DESIGN LANGUAGES." Proceedings of the Design Society: DESIGN Conference 1 (May 2020): 1057–66. http://dx.doi.org/10.1017/dsd.2020.32.

Full text
Abstract:
AbstractThis paper presents a novel approach to include a holistic description of abstract physics in a digital engineering framework. Physical phenomena realize the numerous functions of technical systems and are an important link between rather abstract product functions and the concrete product geometry and material. Until now, a possibility to integrate the analysis and synthesis on this level of abstraction into a holistic engineering frameworks is not existing. The novel approach employs graph-based design languages using UML for this endeavour; the product example is a two-wheel scooter
APA, Harvard, Vancouver, ISO, and other styles
38

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
39

Hermann, Frank, Hartmut Ehrig, and Gabriele Taentzer. "A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams." Electronic Notes in Theoretical Computer Science 211 (April 2008): 261–69. http://dx.doi.org/10.1016/j.entcs.2008.04.048.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Sun, J. K., Zhao Qian Li, Chuan Zhen Huang, and Qi Gao. "Framework and Modeling of Networked Manufacturing for Automobile Die." Key Engineering Materials 315-316 (July 2006): 30–34. http://dx.doi.org/10.4028/www.scientific.net/kem.315-316.30.

Full text
Abstract:
To improve the collaboration efficiency of the networked manufacturing coalition for automobile die enterprise, the networked manufacturing system framework is put forward. Then the information model, resource model and organization structure model are studied one of the other. The information model contains three layers lengthways and the product lifecycle is divided into 5 stages on landscape; for the resource model, the resource is classified and described, the relationship between resource entities is analyzed. The participants of each member enterprise are grouped according to the task re
APA, Harvard, Vancouver, ISO, and other styles
41

Ko, Jong Won. "Design of MDA Based Model Transformation Profile for Model Verification." Applied Mechanics and Materials 224 (November 2012): 69–72. http://dx.doi.org/10.4028/www.scientific.net/amm.224.69.

Full text
Abstract:
Validation of existing software design models and transformed target models for the study, mainly checking (Model Checking) with a code-based software designed to define in the abstract syntax tree or on the models generated using refactoring on design models for refinery operations and define how to perform. The problem with these traditional research methods, but the first model, design model for checking the information with the model by defining a formal representation in the form of an abstract syntax tree, as you've shown how to perform validation of UML design model. Additional steps ne
APA, Harvard, Vancouver, ISO, and other styles
42

Wu, Hao. "An SMT-based Approach for Generating Coverage Oriented Metamodel Instances." International Journal of Information System Modeling and Design 7, no. 3 (2016): 23–50. http://dx.doi.org/10.4018/ijismd.2016070102.

Full text
Abstract:
An effective technique for generating instances of a metamodel should quickly and automatically generate instances satisfying the metamodel's structural and OCL constraints. Ideally it should also produce quantitatively meaningful instances with respect to certain criteria, that is, instances which meet specified generic coverage criteria that help the modelers test or verify a metamodel at a general level. In this paper, the author presents an approach consisting of two techniques for coverage oriented metamodel instance generation. The first technique realises the standard coverage criteria
APA, Harvard, Vancouver, ISO, and other styles
43

Chandrasekar, K. Raja, and S. Saravanakumar. "OPEN PACKING NUMBER FOR SOME CLASSES OF PERFECT GRAPHS." Ural Mathematical Journal 6, no. 2 (2020): 38. http://dx.doi.org/10.15826/umj.2020.2.004.

Full text
Abstract:
Let \(G\) be a graph with the vertex set \(V(G)\). A subset \(S\) of \(V(G)\) is an open packing set of \(G\) if every pair of vertices in \(S\) has no common neighbor in \(G.\) The maximum cardinality of an open packing set of \(G\) is the open packing number of \(G\) and it is denoted by \(\rho^o(G)\). In this paper, the exact values of the open packing numbers for some classes of perfect graphs, such as split graphs, \(\{P_4, C_4\}\)-free graphs, the complement of a bipartite graph, the trestled graph of a perfect graph are obtained.
APA, Harvard, Vancouver, ISO, and other styles
44

Taryana, Acep, Bangun Wijayanto, Naoyasu Ubayashi, and Joko Setyono. "MODEL-DRIVEN DEVELOPMENT : FASE AWAL VERIFIKASI MODEL DESIGN REKAM MEDIS ELEKTRONIS MENGGUNAKAN PERUMUSAN GRAF LENGKAP." Jurnal Ilmiah Matematika dan Pendidikan Matematika 6, no. 2 (2014): 53. http://dx.doi.org/10.20884/1.jmp.2014.6.2.2904.

Full text
Abstract:
In this paper will be shown a graph formulation as a formal approaches in research Model-Driven Development (MDD) with a case study : the development of Electronic Medical Record (RME) on the scope of the public health center. The model was designed using UML notation and be selected a State Machine diagram that represents prerequisite user needs (requirements). Before the model is derived (driven) into the skeleton code, the accuracy of the state machine must be verified. In order for the State Machine can be verified by formal approach, the State Machine should be first transformed into a pr
APA, Harvard, Vancouver, ISO, and other styles
45

Kadar, Rozita, Jamal Othman, Naemah Abdul Wahab, and Saiful Nizam Warris. "Semantic Metadata Information (SMI) Visualisation Technique Using the Integration of Ontology and UML Graph-Based Approach to Support Program Comprehension." Journal of Computing Research and Innovation 4, no. 1 (2019): 52–63. http://dx.doi.org/10.24191/jcrinn.v4i1.107.

Full text
Abstract:
Representing any ideas with pictures rather than words is intuitively more appealing because a visual presentation can be more readily understood than that of textual-based. Program visualisation is one of the techniques that can be used in teaching to help users in understanding how programs work. Program visualisation technique is a mental image or a visual representation of an object, scene, person or abstraction that is similar to visual perception. This technique is significant to users because the criteria of source code cannot be physically viewed. It is applicable in the process of wri
APA, Harvard, Vancouver, ISO, and other styles
46

Gein, Pavel A. "ON CHROMATIC UNIQUENESS OF SOME COMPLETE TRIPARTITE GRAPHS." Ural Mathematical Journal 7, no. 1 (2021): 38. http://dx.doi.org/10.15826/umj.2021.1.004.

Full text
Abstract:
Let \(P(G, x)\) be a chromatic polynomial of a graph \(G\). Two graphs \(G\) and \(H\) are called chromatically equivalent iff \(P(G, x) = H(G, x)\). A graph \(G\) is called chromatically unique if \(G\simeq H\) for every \(H\) chromatically equivalent to \(G\). In this paper, the chromatic uniqueness of complete tripartite graphs \(K(n_1, n_2, n_3)\) is proved for \(n_1 \geqslant n_2 \geqslant n_3 \geqslant 2\) and \(n_1 - n_3 \leqslant 5\).
APA, Harvard, Vancouver, ISO, and other styles
47

Elmatsani, Huda M. "Desain Sistem Informasi Kehumasan Terintegrasi Situs Media Sosial." Jurnal Edukasi dan Penelitian Informatika (JEPIN) 5, no. 1 (2019): 24. http://dx.doi.org/10.26418/jp.v5i1.31164.

Full text
Abstract:
Media sosial telah memasyarakat. Kehumasan yang mempunyai tugas berkomunikasi dengan masyarakat, mau tidak mau harus juga menggunakan media sosial sebagai salah satu saluran untuk berkomunikasi. Namun, di sisi lain terdapat kendala ketika harus mengumpulkan dan mengelola tanggapan balik dari masyarakat yang bersumber dari beragam media sosial. Penelitian ini mengembangkan sebuah desain sistem informasi kehumasan (SIK) yang terintegrasi dengan Facebook. Tujuannya agar SIK dapat mengelola informasi yang akan dipublikasikan ke medsos serta dapat mengevaluasi dan menanggapi balik setiap umpan bali
APA, Harvard, Vancouver, ISO, and other styles
48

Schalles, Christian, John Creagh, and Michael Rebstock. "A Causal Model for Analyzing the Impact of Graphical Modeling Languages on Usability." International Journal of Software Engineering and Knowledge Engineering 24, no. 09 (2014): 1337–55. http://dx.doi.org/10.1142/s0218194014500417.

Full text
Abstract:
Today, developing the conceptual design of information systems has become inconceivable without the support of graphical models. Models are developed using graph-based modeling languages such as UML. This study focuses on the impact of metamodel properties on different usability attributes in the domain of graphical modeling languages. The study is based on a model of hypotheses including a structural causal model developed under consideration of cognitive theories and usability theory. Survey data is collected and the causal hypotheses are assessed using a structure equation modeling approach
APA, Harvard, Vancouver, ISO, and other styles
49

Efimov, Konstantin S., and Alexander A. Makhnev. "DISTANCE-REGULAR GRAPH WITH INTERSECTION ARRAY {27, 20, 7; 1, 4, 21} DOES NOT EXIST." Ural Mathematical Journal 6, no. 2 (2020): 63. http://dx.doi.org/10.15826/umj.2020.2.006.

Full text
Abstract:
In the class of distance-regular graphs of diameter 3 there are 5 intersection arrays of graphs with at most 28 vertices and noninteger eigenvalue. These arrays are \(\{18,14,5;1,2,14\}\), \(\{18,15,9;1,1,10\}\), \(\{21,16,10;1,2,12\}\), \(\{24,21,3;1,3,18\}\), and \(\{27,20,7;1,4,21\}\). Automorphisms of graphs with intersection arrays \(\{18,15,9;1,1,10\}\) and \(\{24,21,3;1,3,18\}\) were found earlier by A.A. Makhnev and D.V. Paduchikh. In this paper, it is proved that a graph with the intersection array \(\{27,20,7;1,4,21\}\) does not exist.
APA, Harvard, Vancouver, ISO, and other styles
50

Brigl, B., T. Wendt, and A. Winter. "Modeling Hospital Information Systems (Part 1): The Revised Three-layer Graph-based Meta Model 3LGM2." Methods of Information in Medicine 42, no. 05 (2003): 544–51. http://dx.doi.org/10.1055/s-0038-1634381.

Full text
Abstract:
Summary Objectives: Not only architects but also information managers need models and modeling tools for their subject of work. Especially for supporting strategic information management in hospitals, the meta model 3LGM2 is presented as an ontological basis for modeling the comprehensive information system of a hospital (HIS). Methods: In a case study, requirements for modeling HIS have been deduced. Accordingly 3LGM2 has been designed to describe HIS by concepts on three layers. The domain layer consists of enterprise functions and entity types, the logical tool layer focuses on application
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!