Utilizing UML, cTLA, and SRN

2015 ◽  
pp. 23-50
Author(s):  
Razib Hayat Khan
Keyword(s):  
Distributed System ◽  
Model Transformation ◽  
Performance Modeling ◽  
Early Stage ◽  
System Development ◽  
Transformation Process ◽  
Modeling Framework ◽  
Functional Description ◽  
Transformation Rules ◽  
Uml Specification

To meet the challenge of conducting quantitative analysis at the early stage of the system development process, this chapter introduces an extensive framework for performance modeling of a distributed system. The goal of the performance modeling framework is the assessment of the non-functional properties of the distributed system at an early stage based on the system's functional description and deployment mapping of service components over an execution environment. System's functional description with deployment mapping has been specified using UML. To analyze the correctness of the UML specification style, we have used temporal logic, specifically cTLA, to formalize the UML model. We have shown in detail how UML models are formalized by a set of cTLA processes and production rules. To conduct the performance evaluation of a distributed system, the UML model is transformed into analytic model SRN. We have specified an automated model transformation process to generate SRN model from UML, which is performed in an efficient and scalable way by the use of model transformation rules.

scholarly journals A Systematic Approach towards Transformation of Presentation Web Goal Oriented Requirements Language to Presentation Design Model

2014 ◽  
Vol 5 (10) ◽  
pp. 7-17
Author(s):  
Sangeeta Srivastava
Keyword(s):  
Model Transformation ◽  
Web Applications ◽  
Early Stage ◽  
System Development ◽  
Requirements Analysis ◽  
Design Model ◽  
Specific Design ◽  
Uml Profile ◽  
Design Models ◽  
The Web

A number of modeling approaches are being used to design web applications.However, they mostly focus on design aspects and many a times they are unable to meet the real goal and expectations of the users. Goal Oriented Requirement Engineering is a popular approach for Information system development but has not been explored much for Web applications. Goal driven requirements analysis helps in capturing stakeholders’ goals very finely, they enhance the requirements analysis in many ways, as the requirement clarification and the conflicts between requirements can be detected at an early stage and design alternatives can be evaluated and selected to suit the require ments. In this paper, we take a step from the requirements phase to the design phase. While adheringto the web based goal oriented requirements engineering in the first phase we move to the A-OOH design models using a model transformation strategy to derive web specific design models supported by a UML profile. This helps in seamlessly generating the web specific design models namely the content, navigation, presentation, business process and adaptivity models. In this paper the focus is on transformation of WebGRL Presentation model to its Presentation design model. The model transformation approach aims at automatic transformation of the repeatedly refined and resolved alternatives presented by us in the WEBGRE framework as an input to the design models supported by a UML profile. This would lead to a better design and high quality of product development which captures the stakeholders’ goals very closely.

Performability Modeling of Distributed Systems and Its Formal Methods Representation

2020 ◽  
pp. 203-233
Author(s):  
Razib Hayat Khan
Keyword(s):  
Complex System ◽  
Quantitative Analysis ◽  
Functional Properties ◽  
Distributed System ◽  
System Performance ◽  
Early Stage ◽  
Behavioral Changes ◽  
Design Development ◽  
Modeling Framework ◽  
System Components

A distributed system is a complex system. Developing complex systems is a demanding task when attempting to achieve functional and non-functional properties such as synchronization, communication, fault tolerance. These properties impose immense complexities on the design, development, and implementation of the system that incur massive effort and cost. Therefore, it is vital to ensure that the system must satisfy the functional and non-functional properties. Once a distributed system is developed, it is very difficult and demanding to conduct any modification in its architecture. As a result, the quantitative analysis of a complex distributed system at the early stage of the development process is always an essential and intricate endeavor. To meet the above challenge, this chapter introduces an extensive framework for performability evaluation of a distributed system. The goal of the performability modeling framework is to consider the behavioral change of the system components due to failures. This reveals how such behavioral changes affect the system performance.

