Data Flow Analysis of UML Models by ALF
نویسندگان
چکیده
منابع مشابه
Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models
In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in Alf Action Language) is consistent with the integrity constraints defined in the class diagram (specified in UML) and returns a meaningful feedback that helps correcting them o...
متن کاملALF - A Language for WCET Flow Analysis
Static Worst-Case Execution Time (WCET) analysis derives upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component in static WCET analysis is the flow analysis, which derives bounds on the number of times different code entities can be executed. Examples of flow information derived by a flow analysis are loop bounds...
متن کاملAnalyzing Efficiency of Railway Transportation by Considering Quality of Services: New Data Envelopment Analysis Models
Many studies have been conducted to analyze efficiency of railways for different countries. However, these studies have mainly focused on quantitative aspects of railway transportation and quality has been neglected. In this paper three new data envelopment analysis (DEA) models are presented. The first model is solved for assessing quality of passenger railway services in 71 countries of t...
متن کاملTransforming Data Models with UML
This chapter studies an approach to establish a formal connection between data models, in particular between conceptual data models and implementation data models. We use metamodeling techniques based on the Meta Object Facility MOF. MOF may be regarded as a subset of the Unified Modeling Language UML. As prominent example data models, we formally describe and thereby analyze the EntityRelation...
متن کاملQuantitative Analysis of UML Models
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day wor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Trade, Economics and Finance
سال: 2014
ISSN: 2010-023X
DOI: 10.7763/ijtef.2014.v5.333