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

Journal articles on the topic 'UML Activity Diagrams'

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 Activity Diagrams.'

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

Kulkarni, Dr R. N., and C. K. Srinivasa. "Novel approach to transform UML Sequence diagram to Activity diagram." Journal of University of Shanghai for Science and Technology 23, no. 07 (July 26, 2021): 1247–55. http://dx.doi.org/10.51201/jusst/21/07300.

Full text
Abstract:
Unified Modelling Language (UML) is currently accepted as a defacto standard language for modeling the software in the software industry. It will allow to implement object oriented concepts to model the software system. It provides a complete pictographic representation of software. Broadly these UML diagrams are classified into two groups viz. Structural diagrams and Behavioral diagrams. The sequence diagrams and Activity diagrams belongs to the second group i.e. behavioral diagrams. The sequence diagram represents the sequence of messages flowing from one object to another and activity diagram represents the flow of activities one after the other in a system. In this paper, we are proposing an automated tool which transforms the sequence diagram (which is represented in the table format) into activity diagram. The sequence diagram which is represented in the three column table called sequence table comprises various components of sequence diagram like objects, interactions, messages, alternations, iterations, loops, etc. The proposed tool reads the sequence table and converts the entire table components into the equivalent Activity table. Further the tool reads the activity table and then transforms to its equivalent activity diagram.
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Huifeng, Jian-min Jiang, Zhong Hong, and Ling Lin. "Decomposition of UML activity diagrams." Software: Practice and Experience 48, no. 1 (August 10, 2017): 105–22. http://dx.doi.org/10.1002/spe.2519.

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

Singh, Gurpreet, and Rasbir Singh. "Generation of test cases using UML models." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 13, no. 7 (July 30, 2014): 4671–74. http://dx.doi.org/10.24297/ijct.v13i7.2511.

Full text
Abstract:
Software Testing plays an important role in Software development because it can minimize the development cost. UML is widely used in the software development, there consists of the designing and coding of the software. Designing phase is done with the help of the UML models, which consists of the sequence diagrams, activity diagrams, use case diagrams, state chart diagrams etc. After designing of the system, the next task is coding. Since the software development is time and human resource consuming, the reduction of consumption is done with the help of the code generation automatically. This work mainly focus on the UML sequence diagram and state chart diagram as the model. We Propose a Technique for Test Case Generation using UML Models. UML models give a lot of  information that should not be ignored in testing. An innovative approach of generating test cases from the combination of UML design diagrams has been discussed in this paper. Present work used an approach where sequence diagram and state chart diagram has been used to generate test cases. The test cases thus generated are suitable for dynamic testing of system.
APA, Harvard, Vancouver, ISO, and other styles
4

Mohamed, Sherif Magdy. "Enhanced UML Methodology with New Hybrid Diagrams: An ATM Application." Journal of Education and Vocational Research 4, no. 3 (March 30, 2013): 60–68. http://dx.doi.org/10.22610/jevr.v4i3.101.

Full text
Abstract:
Object oriented proved to be the most important software engineering tools. The main reason behind the importance is that, Object Oriented covers the most powerful programming languages such as Java and C++. UML is a modeling language which is a part of object oriented and it was created to provide the software development industry with analysis and design techniques based on some diagrams. The most common UML diagrams in use are Class and Activity diagram. To implement any system using object oriented UML, the programmer needs at least two or three diagrams beside the Use Case diagram in order to understand a full picture of the system. There is no diagram which can show the full picture of the system. In this research, new methodology called “Touch and Go” has been generated by the researchers to implement the system. In this methodology, analysis and design are merged in one stage called Touch. Implementation and testing stage are merged in one stage called Go. The Class and Activity diagram are merged to introduce new integrated diagram called Enhanced Class Activity (ECA) diagram and the normal Activity diagram will be modified and improved as Activity Remarked Class (ARC) diagram. Analytical analysis of the new methodology is implemented in ATM machine system which can be later implemented using Java language or any other Object Oriented language. A powerful system like ATM is chosen to apply the new technique and it has been shown clearly how the methodology is working perfectly with such system. This study helps to reduce the number of diagrams that are being used to implement the system, reducing total time of implementation and making the coding stage easier by using only few numbers of diagrams.
APA, Harvard, Vancouver, ISO, and other styles
5

LAM, VITUS S. W. "ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS." International Journal of Software Engineering and Knowledge Engineering 18, no. 04 (June 2008): 541–67. http://dx.doi.org/10.1142/s0218194008003787.

Full text
Abstract:
UML activity diagrams encompass a set of notational elements for capturing the dynamic behavior of a system. Although the graphical syntax of UML activity diagrams is well-defined in the UML documentation, there is still not a commonly accepted approach for reasoning about UML activity diagrams. In this paper, we present a formalization of the execution semantics of UML activity diagrams using the π-calculus. The formalization provides a theoretical foundation and formal analysis for UML activity diagrams, as well as a starting point for building automated software tool.
APA, Harvard, Vancouver, ISO, and other styles
6

Wang, Cong. "An Operational Semantics for UML Activity Diagrams." Journal of Computer Research and Development 44, no. 10 (2007): 1801. http://dx.doi.org/10.1360/crad20071024.

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