Performability Modeling of Distributed Systems and Its Formal Methods Representation

2021 ◽  
pp. 704-727
Author(s):  
Razib Hayat Khan
Keyword(s):  
Complex System ◽  
Quantitative Analysis ◽  
Functional Properties ◽  
Distributed System ◽  
System Performance ◽  
Early Stage ◽  
Behavioral Changes ◽  
Design Development ◽  
Modeling Framework ◽  
System Components

A distributed system is a complex system. Developing complex systems is a demanding task when attempting to achieve functional and non-functional properties such as synchronization, communication, fault tolerance. These properties impose immense complexities on the design, development, and implementation of the system that incur massive effort and cost. Therefore, it is vital to ensure that the system must satisfy the functional and non-functional properties. Once a distributed system is developed, it is very difficult and demanding to conduct any modification in its architecture. As a result, the quantitative analysis of a complex distributed system at the early stage of the development process is always an essential and intricate endeavor. To meet the above challenge, this chapter introduces an extensive framework for performability evaluation of a distributed system. The goal of the performability modeling framework is to consider the behavioral change of the system components due to failures. This reveals how such behavioral changes affect the system performance.

Towards A Semi-Automatic Transformation Process in MDA

2010 ◽  
Vol 1 (4) ◽  
pp. 48-76 ◽  
Author(s):  
Slimane Hammoudi ◽  
Wajih Alouini ◽  
Denivaldo Lopes ◽  
Marianne Huchard
Keyword(s):  
Model Transformation ◽  
Transformation Process ◽  
Schema Matching ◽  
Software Systems ◽  
Modeling Framework ◽  
Model Driven ◽  
Systems Model ◽  
Model Transformation Language ◽  
Matching Techniques ◽  
Expensive Process

Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories, and the Eclipse Modeling Framework (EMF) are representative MDE approaches. These MDE approaches have concepts and techniques in common such as modeling, metamodels, and model transformation. Today, it is well recognized that model transformation is the most important of MDE approaches and is one of the most important operations in MDE. Despite the multitude of model transformation language proposals emerging from university and industry, these transformations are often created manually, which is a tedious and error-prone task and therefore an expensive process. In this paper, the authors propose an extended architecture that aims to semi-automate the process of transformation in the context of MDA. This architecture involves concepts and techniques of metamodel matching, inspired and borrowed from schema matching techniques that are an important issue in the database and ontology domain. This architecture is enforced by a methodology which details the different steps leading to a semi-automatic transformation process. Matching foundations and the authors’ approach for metamodel matching are discussed.

Metamodel Matching Techniques

2014 ◽  
Vol 5 (2) ◽  
pp. 70-94 ◽  
Author(s):  
Lamine Lafi ◽  
Jamel Feki ◽  
Slimane Hammoudi
Keyword(s):  
Model Transformation ◽  
Transformation Process ◽  
Software Systems ◽  
Model Driven Engineering ◽  
Modeling Framework ◽  
Model Driven ◽  
Systems Model ◽  
Model Transformation Language ◽  
Automatic Matching ◽  
Matching Techniques

During the last decade, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are among the most representatives MDE approaches. Nowadays, it is well recognized that model transformation is at the heart of MDE approaches and, consequently represents one of the most important operations in MDE. However, despite the multitude of model transformation language proposals emerging from academic world and industry, these transformations are often manually specified; which is a tedious and error-prone task, and therefore an expensive process. Matching operation between metamodels is the keystone toward a (semi-)automatic transformation process. In this paper, the authors review metamodel matching techniques of the literature and then analyze their pros and cons in order to show how they can be useful for a semi-automatic transformation process. The result is a comparison of metamodel matching techniques, highlighting their similarities and differences in terms of information used for matching, demonstrating significant similarities between these techniques. Next, the authors compare four well-known metamodel matching techniques namely Similarity flooding, SAMT4MDE+ (extended Semi-Automatic Matching Tool for Model Driven Engineering), ModelCVS and AML (AtlanMod Matching Language) on ten couples of metamodels. For this comparison, the authors define a set of six criteria inspired from the database schema matching. One among these criteria is relevant to the quality of matching and for which we define a quality measure metrics. Furthermore, the authors develop a plug-in under Eclipse to support our comparison using ten couples of metamodels.

