<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM"^^ . "A parallel system must be developed with extra precision to achieve a high level of\r\ndependability to produce error-free software.\r\nTherefore, we need an appropriate and formal model of the system. The model is necessary\r\nfor verification software in model checking. A model that is often used in model checking is\r\nLabelled Transition System (LTS). An LTS can be generated from Program Graphs (PG),\r\nwhich are representations of programs in any programming language. However, in\r\nmodeling a parallel system we need to describe the communications(model of interactivity)\r\nbetween the Program Graphs. For this purpose, we need and use Channel Systems (CS).\r\nTherefore, we often need to transform CS to LTS. The aim of this research is to developa\r\ntransformation algorithm to generate an LTS from a given CS. Through the concept of\r\nparallelism, the algorithm is constructed by exploiting the so-called Structured Operational\r\nSemantic (SOS) of the CS.\r\nThe transformation algorithm is implemented by developing a prototype tool designed\r\nwith 3 essential components:input, process and output. Input is a text file that contains a\r\nmodel of a parallel system in the form of a CS. The model will be processed by using\r\nthetransformation algorithm that generates an LTS as output text file.\r\nFunctionally, the algorithm can handle models of parallel systems written ina CS that\r\nconsists of several PGs containing both looping and branching. Moreover, it has ability to\r\nsatisfy various parallelism models such as interleaving, synchronous and asynchronous.\r\nKeywords: Channel System (CS), Labelled Transition System (LTS), parallel, Program Graph (PG), statesemantic"^^ . "2012-04-01" . . "V.VIII" . "No. 1" . . "FAK. SAINTEK UIN SUNAN KALIJAGA"^^ . . . "Kaunia Jurnal Sains dan Teknologi"^^ . . . "23018550" . . . . . . . . . . "Reza"^^ . "PULUNGAN"^^ . "Reza PULUNGAN"^^ . . "Siti"^^ . "MUTMAINAH"^^ . "Siti MUTMAINAH"^^ . . . . . . "TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM (Text)"^^ . . . . . "05-Kaunia-Vol.VIII-No.1-Siti-Mutmainnah-Reza-TRANSFORMASI-CHANNEL-SYSTEM-KE-LABELLED-HAL-44-47.pdf"^^ . . . "TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM (Other)"^^ . . . . . . "preview.jpg"^^ . . . "TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM (Other)"^^ . . . . . . "medium.jpg"^^ . . . "TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #18714 \n\nTRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM\n\n" . "text/html" . . . "Kaunia Jurnal" . .