scholarly journals Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

2011 ◽  
Vol 2011 ◽  
pp. 1-18 ◽  
Author(s):  
Asadullah Shaikh ◽  
Uffe Kock Wiil ◽  
Nasrullah Memon
Keyword(s):  
Code Generation ◽  
Verification And Validation ◽  
Software Systems ◽  
Class Diagram ◽  
Complex Class ◽  
Software Developers ◽  
Class Diagrams ◽  
Verification Process ◽  
High Level ◽  
Efficient Verification

UML/OCL class diagrams provide high-level descriptions of software systems. Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram). In this paper, we present (1) a benchmark for UML/OCL verification and validation tools, (2) an evaluation and analysis of tools available for verification and validation of UML/OCL class diagrams including the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.

Learning Conceptual Modeling Design Through the Classutopia Serious Game

2018 ◽  
Vol 28 (11n12) ◽  
pp. 1679-1699 ◽  
Author(s):  
Beatriz Marín ◽  
Felipe Larenas ◽  
Giovanni Giachetti
Keyword(s):  
Software Engineering ◽  
Serious Games ◽  
Engineering Students ◽  
Conceptual Modeling ◽  
Role Playing ◽  
Serious Game ◽  
Software Systems ◽  
Class Diagram ◽  
Software Products ◽  
Class Diagrams

One of the more complex topics to teach to Software Engineering students is the conceptual modeling design, which has several concepts that students must learn in order to specify the structural, behavioral and interaction views of software systems. Learning the design of class diagrams is of paramount importance since these diagrams are used to guide concrete development tasks such as programming and testing, and, consequently, to avoid defective software products. Applying novel teaching/learning techniques in this topic may help students to reduce the defects that are committed at the moment of designing a class diagram. One interesting technique is the use of serious games, since they provide learning environments free of risks and pressure for students, allowing the students to know the topics that they must learn in a funny way. Serious games have been widely used in programming courses. We aim to investigate the feasibility to replicate this experience for conceptual modeling of class diagrams at Software Engineering courses. In this paper, we present a role-playing game especially focused on the class diagram, which is called Classutopia. This serious game provides modeling challenges, comprehension and correction of diagrams with different complexity levels for learning conceptual modeling design.

CASE AND ITS CHALLENGE FOR CHANGE

1991 ◽  
Vol 01 (02) ◽  
pp. 151-163 ◽  
Author(s):  
GREG BOONE
Keyword(s):  
Systems Engineering ◽  
Software Industry ◽  
Software Systems ◽  
Work Practices ◽  
Software Developers ◽  
Productivity Improvement ◽  
Computer Aided ◽  
Difficult Challenge ◽  
Ideological Change ◽  
Productivity Gains

Although the majority of professional trade press and academic attention regarding CASE (Computer Aided Software/Systems Engineering) has focused on technology, software developers have not been deluded by overinflated productivity gains attributed to those technologies. Truly profound technologies require a concomitant change in methods, practices, and techniques. Unfortunately, the majority of the software industry has had the expectation that CASE will automate their current work without rethinking work practices. Changing work practices, particularly among highly independent-minded software developers, who prize independent creativity more than team engineering, is the most difficult challenge facing the advance of the software development profession. Equally difficult is the ideological change from a productivity improvement expectation to a quality improvement expectation. This paper examines the current rate of CASE adoption and the changes necessary to accelerate its successful adoption.

scholarly journals A Unique Test Bench for Various System-on-a-Chip

2017 ◽  
Vol 7 (6) ◽  
pp. 3318 ◽  
Author(s):  
Sridevi Chitti ◽  
P. Chandrasekhar ◽  
M. Asharani
Keyword(s):  
Intellectual Property ◽  
Test Bench ◽  
General Purpose ◽  
Technology Tools ◽  
Automated Test ◽  
System On A Chip ◽  
Verification Process ◽  
Verification Methodology ◽  
Efficient Verification ◽  
State Of Art

This paper discusses a standard flow on how an automated test bench environment which is randomized with constraints can verify a SOC efficiently for its functionality and coverage. Today, in the time of multimillion gate ASICs, reusable intellectual property (IP), and system-on-a-chip (SoC) designs, verification consumes about 70 % of the design effort. Automation means a machine completes a task autonomously, quicker and with predictable results. Automation requires standard processes with well-defined inputs and outputs. By using this efficient methodology it is possible to provide a general purpose automation solution for verification, given today’s technology. Tools automating various portions of the verification process are being introduced. Here, we have Communication based SOC The content of the paper discusses about the methodology used to verify such a SOC-based environment. Cadence Efficient Verification Methodology libraries are explored for the solution of this problem. We can take this as a state of art approach in verifying SOC environments. The goal of this paper is to emphasize the unique testbench for different SOC using Efficient Verification Constructs implemented in system verilog for SOC verification.

scholarly journals Interpretation and Code Generation Based on Intermediate Languages

1978 ◽  
Vol 7 (88) ◽  
Author(s):  
Peter Kornerup ◽  
Bent Bruun Kristensen ◽  
Ole Lehrmann Madsen
Keyword(s):  
Code Generation ◽  
Intermediate Form ◽  
Code Generator ◽  
Design Scheme ◽  
Direct Interpretation ◽  
The Subject ◽  
Improved Design ◽  
High Level ◽  
Intermediate Languages

The possibility of supporting high level languages through intermediate languages to be used for direct interpretation and as intermediate forms in compilers is investigated. An accomplished project in the construction of an interpreter and a code generator using one common intermediate form is evaluated. The subject is analyzed in general, and a proposal for an improved design scheme is given.