scholarly journals System development for its disclosure of Portuguese digital type design

2016 ◽  
Author(s):  
Vítor Quelhas ◽  
Vasco Branco ◽  
Rui Mendonça
Keyword(s):  
Early Stage ◽  
System Development ◽  
Complete Agreement ◽  
Collaborative System ◽  
Test And Evaluation ◽  
Usability Tests ◽  
Type Design ◽  
Third Stage ◽  
Further Development

This study aims to cover the current development of a platform for the disclosure of the Portuguese type design community, since the beginning of the desktop revolution, until today. 
To deepen our understanding, interviews were made to a selected and representative group of type designers from our sample based on several criteria. The interview tested six dimensions: people, processes, products, uses, identity and platform. The results analyzed in the last dimension, through content analysis and quantitative data, lead to the development of an online digital collaborative system – one of our specific objectives. 
Our hypothesis – that the development of a online digital collaborative system would allow further development of knowledge between products, users and authors, as well as, processes and uses – was also corroborated by the interviewers. 
Reviews have been made to reference international online projects to identify their purposes, areas of activity, objectives, mechanisms of interaction, usability and accessibility. This previous research brought together a set of notes that would become essential in the definition and development of our concept. 

The classification of typefaces is a subject of study by researchers and designers, but it is certainly not a topic for complete agreement. Organizing and balancing the content for the database was our first challenge since we were expecting users with good knowledge on the field, but also beginners. Several diagrams were put into test during the early stage of information architecture to better define categories, filters, and sorting methods, as well as users role in the system. The items and categories chosen were redefined in a second stage, and in the third stage hi-fidelity wireframes were produced, to concentrate on design aspects and decisions, and put the system into test and evaluation. 

The current results on the platform development, with the improvements made through several user tests, evaluations and refinements undertaken in all phases of the project have been crucial. We are expecting to run some pilot tests, as well as usability tests prior to the full implementation to further improve the system and meet the expectations.DOI: http://dx.doi.org/10.4995/IFDP.2016.3351

scholarly journals Design and Implementation of a Computerized Drug Inventory Management Information System Using ASP.NET MVC

2020 ◽  
Vol 13 (4) ◽  
pp. 80-90
Author(s):  
Shaimaa K. Ahmed ◽  
Zobeda H. Naji ◽  
Yousif N. Hatif ◽  
Meaad Hussam
Keyword(s):  
Information System ◽  
Inventory Management ◽  
Management Information System ◽  
New Technologies ◽  
Early Stage ◽  
System Development ◽  
Management Information ◽  
Expiry Date ◽  
Iterative Model ◽  
Distribution Process

Automation in the drug inventory distribution process is helpful to pharmacist. Pharmacy management has kept paper record in filing cabinets. Managing a very large pharmacy with records on papers will be tedious and difficult to keep track ofinventories with regards to the drugs in the store, expiry date, quantity of drugs available based on the categories and their functions. A Drug Inventory Management Information System(DIMIS) is basically a computer system that can manage all the information to allow pharmacists to do their jobs faster and more effective in real time. These jobs include: dispensing of drugs, drug regulation, and the sale of these drugs. The developed methodology adopted in the implementation of the software is iterative model of system development life cycle. This method produces an early stage of model. The development of the system is based on using new technologies like AJAX, ASP.NET MVC 5, Bootstrap, HTML and CSS which make the user interface more interactive. C#.NET language was used as server language whereas as a database server Microsoft SQL server 2012 was utilized. DIMIS is able to search and check a huge number and expiration date of drug in the purchase as well as delivery records. These attributes and functions are powerful, efficient and subsequently useful in patient's safety and cost containment

Sign in / Sign up

Export Citation Format

Share Document