Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

2011 ◽  
pp. 257-298
Author(s):  
András Pataricza ◽  
András Balogh ◽  
Lazlos Gonczy
Keyword(s):  
Formal Methods ◽  
Design Patterns ◽  
Best Practice ◽  
Enterprise Modeling ◽  
Verification And Validation ◽  
Transformation Techniques ◽  
Validation And Verification ◽  
Systems Architecture ◽  
Uml Profiles ◽  
Methods And Techniques

This chapter introduces the main notions related to the dependability of applications in a self-contained way in order to bring the topic near to non-experts, the modeling aspects including requirement formulation in UML, the evolving UML profiles, design patterns for the best practice and basic means for testing and formal methods based validation and verification of designs. We also introduce a method that relies on the introduced standards and model transformation techniques that allows the QoS-driven optimization of enterprise systems architecture. The methods and techniques are illustrated with practical example models and problems.

scholarly journals JENIS-JENIS DAN BENTUK T-V YOBIKAKE OLEH REMAJA JEPANG

2019 ◽  
Vol 25 (2) ◽  
pp. 112
Author(s):  
I Gusti Ayu Putu Istri Aryasuari ◽  
I Ketut Darma Laksana ◽  
Ni Luh Nyoman Seri Malini
Keyword(s):  
Data Analysis ◽  
Formal Methods ◽  
Reference Method ◽  
Personal Pronoun ◽  
Personal Pronouns ◽  
Japanese Adolescents ◽  
Interview Methods ◽  
Methods And Techniques ◽  
Data Provision

This study aims to determine the types of greetings and forms of T-V greetings used by Japanese teenagers. Sources of data used are data in the form of questionnaires, list of questions, and supported by data sourced from Japanese movies and Japanese cartoons (anime). The theory used is the theory of types of yobikake according Hiromi and Theory T-V Brown-Gillman (1960). Methods and techniques of data provision are made with questionnaires and interview methods to Japanese adolescents. Methods and techniques of data analysis are performed by referential reference method. Methods and techniques of presentation of data analysis results use informal and formal methods. Result of research shows that there are three kinds of greeting found. The three types of greeting, personal pronouns 'ninshoo daimeshi', greeting of  the suffixed name of self / form Mr / Mrs 'keishou', and greeting in the term kinship 'shinzoku yougomei'. The greetings that are found contain the T-V form. Greetings of personal pronoun of the form of T found are atashi, ore, boku, jibun, wa-shi, a-shi, wa-shitachi, atashitachi, oretachi, uchira, anta, omae, kimi, temee, omaetachi, and minna. Greetings personal pronouns of V form found are watakushi, watashi, watashitachi, anata, anatatachi, minasama and minasan. The greetings of suffixed self name containing T shapes are greetings with the suffixes ~ kun and ~ chan. The greetings of suffixed self name containing V-shapes, are greetings with suffixes ~ sama, ~ dono, and ~ san. Greetings in the term kinship that contain the form T are ojiichan, jiiji, obaachan, baaba, papa, oyaji, otou, mama, okaa, kaasan, onii, oniichan, oneechan, neechan, and imoutochan. Greetings in the term kinship containing the form V, are ojiisan, obaasan, otousan, okaasan, oniisan, ani, ane, otouto, and imouto.

Topological Synthesis of Shell Structures

2006 ◽  
Author(s):  
Thomas Kormeier ◽  
Stephan Rudolph
Keyword(s):  
Design Patterns ◽  
Best Practice ◽  
Shell Structures ◽  
Future Application ◽  
Cad Model ◽  
Design Synthesis ◽  
Knowledge Based ◽  
Design Representation ◽  
Design Cycle ◽  
Design Languages

Currently available tools for classical topology optimization of structures have proven valuable in conceptual design. These tools may provide design direction very early in the design cycle. However, the results subsequently need to be interpreted and translated by an engineer into a consistent CAD-model. This research focuses on the topological design synthesis of shell structures, which is being carried out using a design language approach. The aim of this approach is to automatically generate, modify and optimize an abstract representation of the design. This representation is automatically translatable into a CAD-model and will thus lead to an optimization process that offers a valid structural CAD-model as result. Design languages serve in this context as a computable abstraction of design representation and synthesis by use of rule-based information processing mechanisms. These rules (also called design patterns), are applied to generate and modify the topology of the design representation. Design patterns contain the engineers know-how and best-practice. The computerized execution of design patterns in a design compiler yields a powerful topology modification tool. As prototype application, the synthesis of shell structures is presented in this work. The automation mechanisms and the information flow through design synthesis, model generation, design analysis and evaluation are outlined. A discussion on the future application of design patterns for knowledge-based structural optimization is derived from the shown examples.

Improving cloud architectures using UML profiles and M2T transformation techniques

2019 ◽  
Vol 75 (12) ◽  
pp. 8012-8058 ◽  
Author(s):  
Adrián Bernal ◽  
M. Emilia Cambronero ◽  
Alberto Núñez ◽  
Pablo C. Cañizares ◽  
Valentín Valero
Keyword(s):  
Transformation Techniques ◽  
Uml Profiles

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2007 ◽  
pp. 28-54
Author(s):  
Hyggo Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

scholarly journals Proses Pembentukan Kata dalam Kumpulan Cerpen Cinta Paling Rumit Karya Boy Candra

HUMANIS ◽  
2019 ◽  
Vol 23 (2) ◽  
pp. 135
Author(s):  
Intan Peonnyta Oktaviani Putri ◽  
I Wayan Simpen ◽  
Ni Putu N. Widarsini
Keyword(s):  
Data Analysis ◽  
Formal Methods ◽  
Short Story ◽  
Quantitative Methods ◽  
Note Taking ◽  
Short Story Collection ◽  
Methods And Techniques ◽  
Morphological Theory ◽  
Story Collection

This research “The Process of Forming Words in Short Story Collection Cinta Paling Rumit Karya By Candra” The purpose of this research was to know the formation of words which is affixation, reduplication, and composition in the short story collection Cinta Paling Rumit by Boy Candra. The theory used in this research is morphological theory. The methods and techniques used in the process of the collecting the data are the method of reffering to tapping techniques, proficient non-invulment listening techniques, and note-taking techniques. Then in analyzing data, the methods and techniques used are the agih methods with the direct elements technique, the advanced techniques used are sloping techniques, the substitution techniques, and repetition techniques. Besides using the agih method in process of analyzing data, this research also uses quantitative methods. Meanwile, the method of presenting the results data analysis uses informal methods and formal methods. In this research found affixation, the reduplication, and composition. The affixation found were 681 words (31%), reduplication found were 150 words (7%), and the composition found were 93 word (4%).

Sign in / Sign up

Export Citation Format

Share Document