TITLE

Information systems validation using formal models

AUTHOR(S)
Sarram, Azadeh; Harounabadi, Ali
PUB. DATE
March 2014
SOURCE
Management Science Letters;2014, Vol. 4 Issue 3, p533
SOURCE TYPE
Academic Journal
DOC. TYPE
Article
ABSTRACT
During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model indispensable. In this study, conversion of primary UML model of a system to a colored Petri net has been accomplished in order to examine the precision of the model. For this purpose, first the definition of priority and implementation tags for UML activity diagram are provided; then it is turned into colored Petri net. Second, the proposed model provides translated tags in terms of net transitions and some monitors are used to control the system characteristics. Finally, an executable model of UML activity diagram is provided so that the designer could simulate the model by using the simulation results to detect and to refine the problems of the model. In addition, by checking the results, we find out the proposed method enhances authenticity and accuracy of early models and the ratio of system validation increases compared with previous methods.
ACCESSION #
94681574

 

Related Articles

  • Conception approach of access control in heterogeneous information systems using UML. Poniszewska-Maranda, Aneta // Telecommunication Systems;Oct2010, Vol. 45 Issue 2/3, p177 

    The development of the information systems should answer more and more to the problems of federated data sources and the problems with the heterogeneous distributed information systems. The assurance of data access security realized in the cooperative information systems with loose connection...

  • Document Management Processes and Use Case Scenarios Elaboration. Pătraşcu, Aurelia // Economic Insights - Trends & Challenges;2014, Vol. 66 Issue 3, p91 

    This paper aims to present the objectives and the stages achieved in order to model a document management system, using Visual Paradigm for UML as a modelling tool. An information system modelling for document management domain using UML language provides different perspectives that guide...

  • Research on Interaction Mechanism in MAS. Yao, S. Z. // International MultiConference of Engineers & Computer Scientists;2007, p1157 

    In MAS, agent interaction protocol has become the basis of coordination, cooperation and communication among agents. Since the semantics of agent interaction protocol in UML or AUML faces ambiguous and inconsistent problems, the paper presents an Extended Colored Petri Net(ECPN) as agent...

  • Roles at the Basis of UML Validation. Bouabana-Tebibel, Thouraya // Journal of Computing & Information Technology;Jun2007, Vol. 15 Issue 2, p171 

    Formal validation of UML models proves to be hardly realizable, due to the imprecise semantics of UML dynamic diagrams. To remedy that, we first present a technique for transforming UML statecharts into Petri nets. We develop afterwards, an approach based on the movement of the objects...

  • Conceptual Data Modeling for Spatiotemporal Applications. Tryfona, Nectaria; Jensen, Christian S. // GeoInformatica;Sep1999, Vol. 3 Issue 3, p245 

    Many exciting potential application areas for database technology manage time-varying, spatial information. In contrast, existing database techniques, languages, and associated tools provide little built-in support for the management of such information. The focus of this paper is on enhancing...

  • Formal Semantic Model for the Access Specification Language RASP. Evered, Mark // International Journal of Cyber-Security & Digital Forensics;Jun2012, Vol. 1 Issue 2, p152 

    The access specification language RASP extends traditional role-based access control (RBAC) concepts to provide greater expressive power often required for fine-grained access control in sensitive information systems. Existing formal models of RBAC are not sufficient to describe these...

  • FORMALIZATION OF THE EVALUATION PROCESS OF EFFICIENCY OF STRATEGIC MANAGEMENT OF COMPLEX ECONOMIC SYSTEMS BASED ON QUALITATIVE INFORMATION. Dekatov, D. E.; Egorova, I. E.; Bragina, E. I. // Internet-Vestnik VolgGASU;2013, Issue 26, p1 

    The authors provide the description of formalized technology of the quality analysis of complex systems functioning without numerical information about the parameters of the given task and under many criteria. This technology is based on the method of multi-criteria decision-making ELECTRE II...

  • UML Simulation of a Topology Configuration Model. Zieliński, Zbigniew; Stasiak, Andrzej; Dąbrowski, Włodzimierz // Journal of Telecommunications & Information Technology;2012, Vol. 2012 Issue 4, p46 

    The article presents the application of simulation methods for topological models to analyze and design information systems. By using UML extensions and the UAL language it is possible not only to build a topological model for software, but also to perform efficient simulations of topological...

  • Cover1.  // IEEE Transactions on Software Engineering;01/01/2011, Vol. 37 Issue 1, pc1 

    No abstract available.

Share

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics