The Experts below are selected from a list of 31977 Experts worldwide ranked by ideXlab platform
Dyah Asrining Wulandari - One of the best experts on this subject based on the ideXlab platform.
-
perancangan sistem informasi pemesanan makam baru menggunakan metode rational unified process studi kasus pada taman pemakaman umum joglo jakarta barat
Seminar Nasional Ilmu Pengetahuan dan Teknologi Komputer, 2014Co-Authors: Dyah Asrining WulandariAbstract:Penelitian ini bertujuan untuk menganalisa dan merancang sebuah Sistem Informasi berbasis web yang dapat membantu proses pemesanan makam baru pada TPU Joglo sehingga prosesnya dapat menghemat waktu dan dapat membantu petugas melakukan pengelolaan data makam dengan cepat dan tepat. Metodologi Pengembangan sistem menggunakan metode RUP (Rational Unified Process) dengan melakukan observasi terhadap sistem yang berjalan dan melakukan wawancara kepada pegawai yang terlibat langsung dalam kegiatan pemesanan makam. Metode perancangan sistem yang digunakan adalah metode Object Oriented Analysis and Design (OOAD) yang nantinya akan menggunakan usecase Diagram , activity Diagram , Sequence Diagram dan class Diagram . Aplikasi ini dirancang dengan menggunakan perangkat lunak PHP sebagai program aplikasi dan MySQL sebagai database .
Khaled Bsaies - One of the best experts on this subject based on the ideXlab platform.
-
a causal semantics for uml2 0 Sequence Diagrams with nested combined fragments
International Conference on Evaluation of Novel Approaches to Software Engineering, 2017Co-Authors: Fatma Dhaou, Ines Mouakher, Christian Attiogbe, Khaled BsaiesAbstract:Combined Fragments (CF) are the new features added to UML2.0 Sequence Diagrams (SD). They have widely increased its expressiveness power, permitting to model complex behaviours, they can be nested to allow more sophisticated behaviours. We focus on the most popular CF of control-flow ALT, OPT, LOOP, SEQ allowing to model respectively alternative, optional, iterative and sequential behaviours. They require a meticulous processing for the generation of partial order between their events. We proposed in a previous work, a causal semantics based on partial order theory, which is suitable for deriving of all possible valid traces for Sequence Diagrams with CF modelling behaviours of distributed systems. In this work, to deal with nested CF, we first update the formalization of Sequence Diagram, then we extend this semantics.
-
extending causal semantics of uml2 0 Sequence Diagram for distributed systems
International Conference on Software Engineering, 2015Co-Authors: Fatma Dhaou, Ines Mouakher, Christian Attiogbe, Khaled BsaiesAbstract:The imprecision of the definitions of UML2.0 Sequence Diagrams, given by the Object Management Group (OMG), does not allow the obtention of all the possible valid behaviours for a given distributed system, when communicating objects are independent. We choose the causal semantics, which is suitable for this kind of systems; we propose its extension to support complex behaviours, expressed with combined fragments. We propose the implementation of our approach with Event-B in order to check later on some properties of safety, liveness and fairness.
Meixia Zhu - One of the best experts on this subject based on the ideXlab platform.
-
modeling marte Sequence Diagram with timing pi calculus
International Symposium on Object Component Service-Oriented Real-Time Distributed Computing, 2011Co-Authors: Wei Jin, Hanpin Wang, Meixia ZhuAbstract:Modeling and Analysis of Real-Time and Embedded Systems specification (MARTE) is a profile of the Unified Modeling Language (UML) for model driven development of real-time and embedded systems. To describe formally the semantics of MARTE Sequence Diagram (MARTE SD), we introduce the timing pi-calculus, a new variant of the pi-calculus, in this paper. The good feature of the timing pi-calculus is that it can handle time elapse and timer events. We provide both its syntax and semantics. With the new calculus, we then model MARTE SD elements, and give their precise semantics. Our formal framework may facilitate the reliability and consistency analysis of MARTE SD design process.
-
semantic analysis of uml2 0 Sequence Diagram based on model transformation
Computer Software and Applications Conference, 2010Co-Authors: Meixia Zhu, Wei Jin, Hanpin Wang, Zizhen WangAbstract:The Sequence Diagram(SD) of UML2.0 enriches those of previous versions by two new operators, assert and negate, for specifying required and forbidden behaviors. The semantics of SD, however, being based on pairs of valid and invalid sets of traces, is inadequate, and prevents the new operators from being used effectively. The semantic confusions between assert and negate operators in UML SD are significant, since they pose great difficulty to the confirmation of the security of the system they designed. A new Petri-net model named LPNforSD is designed in this paper. Transformation rules from SD to LPNforSD are given out. We take fragment that described by assert or negate operator as independent part and transform it into LPNforSDs. An algorithm is also designed to check whether the SD is safe by comparing its traces with the traces getting from negate and assert fragments. By this way, we cannot only eliminate the semantic confusions between assert and negate operators, but also reduce the numbers of contingent traces. Thus, we can ensure the system more reliable
Susi Susilowati - One of the best experts on this subject based on the ideXlab platform.
-
perancangan sistem informasi pemesanan makam baru menggunakan metode rational unified process studi kasus pada taman pemakaman umum joglo jakarta barat
Jurnal Pilar Nusa Mandiri, 2017Co-Authors: Susi SusilowatiAbstract:This study aims to analyze and design a web-based information system that can help the process of ordering a new tomb in the cemetery Joglo so the process can save time and can help the officers perform data management tomb quickly and precisely. Methodology To develop the system using the RUP (Rational Unified Process) to observe the running system and conducted interviews to employees directly involved in ordering activity tomb. System design method used is the method Object Oriented Analysis and Design (OOAD) which will use the usecase Diagram, activity Diagram, Sequence Diagram and class Diagram. This application is designed to use PHP software as an application program and MySQL as the database.
Fatma Dhaou - One of the best experts on this subject based on the ideXlab platform.
-
a causal semantics for uml2 0 Sequence Diagrams with nested combined fragments
International Conference on Evaluation of Novel Approaches to Software Engineering, 2017Co-Authors: Fatma Dhaou, Ines Mouakher, Christian Attiogbe, Khaled BsaiesAbstract:Combined Fragments (CF) are the new features added to UML2.0 Sequence Diagrams (SD). They have widely increased its expressiveness power, permitting to model complex behaviours, they can be nested to allow more sophisticated behaviours. We focus on the most popular CF of control-flow ALT, OPT, LOOP, SEQ allowing to model respectively alternative, optional, iterative and sequential behaviours. They require a meticulous processing for the generation of partial order between their events. We proposed in a previous work, a causal semantics based on partial order theory, which is suitable for deriving of all possible valid traces for Sequence Diagrams with CF modelling behaviours of distributed systems. In this work, to deal with nested CF, we first update the formalization of Sequence Diagram, then we extend this semantics.
-
extending causal semantics of uml2 0 Sequence Diagram for distributed systems
International Conference on Software Engineering, 2015Co-Authors: Fatma Dhaou, Ines Mouakher, Christian Attiogbe, Khaled BsaiesAbstract:The imprecision of the definitions of UML2.0 Sequence Diagrams, given by the Object Management Group (OMG), does not allow the obtention of all the possible valid behaviours for a given distributed system, when communicating objects are independent. We choose the causal semantics, which is suitable for this kind of systems; we propose its extension to support complex behaviours, expressed with combined fragments. We propose the implementation of our approach with Event-B in order to check later on some properties of safety, liveness and fairness.