Correction: Efficient Verification and Validation of Performance-Based Safety Requirements using Subset Simulation

2021 ◽  
Author(s):  
Chinmaya Mishra ◽  
Florian Schwaiger ◽  
Niclas M. Bähr ◽  
Franz Sax ◽  
Marc Andreas Kleser ◽  
...  
Keyword(s):  
Verification And Validation ◽  
Subset Simulation ◽  
Safety Requirements ◽  
Efficient Verification

Intelligent Content Driving of Engineering Model System in Modeling Platform

2020 ◽  
Author(s):  
László Horváth
Keyword(s):  
Situation Awareness ◽  
Model System ◽  
Software Systems ◽  
Engineering Model ◽  
Academic Organizations ◽  
Autonomous Operation ◽  
Modeling Software ◽  
High Level ◽  
Engineering Modeling ◽  
Component Models

Engineering modeling software systems have been developed during a long integration process from separated partial solutions to current modeling software platforms (MSPs). MSP is expected to provide all necessary model creation and application capabilities during integrated innovation and the life cycle of commercial and industrial products (CIP). Recently, advanced CIP is operated by component systems organized within an increasingly autonomous cyber physical system (CPS). CIP is represented by the engineering model system (EMS). EMS is driven by active contexts between the outside world and EMS, between component models of EMS, and between objects in a component model. EMS reacts to any new contribution using all formerly represented contexts. Consistent structure of contexts gives autonomous operation capability for EMS. Active contexts between the outside world and EMS make EMS sensitive to outside world changes. In the other direction, EMS can generate advice for the outside world using high level and well-organized active knowledge as context. Contributing to research in key issues around EMS and the relevant software technology, this paper introduces results in requirements against MSP capabilities to represent intelligent driving content (IDC) in EMS. A novel organized structure of IDC and continuous engineering (CE) aspects of IDC development are explained and discussed placing the main emphasis on situation awareness. Finally, a new concept is introduced in which purposeful EMS acts as the only media in communication of researchers. Specially configured MSP facilitates participation from industrial, institutional, and academic organizations. The research proceeds at the Laboratory of Intelligent Engineering Systems (IESL) in the organization of the Óbuda University.

State of the Art of Software Architecture Design Methods Used in Main Software Development Methodologies

2015 ◽  
pp. 7359-7370
Author(s):  
Reyes Delgado Paola Yuritzy ◽  
Mora Tavarez José Manuel ◽  
Duran-Limon Hector Alejandro ◽  
Rodríguez-Martínez Laura Cecilia ◽  
Mendoza González Ricardo ◽  
...  
Keyword(s):  
Software Development ◽  
Software Architecture ◽  
Design Methods ◽  
Software Systems ◽  
Design Activity ◽  
Negative Effects ◽  
Modern Development ◽  
Core Components ◽  
Software Development Methodologies ◽  
High Level

The design Software Architecture (SA) is an essential activity in the modern development software systems. This SA design activity defines its core components, the interrelationships among them, and a set of essential attributes expected for the final software. While this design is realized in a high level of abstraction, missing this activity or a wrong conduction of it will have negative effects in further software development phases, and lately in the final software. Thus, SA design methods are relevant to be studied and applied. In this article, we review the SA design methods that are (explicitly or implicitly) included in five well-known Software Development Methodologies (SDMs). We report: (1) a brief description of the five SDMs; (2) a substantial description of the SA design methods used in each SDM; and (3) a comparative analysis among them using an evaluation template posited by well-recognized experts in this topic. Our results suggest that SA design methods, while sharing a similar design purpose and some activities, they also present a varied structured and nomenclature.

Architecture-Centered Integrated Verification

2012 ◽  
pp. 201-222
Author(s):  
Yujian Fu ◽  
Zhijang Dong ◽  
Xudong He
Keyword(s):  
Petri Nets ◽  
Software Architecture ◽  
Large Scale ◽  
Future Research ◽  
Software Systems ◽  
Compositional Verification ◽  
Software Product ◽  
Implementation Level ◽  
High Level ◽  
Florida International University

The approach aims at solving the above problems by including the analysis and verification of two different levels of software development process–design level and implementation level-and bridging the gap between software architecture analysis and verification and the software product. In the architecture design level, to make sure the design correctness and attack the large scale of complex systems, the compositional verification is used by dividing and verifying each component individually and synthesizing them based on the driving theory. Then for those properties that cannot be verified on the design level, the design model is translated to implementation and runtime verification technique is adapted to the program. This approach can highly reduce the work on the design verification and avoid the state-explosion problem using model checking. Moreover, this approach can ensure both design and implementation correctness, and can further provide a high confident final software product. This approach is based on Software Architecture Model (SAM) that was proposed by Florida International University in 1999. SAM is a formal specification and built on the pair of component-connector with two formalisms – Petri nets and temporal logic. The ACV approach places strong demands on an organization to articulate those quality attributes of primary importance. It also requires a selection of benchmark combination points with which to verify integrated properties. The purpose of the ACV is not to commend particular architectures, but to provide a method for verification and analysis of large scale software systems in architecture level. The future research works fall in two directions. In the compositional verification of SAM model, it is possible that there is circular waiting of certain data among different component and connectors. This problem was not discussed in the current work. The translation of SAM to implementation is based on the restricted Petri nets due to the undecidable issue of high level Petri nets. In the runtime analysis of implementation, extraction of the execution trace of the program is still needed to get a white box view, and further analysis of execution can provide more information of the product correctness.

Sign in / Sign up

Export Citation Format

Share Document