Eshuis, Rik. "Symbolic model checking of UML activity diagrams." ACM Transactions on Software Engineering and Methodology 15, no. 1 (January 2006): 1–38. http://dx.doi.org/10.1145/1125808.1125809.

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

Eshuis, R., and R. Wieringa. "Tool support for verifying UML activity diagrams." IEEE Transactions on Software Engineering 30, no. 7 (July 2004): 437–47. http://dx.doi.org/10.1109/tse.2004.33.

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

Yusufu, Munina, Hai Jun Zhang, Gulina Yusufu, Zhan Dong Liu, Pen Cheng, and Dilidaer Dilisati. "Modeling and Analysis of Complex System with UML: A Case Study." Applied Mechanics and Materials 513-517 (February 2014): 1346–51. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.1346.

Full text
Abstract:
The Unified Modeling Language - UML - is the most used specification language, and the way the world models not only application structure, behavior, and architecture, but also business process and data structure. In this paper, we aim to demonstrate a system development methodology by generating the UML diagrams from the requirements of the Automatic Banking Machine (ABM) System and discuss their relationships, differences and suitability. The high-level requirements of the system are specified by using use-case diagram, activity diagram, state chart diagram, collaboration diagram, sequence diagram, and component diagram, and the low-level requirements of each component using class diagrams. We briefly introduce each diagram, their usage, their advantages and some limitations, and then we discuss the relationships and differences between two or more diagrams, and suitability for modeling the different parts of the system.
APA, Harvard, Vancouver, ISO, and other styles
10

Modi, Salisu, Hanan Abdulrahman Taher, and Hoger Mahmud. "A Tool to Automate Student UML diagram Evaluation." Academic Journal of Nawroz University 10, no. 2 (June 12, 2021): 189–98. http://dx.doi.org/10.25007/ajnu.v10n2a1035.

Full text
Abstract:
Unified modelling language (UML) is the accepted standard and modelling language for modeling in software development process. UML is widely used by most course tutors in teaching modules of software engineering and system analysis and design. Students taking such courses do submit assignments with UML diagrams such as use case, class, sequence, activity and so on. Different versions of such diagrams produced by the students for a given problem have to be assessed by the course tutor which is a challenging and time-consuming task. This paper presents a java-based tool which is developed based on a simple yet effective algorithm developed by the authors that will read student and tutors solution diagrams as inputs and evaluate and grade the diagrams automatically. The output of the tool is the score of the student diagram in respect of lecturer’s final solution. The output is presented in two feedback files, one containing students’ score for the lecturers and the other to be send to the student to note the areas that were incorrect. The tool has been tested and evaluated using a simple and assumed UML class diagram. The result shows that the tool functions effectively and can produce detail feedbacks for both students and tutors. The outcome of this paper contributes towards automating UML diagram evaluations.
APA, Harvard, Vancouver, ISO, and other styles
11

Muhamad, Zainab Hassan, Dhafer AbdulAmeer Abdulmonim, and Bashar Alathari. "An integration of uml use case diagram and activity diagram with Z language for formalization of library management system." International Journal of Electrical and Computer Engineering (IJECE) 9, no. 4 (August 1, 2019): 3069. http://dx.doi.org/10.11591/ijece.v9i4.pp3069-3076.

Full text
Abstract:
Unified Modeling Language (UML) is the effective standard for modeling object-oriented software systems. However, the ambiguity of semantics and the absence of consistency among UML diagrams lead to lack of precisely defining the requirements of a system. On the other hand, formal methods are techniques and tools use the mathematical notations, and they involve the precise syntax and semantics of the unambiguous software requirements specification. It applied in early stages of Software Development Life Cycle (SDLC). Therefore, an integrated between UML specification and formal specification is required to reduce the requirements' ambiguity and error, and to improve the quality and security of software systems. This paper proposes an approach involves the combining UML use-case diagram and activity diagrams with Z language for formalization of Library Management System (LMS). The focus of this paper is on consistency between the UML diagrams to Z Schema, and then verified by using the Z / EVEs tool.
APA, Harvard, Vancouver, ISO, and other styles
12

ZHOU, Jin-deng, Zhen-xing BAI, Jie WU, and Huan-yu LI. "Process modeling based on extended UML activity diagrams." Journal of Computer Applications 29, no. 3 (May 6, 2009): 708–11. http://dx.doi.org/10.3724/sp.j.1087.2009.00708.

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

Zhu, Xueyang. "A Temporal Logic Semantics for UML Activity Diagrams." Journal of Computer Research and Development 42, no. 9 (2005): 1478. http://dx.doi.org/10.1360/crad20050904.

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

Daw, Zamira, and Rance Cleaveland. "Comparing model checkers for timed UML activity diagrams." Science of Computer Programming 111 (November 2015): 277–99. http://dx.doi.org/10.1016/j.scico.2015.05.008.

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

López-Grao, Juan Pablo, José Merseguer, and Javier Campos. "From UML activity diagrams to Stochastic Petri nets." ACM SIGSOFT Software Engineering Notes 29, no. 1 (January 2004): 25–36. http://dx.doi.org/10.1145/974043.974048.

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

