scholarly journals Formalizing UML Model Metrics Using Z Language

2016 ◽  
Keyword(s):  
Z Language

scholarly journals Sikap Generasi �Z� terhadap bahasa Jawa: Studi kasus pada anak-anak usia Sekolah Dasar di kota Semarang

2019 ◽  
Vol 7 (2) ◽  
pp. 30
Author(s):  
Ilham Setyawan
Keyword(s):  
Language Learning ◽  
Everyday Life ◽  
Language Attitudes ◽  
Communication Tool ◽  
Learning Methods ◽  
Z Language ◽  
Regional Languages ◽  
The Impact ◽  
Local Languages

Language in everyday life has a very important role in communicating. At present there has been a decline in interest in the use of Javanese as a communication tool for the �Z� generation, namely the generation born in 1994-2012. The aim of this study is to find out the intensity of the use of regional languages, especially the Javanese language by the �Z� generation, what is the impact of the loss of regional languages, especially the Javanese language for the identity of the region and how the generation of �Z� language attitudes to local languages are specifically Javanese . From this study it was found that, �Z� generation has the ability that is very lacking in communicating using Javanese. The things that affect their mastery in language include their buccal background originating from the Javanese, the lack of use of the Javanese language as a daily communication tool and the lack of innovation in Javanese language learning methods. From this, innovation in learning is needed as well as increasing the intensity of the use of Javanese as a daily communication tool. Parents and teachers in the school have a role in mastering the Javanese language in communicating.

An Object-Z Specification of a Petrol Supply System

2013 ◽  
Vol 427-429 ◽  
pp. 2349-2353
Author(s):  
Yang Ping Li ◽  
Wei Quan Zhao ◽  
Xiao Rui Wei
Keyword(s):  
Complex Systems ◽  
Formal Methods ◽  
Formal Specification ◽  
Object Oriented ◽  
Supply System ◽  
Data Intensive ◽  
Z Language ◽  
Complex Computer ◽  
Formal Specification Language

As modern complex computer systems become increasingly sophisticated and data-intensive, people have long recognized the importance of precisely and unambiguously specifying them with formal methods. This paper advocates the use of Object-Z, a formal specification language, in the description of complex systems. Object-Z is an extension to the Z language to facilitate specification in an object-oriented style. First, we informally describe the syntax and semantics of Object-Z, highlighting those features that facilitate decomposing a large system into a collection of underlying objects and thus separating concerns. Then, we demonstrate the use of Object-Z by presenting a case study of a petrol supply system, illustrating how the system runs by communicating the constituent objects. Finally, we discuss several issues we encountered in this exercise, which may serve as feedback to the development of Object-Z.

Embedded Software Formalization Testing Method and its Application in Missile-Borne Software

2014 ◽  
Vol 574 ◽  
pp. 646-650
Author(s):  
Ji Cun Ma ◽  
Xing Lin Qi ◽  
Jing Lv
Keyword(s):  
Software Testing ◽  
Formal Method ◽  
Unified Modeling Language ◽  
Embedded Software ◽  
Test Case ◽  
Unified Modeling ◽  
Testing Method ◽  
Finite State ◽  
Z Language ◽  
Collection Methods

The formal modeling method can accurately describe systems. Using formal method to test software improves the efficiency of software testing and it is comprehensive. Common real-time embedded software formal testing methods include Z language, finite state machine (FSM) and unified modeling language (UML), Petri net and time input/output automata (TIOA). This paper analyzes the characteristics of embedded software testing. The above formal methods and test case coverage criterions and test data collection methods are introduced. Combined with the characteristics of missile-borne software, this paper presents suitable ideas of testing missile-borne software.

The Use of Z Language for Multimedia Systems

2007 ◽  
Author(s):  
Muhammad Bilal Latif ◽  
Wajahat Noshairwan ◽  
Moeen-ud-din Tariq ◽  
Zafar. I. Malik
Keyword(s):  
Multimedia Systems ◽  
Z Language

scholarly journals A Verified Formal Specification of A Secured Communication Method For Smart Card Applications

2021 ◽  
Vol 7 (2) ◽  
pp. 172-187
Author(s):  
Donald D. Kim
Keyword(s):  
Formal Specification ◽  
Secure Communication ◽  
Security Policy ◽  
Security Breaches ◽  
Business Applications ◽  
Communication Method ◽  
High Assurance ◽  
Z Language ◽  
Embedded Operating Systems ◽  
Secured Communication

In remote villages without access to modern IT technology, simple devices such as smartcards can be used to carry out business transactions. These devices typically store multiple business applications from multiple vendors. Although devices must prevent malicious or accidental security breaches among the applications, a secure communication channel between two applications from different vendors is often required. In this paper, first, we propose a method of establishing secure communication channels between applications in embedded operating systems that run on multi-applet smart cards. Second, we enforce the high assurance using an intransitive noninterference security policy. Thirdly, we formalize the method through the Z language and create the formal specification of the proposed secure system. Finally, we verify its correctness using Rushby's unwinding theorem.

scholarly journals An integration of uml use case diagram and activity diagram with Z language for formalization of library management system

2019 ◽  
Vol 9 (4) ◽  
pp. 3069
Author(s):  
Zainab Hassan Muhamad ◽  
Dhafer AbdulAmeer Abdulmonim ◽  
Bashar Alathari
Keyword(s):  
Management System ◽  
Unified Modeling Language ◽  
Software Systems ◽  
Use Case ◽  
Activity Diagram ◽  
Library Management ◽  
Library Management System ◽  
Z Language ◽  
Uml Diagrams ◽  
Use Case Diagram

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.

Sign in / Sign up

Export Citation Format

Share Document