Member Login

E-mail:    Password:  




 TitleDate AddedCompany
whitepaper CmUML - A UML Based Framework for Formal Specification of Concurrent, Reactive Systems2008-11-01 Journal of Object Technology (JOT)
  Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurrency aspects. Though UML includes action semantics, its higher level constructs and object semantics are inconsistent. Motivated by Lamport's approach, this paper proposes a UML based specification framework 'cmUML' ('cm' for concurrent modules) for formal specification of concurrent, reactive systems without object level diagrams and OCL. The framework integrates higher level diagrams of UML and addresses various concurrency issues including exception handling.

Tags: UML		   
whitepaper Data Cube Representation of Patient Registration System Through UML2008-10-01 Babasaheb Bhimrao Ambedkar University
  In the present paper, a Unified Modeling Language (UML) model is proposed for the Patient Registration System (PRS). The three dimensional Data Cubes are also designed for faster searching & sorting of Patient Registration database. The proposed model is also validated by performing several queries on the Patient database. UML Activity, Class & Sequence diagram are designed.

Tags: UML		   
whitepaper Specifying Security Aspects in UML Models2008-09-15 Pontif?cia Universidade Catolica do Rio Grande do Sul
  Expansion of computer systems and the increasing number of services provided by Internet has lead software engineers to worry about security issues of their software. The reason is the short amount of time dedicated to test these characteristics, which leads to release insecure software to final users. To ease this problem, the use of model-based testing is becoming popular. Several works propose standards to model various elements, but a few related to security characteristics. This paper presents a technique to specify UML security stereotypes, aiming to guide developers by annotating vulnerable model parts and to allow the automatic security test case generation.

Tags: Security Management, UML		   
whitepaper UML/OCL Verification in Practice2008-09-14 Universitat Oberta de Catalunya
  In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce development costs and improve software quality. There is an emerging need for verification techniques usable in practice, i.e. able to find and notify defects in real-life models without requiring a strong verification background or extensive model annotations. Some promising approaches revolve around the satisfiability property of a model, i.e. deciding whether it is possible to create a well-formed instantiation of the model. The paper will discuss existing solutions to this problem in the UML/OCL context.

Tags: UML		   
whitepaper A Comparative Evaluation of Tests Generated From Different UML Diagrams2008-08-12 George Mason University
  This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagrams. This experiment found that the statechart test sets did better at revealing unit level faults than the sequence diagram test sets, and the sequence diagram test sets did better at revealing integration level faults than the statechart test sets. The statecharts also resulted in more test cases than the sequence diagrams. The results show that model-based testing can be used to systematically generate test data and indicates that different UML models can play different roles in testing.

Tags: Data Visualization, UML		   
whitepaper UML Modeling for Instruction Pipeline Design2008-08-01 World Academy of Science, Engineering and Technology
  Unified Modeling language (UML) is one of the important modeling languages used for the visual representation of the research problem. In the present paper, UML model is designed for the Instruction pipeline which is used for the evaluation of the instructions of software programs. The class and sequence diagrams are designed & performance is evaluated for instructions of a sample program through a case study.

Tags: UML		   
whitepaper Object Oriented UML Modeling for Traveler Management System2008-07-20 Babasaheb Bhimrao Ambedkar University
  The present paper deals with the Object Oriented designing through Unified Modeling Language (UML) for a Traveler Management System (TMS). The main aim of this paper is to provide a flexible and faithful environment for traveler, which wants to travel to see the sight scenes, shopping for business meetings, etc. The TMS provides the information to the traveler without losing the time when it needed & the system gives the proper and accurate information to the traveler. The proposed model is based upon the knowledge based system & the complete booking process of a Taxi is defined in this paper and the knowledge model is tested with different data sets.

Tags: Programming Languages, UML		   
whitepaper UML Modeling & Protection of a Domain Based System2008-07-01 Babasaheb Bhimrao Ambedkar University
  The present paper deals with the UML modeling of a domain based system. The domain of credit cards of a bank company is considered as a case study. Data cubes are designed for the domain of credit card system. A protection technique through an algorithm is also proposed for a security of domain based system. UML class and sequence diagrams are designed for the system. Efficiency of the security algorithm is also discussed in the last section of the paper.

Tags: UML		   
whitepaper Improving UML Profile Design Practices by Leveraging Conceptual Domain Models2008-07-01 CEA
  Design of UML profiles typically involves ad-hoc processes that rely on domain-inappropriate primitives. One of the fundamental reasons for this is that profiles are specified at the same level of abstraction as the UML abstract syntax and consequently narrow down design space to implementation level. To avoid such situations, some profile designers start from a "Conceptual domain model" that identifies the domain abstractions, and only then deal with defining profile extensions to support it. Despite these improvements, building conceptual domain models and maintaining traceable mapping with a profile view has remained somewhat of an art. This paper proposes to systematize the design of UML profiles built on conceptual domain models, by adopting a set of minimum framing rules.

Tags: UML		   
whitepaper UML Representation Proposal for XTT Rule Design Method2008-06-24 AGH-University of Science and Technology
  In the paper practical issues concerning the use of UML as a knowledge representation method for rules are discussed. A proposal of an UML-based representation for the XTT structured representation for rules is presented. Since some deep semantical differences between UML and rule-based representation exist, several possible UML representations are evaluated. A practical algorithm for building an UML representation using activity diagrams from XTT tables is proposed.

Tags: Software Engineering, UML		   


Recognizing technology companies that matter

ZDNet Asia Top Tech Index

Find out who you should be spending your IT budget with