Nayak, Ashalatha, and Debasis Samanta. "Synthesis of test scenarios using UML activity diagrams." Software & Systems Modeling 10, no. 1 (October 16, 2009): 63–89. http://dx.doi.org/10.1007/s10270-009-0133-4.

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

Filipova, Olga, and Oksana Nikiforova. "Definition of the Criteria for Layout of the UML Use Case Diagrams." Applied Computer Systems 24, no. 1 (May 1, 2019): 75–81. http://dx.doi.org/10.2478/acss-2019-0010.

Full text
Abstract:
Abstract Nowadays, the topicality and applicability of model-driven development in the object-oriented development approach has increased, so it is important that created models and diagrams display not only the content, but also visually reflect information. Transparent diagram placement that influences work productivity is important for displaying information. Manual layout of diagrams is a time-consuming activity, which can also be ineffective, so in this paper the application of UML use case automatic layout is reviewed. The paper also examines the requirements of use case diagrams and placement criteria, which will serve as a basis for the creation of an automatic use case diagram layout algorithm.
APA, Harvard, Vancouver, ISO, and other styles
18

Afrianto, Yuggo, Novita Br Ginting, Suratun Suratun, and Yashintya Nelawati. "SISTEM INFORMASI INVENTORY P.O.S (POINT OF SALES) BERBASIS WEB PADA COUNTER CELLULAR." JURTEKSI (Jurnal Teknologi dan Sistem Informasi) 6, no. 2 (April 9, 2020): 125–34. http://dx.doi.org/10.33330/jurteksi.v6i2.407.

Full text
Abstract:
Abstract: Data from the National Socio-Economic Survey of the National Central Bureau of Statistic (Susenas, BPS) 2016 shows that the average amount of national top up the balance spending per month in 2016 reaches Rp 22,182 per capita. It is becoming a business opportunity for top up the balance of retail entrepreneurs. However, in the process of managing the process of input, output and reporting of goods that are done manually (still using paper) are not monitored properly, often there are outgoing or incoming goods whose data is not recorded. This, in the long run, will cause large losses. The purpose of this study is to build applications that function to help provide information that makes it easy to control the process of entry and exit of goods. The system development methodology used is object-oriented system development using the Unified Modeling Language (UML). The results obtained from this research are the design and construction of Inventory Information System POS (Point of Sales) in the form of Context Diagrams and UML Diagrams (Use Case Diagrams, Activity Diagrams, Class Diagrams, and Sequence Diagrams), with the results of black box testing conducted already in operation properly according to the needs of the retail owner. Keywords: Point of Sales, Retail, UML Abstrak: Data Survei Sosial Ekonomi Nasional Badan Pusat Statistik (Susenas, BPS) 2016 menunjukkan, jumlah rata-rata pengeluaran pulsa secara nasional per bulan pada 2016 mencapai Rp 22.182 per kapita [1]. Tentu saja hal ini menjadi peluang usaha untuk para pengusaha retail counter. Namun, dalam proses pengelolaannya proses input, output dan pelaporan barang yang dilakukan secara manual (masih menggunakan kertas) tidak termonitoring dengan baik, seringkali terjadi adanya barang keluar ataupun barang masuk yang tidak tercatat datanya. Hal ini dalam jangka panjang akan menimbulkan kerugian yang besar. Tujuan penelitian ini adalah membangun aplikasi yang berfungsi dalam membantu memberikan informasi yang memudahkan dalam pengontrolan proses keluar masuknya barang. Metodologi pengembangan sistem yang digunakan adalah pengembangan sistem berorientasi objek menggunakan Unified Modeling Language (UML). Hasil yang didapat dari penelitian ini adalah perancangan dan pembangunan Sistem Informasi Inventory P.O.S (Point of Sales) berupa Diagram Konteks dan UML Diagram (Use Case Diagram, Activity Diagram, Class Diagram, dan Sequence Diagram), dengan hasil pengujian black box yang dilakukan telah beroperasi dengan baik sesuai kebutuhan owner retail. Kata kunci: Point of Sales, Retail, UML
APA, Harvard, Vancouver, ISO, and other styles
19

Samuel, Philip, and Rajib Mall. "Slicing-based test case generation from UML activity diagrams." ACM SIGSOFT Software Engineering Notes 34, no. 6 (December 3, 2009): 1–14. http://dx.doi.org/10.1145/1640162.1666579.

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

Zubkova, N. S., and S. A. Shershakov. "Method for Building UML Activity Diagrams from Event Logs." Proceedings of the Institute for System Programming of RAS 31, no. 4 (2019): 139–50. http://dx.doi.org/10.15514/ispras-2019-31(4)-9.

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

Swain, Ranjita Kumari, Vikas Panthi, Durga Prasad Mohapatra, and Prafulla Kumar Behera. "Prioritizing test scenarios from UML communication and activity diagrams." Innovations in Systems and Software Engineering 10, no. 3 (September 29, 2013): 165–80. http://dx.doi.org/10.1007/s11334-013-0228-5.

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

Mahmud, Umar. "UML based Model of a Context Aware System." International Journal of Advanced Pervasive and Ubiquitous Computing 7, no. 1 (January 2015): 1–16. http://dx.doi.org/10.4018/ijapuc.2015010101.

Full text
Abstract:
Context Awareness is the mechanism through which systems can adapt to the needs of a user by monitoring the context. Context includes environment, spatial, temporal, etc information that is used to infer the current activity. UML is used to design a context aware system. The context aware system is viewed as an Object Oriented software product. The UML model is generated through ArgoUML, a free UML modelling tool. The Use Case Diagram, the Sequence Diagrams and the Class Diagram are modelled using this tool. The Class Diagram is subjected to CK metrics to identify the strengths and weaknesses of the design. The measurements show that the proposed model is within the recommended range.
APA, Harvard, Vancouver, ISO, and other styles
23

Khaldi, Maha, and Mohamed Erradi. "Design and Development of an e-Learning Project Management System: Modelling and Prototyping." International Journal of Emerging Technologies in Learning (iJET) 15, no. 19 (October 5, 2020): 95. http://dx.doi.org/10.3991/ijet.v15i19.14595.

Full text
Abstract:
In this work, based on the results obtained concerning the analysis and the needs of our project which concerns the design and development of an e-Learning project management system, we present the modeling stage with UML. Based on one hand, on two diagrams: class diagram and use case diagram, for static modeling and on the other hand, based on three diagrams: activity diagram, sequence diagram, diagram transition state for dynamic modeling. Finally, we offer examples of models for our project.
APA, Harvard, Vancouver, ISO, and other styles
24

Sukamto, Sukamto, Roni Salambue, Elfizar Elfizar, and Anna Kaswari. "Pembuatan Aplikasi Portal Akademik Berbasis Mobile (Studi Kasus: D3 Manajemen Informatika FMIPA Universitas Riau)." Digital Zone: Jurnal Teknologi Informasi dan Komunikasi 8, no. 2 (November 16, 2017): 147–59. http://dx.doi.org/10.31849/digitalzone.v8i2.640.

Full text
Abstract:
Abstrak- Penelitian ini membahas tentang aplikasi portal akademik berbasis mobile, studi kasus pada D3 Manajemen Informatika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Riau. Aplikasi ini dapat mempermudah mahasiswa khususnya mahasiswa D3 Manajemen Informatika dalam melakukan pengisian Kartu Rencana Studi dengan menggunakan Smartphone Android. Pembuatan Aplikasi mobile ini menggunakan bahasa pemograman Java dan MySQL sebagai database. Sedangkan dalam perancangan aplikasi menggunakan Unified Modeling Language (UML) yaitu Use Case Diagram, Class Diagram, Activity Diagram, dan Sequence Diagram. Kata kunci: Aplikasi Portal Akademik, Mobile, Kartu Rencana Studi, Smartphone Android. Abstract- This research discusses about Portal Academic Application based Android Mobile with case at Diploma of Information Management the Faculty of Mathematics and Natural Sciences, University of Riau. This application can facilitate in particular the Student Information Management Diploma in charging Card Study Plan that has been using smartphones based on Android. Making mobile applications using the programming language Java, and PHP, and then MySQL as database. While the design of the application using the Unified Modeling Language (UML), Use Case Diagrams, Class Diagrams, Activity Diagrams, and Sequence. Keywords: Portal Academic Application, Android Mobile, Study Plan Card, Android Smatrphone
APA, Harvard, Vancouver, ISO, and other styles
25

Ma, Zi Long, Li Qing Fang, and Chang Rong Wang. "Research of Weapon Training Simulator Software Model Based on UML." Applied Mechanics and Materials 599-601 (August 2014): 1625–28. http://dx.doi.org/10.4028/www.scientific.net/amm.599-601.1625.

Full text
Abstract:
In the weapon maintenance and training simulator software system development process, with the object-oriented analysis methods introduced, the software system was modeled by the Unified Modeling Language (UML), and described with case diagrams, class diagrams, sequence diagrams and activity diagrams. The results show that modeling by UML can standardize systems development process, optimize software structure, improve the efficiency of system development and enhance the readability and maintainability. Results of this study for the design and development of weapons maintenance and training simulator software system has a certain significance.
APA, Harvard, Vancouver, ISO, and other styles
26

Chen, Mingsong, Prabhat Mishra, and Dhrubajyoti Kalita. "Efficient test case generation for validation of UML activity diagrams." Design Automation for Embedded Systems 14, no. 2 (June 2010): 105–30. http://dx.doi.org/10.1007/s10617-010-9052-4.

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

Siraji, Mohamad, and Heri Kuswara. "Sistem Informasi Rekam Medis Pada Klinik PT. Nippon Paint Jakarta." Journal of Informatic and Information Security 1, no. 1 (June 30, 2020): 61–74. http://dx.doi.org/10.31599/jiforty.v1i1.215.

Full text
Abstract:
Medical record is a file that contains records and documents about patient identity, examination, treatment, actions and other services that have been provided to patients in health care facilities. Problems that occur in the Clinic PT. Nippon Paint Jakarta is an ineffective and efficient management of medical data. This information system aims to manage medical data quickly and accurately. This system development method uses SDLC by making UML diagrams such as use case diagrams, class diagrams, activity diagrams, entity relationship diagrams as stages of system design. This information system is based on WEB using the PHP programming language supported by SQL database. The results of the design of this system are expected to be one of the solutions to the problems that have occurred so far. Keywords: Clinic, Medical Records, Informations Systems Abstrak Rekam medis adalah berkas yang berisi catatan dan dokumen tentang identitas pasien, pemeriksaan, pengobatan, tindakan dan pelayanan lain yang telah diberikan kepada pasien pada sarana pelayanan kesehatan. Permasalahan yang terjadi di Klinik PT. Nippon Paint Jakarta yaitu pengelolaan data medis yang kurang efektif dan efisien. Sistem informasi ini bertujuan supaya pengelolaan data medis dapat berjalan dengan cepat dan tepat. Metode pengembangan sistem ini menggunakan SDLC dengan membuat diagram-diagram UML seperti use case diagram, class diagram, activity diagram, entity relationship diagram sebagai tahapan perancangan sistem. Sistem informasi ini dibuat dengan berbasis WEB menggunakan bahasa pemrograman PHP yang didukung basis data SQL. Hasil rancang bangun sistem ini diharapkan dapat menjadi salah satu solusi dari permasalahan yang terjadi selama ini. Kata kunci: Klinik, Rekam Medis, Sistem Informasi
APA, Harvard, Vancouver, ISO, and other styles
28

Neto, Raul Antonio Cortiana, Kleinner Farias, Vinicius Bischoff, and Lucian José Gonçales. "Supporting collaborative modelling in UML class diagrams." Revista Brasileira de Computação Aplicada 11, no. 3 (September 10, 2019): 39–46. http://dx.doi.org/10.5335/rbca.v11i3.8469.

Full text
Abstract:
Background. Modeling architectural aspects of the system is an essential activity in software development. Inthis context, developers work in parallel, and collaborate to define application software models, such as classdiagrams. Problem. Although many software modeling tools have been proposed, there is a lack of distributed collaboration features. Solution. This study proposes C-SAMT, a web tool for collaborative modeling of UML class diagrams. Developers can benefit from using C-SAMT when performing modeling tasks, such as creating domain models in parallel, and collaboratively. Evaluation. We recruited 20 industry professionals to perform a qualitative evaluation of the tool through a questionnaire. Results. Majority of Industry professionals (85%, 17/20) reported that totally agree that the communication channel of the tool worked properly, they also (80%, 16/20) totally agreed the models generated collaboratively with C-SAMT had small numbers of conflicts, and they also (90%, 18/20) perceived improved productivity gains using the proposed tool. Conclusion. C-SAMT provided a collaborative environment, which were positively evaluated by developers, who reported that C-SAMT had a good communication channel between team members.
APA, Harvard, Vancouver, ISO, and other styles
29

Bhattacharjee, Gargi, and Sudipta Dash. "Test Path Prioritization from UML Activity Diagram Using a Hybridized Approach." International Journal of Knowledge-Based Organizations 8, no. 1 (January 2018): 83–96. http://dx.doi.org/10.4018/ijkbo.2018010106.

Full text
Abstract:
Software testing is regarded as a pivotal approach to realize a high reliable product. To check for the correctness of results, we require appropriate test cases. UML models are largely used to depict the specifications for software development. Test cases are created independently and based on the sequence of occurrence in the diagrams; they lead to corresponding test paths in the program. In this paper, we have analyzed an activity diagram, consisting of concurrent activities, for generating test paths. The obtained test paths are therefore required to be ranked. We have demonstrated that it is conceivable to apply Genetic Algorithm procedures alongside Ant Colony Optimization technique for not only finding the most critical path but also prioritizing the other paths too for enhancing the effectiveness of software testing.
APA, Harvard, Vancouver, ISO, and other styles
30

Rábová, Ivana. "Using UML and Petri nets for visualization of business document flow." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 60, no. 2 (2012): 299–306. http://dx.doi.org/10.11118/actaun201260020299.

Full text
Abstract:
The article deals with two principles of business workflow modeling, Petri nets and UML notation, that are the acceptable approaches to business modeling and can be used also for business documents workflow. The special type of Petri nets, WF-nets and UML activity diagrams are used in this article and both modeling ways are presented on the concrete business workflow and then there are presented and specified their advantage and disadvantage for business documents flows. At beginning it is explained the word workflow in context business documents, its features, principles and using in business environment. After that it is clarified that the UML is OMG’s most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process, workflows and data structure. Activity diagram UML is good way to show how different workflows in the business are managed, how they start, go and stop. Diagrams also show many different decision paths that can be taken from start to finish. State charts can be used as a detail the transitions or changes of states when documents can go through in the business. They show how a documents moves from one state to another and the rules that govern that change. Petri-nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike UML Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. In the article there are modeled a special type of Petri nets, the WF-nets. The practical part of article incorporates two models of concrete business documents workflows presented in these notations, their comparison and recommendation for using these diagrams in business process management.
APA, Harvard, Vancouver, ISO, and other styles
31

Yutaka Yamada, and Katsumi Wasaki. "Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams." International Journal of Advancements in Computing Technology 3, no. 8 (September 30, 2011): 189–97. http://dx.doi.org/10.4156/ijact.vol3.issue8.22.

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

Kundu, Debasish, and Debasis Samanta. "A Novel Approach to Generate Test Cases from UML Activity Diagrams." Journal of Object Technology 8, no. 3 (2009): 65. http://dx.doi.org/10.5381/jot.2009.8.3.a1.

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

Canevet, C., S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. "Analysing UML 2.0 activity diagrams in the software performance engineering process." ACM SIGSOFT Software Engineering Notes 29, no. 1 (January 2004): 74–78. http://dx.doi.org/10.1145/974043.974055.

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

Bock, Conrad. "UML 2 activity model support for systems engineering functional flow diagrams." Systems Engineering 6, no. 4 (2003): 249–65. http://dx.doi.org/10.1002/sys.10053.

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

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 (August 2019): 98–112. http://dx.doi.org/10.1016/j.cosrev.2019.07.001.

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

CUI, ZHANQI, LINZHANG WANG, XI LIU, LEI BU, JIANHUA ZHAO, and XUANDONG LI. "VERIFYING ASPECT-ORIENTED MODELS AGAINST CROSSCUTTING PROPERTIES." International Journal of Software Engineering and Knowledge Engineering 23, no. 05 (June 2013): 655–76. http://dx.doi.org/10.1142/s0218194013400123.

Full text
Abstract:
Dealing with crosscutting concerns has been a critical problem in software development processes. To facilitate handling crosscutting concerns at design phases, we proposed an aspect-oriented modeling and integration approach with UML activity diagrams. The primary concerns are depicted with UML activity diagrams as primary models, whereas crosscutting concerns are described with aspectual extended activity diagrams as aspect models. Aspect models can be integrated into primary models automatically. The AOM approach can reduce the complexity of design models. However, potential faults that violate desired properties of the software system might still be introduced during the modeling or integration processes. The verification technique is well-known for its ability to assure the correctness of models and uncover design problems before implementation. We propose a framework to verify aspect-oriented UML activity diagrams based on Petri net verification techniques. For verification purpose, we transform the integrated activity diagrams into Petri nets and prove the consistency of the transformation. Then, crosscutting concerns in system requirements are refined to properties in the form of CTL formulas. Finally, the Petri nets are verified against the formalized properties to report whether the aspect-oriented design models satisfies the requirements. Furthermore, we implement a tool named Jasmine-AOV to support the verification process. Case studies are conducted to evaluate the effectiveness of the proposed approach.
APA, Harvard, Vancouver, ISO, and other styles
37

Yang, Feng Yu, Ying Chen, Zheng Hu, Wei Zheng, and Xi Long Duan. "Design and Implement of a Flexible Workflow Model Based on UML Modeling Technology." Applied Mechanics and Materials 738-739 (March 2015): 304–10. http://dx.doi.org/10.4028/www.scientific.net/amm.738-739.304.

Full text
Abstract:
As the rapid development of modern society, it's hard for traditional workflow technologies to meet the variant requirements inside an enterprise. The research focus of workflow technology has been moved to flexibly adjustable workflow models that can easily and fast adapt to business change. In terms of this point, a flexible workflow model is put forward based on the UML technology. Several UML diagrams, such as class diagram, activity diagram and sequence diagram, are introduced to illustrate both model elements and detailed working mechanism of the workflow model. In addition, the strategy of flexible adaption is proposed to deal with changes. Based on this model, a general-purpose system of project application and review is designed and implemented, which is able to adapt flexibly to the business flow changes of project applying after putting into use.
APA, Harvard, Vancouver, ISO, and other styles
38

Jurnal, Redaksi Tim. "PERANCANGAN E-KATALOG PADA PERPUSTAKAAN DIGITAL STT-PLN BERBASIS WEB." Petir 9, no. 2 (January 3, 2019): 119–25. http://dx.doi.org/10.33322/petir.v9i2.178.

Full text
Abstract:
STT-PLN library has had a website before, but there is no catalog features whose books have not owned by the library STT-PLN. This research will discuss about how to design the development of perpusatakaan digital STT-PLN in the added features of e-catalogs. The application of research methods using User Centered Design (UCD). In this application development using UML (Unified Modeling Language) diagram for designing the research development of perpusatakaan digital STT-PLN which includes use case diagrams, class diagrams, activity diagrams, and sequence diagrams. Solving the problem of system design include database design, application menu hierarchy and application interface design. UML which has been designed and then translated into web-based programming language that is PHP and using MySQL as the database. Then the last application tested using the User Acceptance Test (UAT), the direct testing of applications by users of the application. Implementation of the development of perpusatakaan digital is obtained results of a dynamic web based applications that can help users in accessing library applications online through the Internet and to members can facilitate the conduct of order books online, as well as facilitate the administrator library to manage the application.
APA, Harvard, Vancouver, ISO, and other styles
39

Sun, Chang-ai, Yan Zhao, Lin Pan, Xiao He, and Dave Towey. "A transformation-based approach to testing concurrent programs using UML activity diagrams." Software: Practice and Experience 46, no. 4 (April 14, 2015): 551–76. http://dx.doi.org/10.1002/spe.2324.

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

Grobelny, Michal, Iwona Grobelna, and Marian Adamski. "Hardware Behavioural Modelling, Verification and Synthesis with UML 2.x Activity Diagrams." IFAC Proceedings Volumes 45, no. 7 (2012): 134–39. http://dx.doi.org/10.3182/20120523-3-cz-3015.00028.

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

Ramalho, Franklin, Jacques Robin, and Ulrich Schiel. "Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams." Electronic Notes in Theoretical Computer Science 95 (May 2004): 83–109. http://dx.doi.org/10.1016/j.entcs.2004.04.007.

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

CHO, YONGSUN, WOOJIN LEE, and KIWON CHONG. "THE TECHNIQUE OF BUSINESS MODEL DRIVEN ANALYSIS AND TEST DESIGN FOR DEVELOPMENT OF WEB APPLICATIONS." International Journal of Software Engineering and Knowledge Engineering 15, no. 04 (August 2005): 587–605. http://dx.doi.org/10.1142/s0218194005002452.

Full text
Abstract:
A technique for creating analysis models of a web application from a business model is proposed for easy and effective development. Moreover, a technique for generating test cases from the sequence diagrams for a web application is proposed. The use case diagram and web page list are generated from the business model which is depicted using the notations of the UML (Unified Modeling Language) activity diagram. The page diagram and logical/physical database models are created based on the web page list and extracted data fields. Test cases for the web application are generated from call messages (including self-call messages) of the UML sequence diagram. The effectiveness of these techniques is shown using a practical case study which is a development project of a web application for RMS (Research material Management System).
APA, Harvard, Vancouver, ISO, and other styles
43

Rathee, Nisha, and Rajender Singh Chhillar. "Optimization of Favourable Test Path Sequences Using Bio-Inspired Natural River System Algorithm." Journal of Information Technology Research 14, no. 2 (April 2021): 85–105. http://dx.doi.org/10.4018/jitr.2021040105.

Full text
Abstract:
Testing of software requires a great amount of time and effort. The tester's main aim is to design optimized test sequences with a minimum amount of time, effort, and with less redundancy. Testers have used artificial intelligence meta-heuristic algorithms for optimization of test sequences. The model-driven approach is helpful in the generation of test sequences at early designing phase only. The model-driven approach uses UML diagram to represent the system's behavior and design test cases for the system at design stage of software development life cycle. The proposed approach uses natural river system for optimizing favourable non-redundant test path sequences using UML activity diagrams and sequence diagrams. The implementation of proposed approach has been done using python and results show that the proposed approach provides full coverage of test paths with less redundant test nodes compared to other meta heuristic algorithms.
APA, Harvard, Vancouver, ISO, and other styles
44

Jaenudin, Jejen, Abdul Qodir Jaelani, and Ade Hendri Hendrawan. "Rancang Bangun Sistem Administrasi Rekam Medis Berbasis Web Pada Klinik Asysyifaa." KREA-TIF 5, no. 2 (March 2, 2017): 66. http://dx.doi.org/10.32832/kreatif.v5i2.2027.

Full text
Abstract:
<h1 align="center"><strong>Abstrak</strong></h1><p>Klinik adalah fasilitas pelayanan kesehatan tingkat dasar yang wajib menyelenggarakan rekam medis.Kegiatan administrasi rekam medis yang ada di Klinik Asysyifaa Leuwiliang masih dalam bentuk tulisan pada lembaran kertas, aplikasi ini dibangun untuk mengoptimalkan kinerja klinik dalam hal pengadministrasian data rekam medis yang cepat, tepat, dan akurat. Proses pembuatan aplikasi dimulai dengan analisis kebutuhan sistem, pembuatan desain database, desain sistem, desain user interface, pembangunan sistem, dan pengujian sistem. Metode perancangan sistem yang digunakan yaitu OOAD dengan tools UML. Hasil dari penelitian ini meliputi: proses bisnis lama, proses bisnis baru, diagram konteks, pelaku sistem, list use case, use case diagram, activity diagram, sequence diagram, deployment diagram, dan class diagram. Berdasarkan hasil penelitian disimpulkan bahwa aplikasi yang dibuat melakukan kegiatan login, pendaftaran pasien baru, pasien lama, menyimpan data rekam medis dan menampilkan riwayat rekam medis pasien secara realtime ketika dokter melakukan pemeriksaan, sehingga mampu menggantikan penggunaan rekam medis kertas dan memangkas waktu pelayanan pasien.</p><p align="center"><strong><em>Abstract </em></strong></p><p><em>Clinics are basic health care facilities that are required to conduct medical records. Medical record administration activities at the Asysyifaa Leuwiliang Clinic are still in writing on sheets of paper, this application was built to optimize clinic performance in administering medical records data that is fast, precise, and accurate. The process of making applications starts with system requirements analysis, database design creation, system design, user interface design, system development, and system testing. The system design method used is OOAD with UML tools. The results of this study include: old business processes, new business processes, context diagrams, system actors, use case lists, use case diagrams, activity diagrams, sequence diagrams, deployment diagrams, and class diagrams. Based on the results of the study, it was concluded that the application was made to carry out login activities, registration of new patients, old patients, storing medical record data and displaying the patient's medical record history in real time when the doctor performed the examination, so as to replace the use of paper medical records and cut patient service time.</em></p>
APA, Harvard, Vancouver, ISO, and other styles
45

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 (August 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 we use our previous approach to model checking graph transformation system. Hereby, designers can verify and analyze designed Activity diagrams. Since workflow modeling is one of the main application areas of the Activities, we use our proposed semantics for modeling and verification of workflows to illustrate our approach.
APA, Harvard, Vancouver, ISO, and other styles
46

Sunardi, Sunardi, Abdul Fadlil, and Tresna Yudha Prawira. "Desain Sistem Berorientasi Objek Pada Retail Minimarket Surya Mart." Jurasik (Jurnal Riset Sistem Informasi dan Teknik Informatika) 4, no. 1 (July 17, 2019): 55. http://dx.doi.org/10.30645/jurasik.v4i1.117.

Full text
Abstract:
The process of a minimarket retail business needs a system infrastructure so that the management process is easier to do and business processes can run more effectively. In this research, a system design process is carried out to give an overview of the business units at the Surya Mart minimarket retail, to create a system design object-oriented system analysis by making a UML diagram (unified modeling language) including making use case diagrams, activity diagrams, sequence diagram, and class diagram. From the results of the analysis, the results of this study obtain the results of a design or system design in the form of user interface design, database structure and structured query language to become a reference in the development process of the business to become a product application for the Surya Mart retail minimarket business process.
APA, Harvard, Vancouver, ISO, and other styles
47

Subekti, Mohammad, Lukman Lukman, Donny Indrawan, and Ganesh Putra. "Perancangan Case Tools untuk Diagram Use Case, Activity, dan Class untuk Permodelan Uml Berbasis Web Menggunakan HTML5 dan PHP." ComTech: Computer, Mathematics and Engineering Applications 5, no. 2 (December 1, 2014): 625. http://dx.doi.org/10.21512/comtech.v5i2.2199.

Full text
Abstract:
This study is intended to generate an application tools (CASE tools) that allows a software developer to create a modeling system design using Unified Modeling Language (UML), especially in making use case, activity or class diagrams more quickly and easily. The tools developed will also facilitate developers in doing UML modeling by accessing the network through a web-based internet application. With the web-based applications, the users require only a browser and an internet connection to use this application. This application also helps developers to understand of how to make UML diagrams correctly and good. In this research traditional methods Scrum model is used. Scrum method is Agile methods that is a process to cultivate software easily and can be developed in accordance with the development of information technology. Scrum is using empirical methods or in other words every stage in it involves inspection and adaptation.
APA, Harvard, Vancouver, ISO, and other styles
48

Prawiro, Radius, and Azrai Sirait. "MENERAPKAN APLIKASI GIS UNTUK MENGETAHUI LOKASI DAN KEBUTUHAN SEKOLAH (Studi Kasus di Dinas Pendidikan Mukomuko)." JURNAL TEKNOLOGI INFORMASI 2, no. 1 (December 7, 2018): 96. http://dx.doi.org/10.36294/jurti.v2i1.413.

Full text
Abstract:
Abstract - The content of this study is the construction of a Geographic Information System. The development of this Geographic Information System is expected to help the Education Office to record school needs displayed in the form of maps. In addition, it helps the community to know the location and needs of the school. This Geographic Information System is displayed in a web form so that everyone can access it. In building this Geographic Information System, the author uses google maps to determine coordinates. This coordinate point is the latitude and longitude points found on google maps. Using these coordinates, you will get the school location. Latitude and longitude values will be stored in the MySQL database and will be called using PHP programming. This Geographic Information System can run locally, namely using a local server such as XAMPP, provided that it must be connected to the internet. Geographic Information System Design uses UML modeling consisting of usecase, activity diagrams, class diagrams, sequential diagrams, statechart diagrams, package diagrams, component diagrams, deployment diagrams, and collaboration diagrams. Keywords - Geographic Information Systems, Google Maps, Latitude, Longitude, UML
APA, Harvard, Vancouver, ISO, and other styles
49

UL Muram, Faiz, Huy Tran, and Uwe Zdun. "Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking." Electronic Proceedings in Theoretical Computer Science 147 (April 2, 2014): 93–107. http://dx.doi.org/10.4204/eptcs.147.7.

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

Fatmasari, Fatmasari, and Siti Sauda. "Pemodelan Unified Modeling Language Sistem Informasi Enterprise Resource Planning." JURNAL MEDIA INFORMATIKA BUDIDARMA 4, no. 2 (April 25, 2020): 429. http://dx.doi.org/10.30865/mib.v4i2.2022.

Full text
Abstract:
Modeling is one of the techniques used to describe how information systems will be created and produced. Modeling itself can be used as a reference in the process of developing information systems to suit user needs. One modeling technique that is often used is to use a unified modeling language (UML). Modeling techniques with UML are able to describe various features of information systems. for this reason, in this research a model for the PTPN VII enterprise resource planning (ERP) information system is used as an initial step in fulfilling information management needs. the use of modeling itself is an initial implementation of information technology and information systems in a corporate environment, especially PTPN VII. The results of modeling have been done using three types of diagrams in UML as a reference in the development of structure diagrams created using class diagrams, behavior diagrams created using use case diagrams, and interaction diagrams created using activity diagrams. The results of the modeling have also been implemented in the form of a prototype of the information system so as to provide a clear picture for interested parties if the development of enterprise resource planning (ERP) information systems, especially in the PTPN VII environment. The information system prototype can also describe the initial forms for stakeholders if changes are to be made
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!

To the bibliography