Filters








2,256 Hits in 6.1 sec

The Single Model Principle

Richard F. Paige, Jonathan S. Ostroff
2002 Journal of Object Technology  
The second approach (of which unrestricted UML is an example) is based on the independent construction of multiple models of the same system, but with no guarantee of the consistency of the various models  ...  We also consider situations and tasks when following the principle is insufficient, particularly when capturing early (goal-oriented) requirements.  ...  BON's dynamic diagrams ( Fig. 2(b) ) are similar to UML collaboration diagrams.  ... 
doi:10.5381/jot.2002.1.5.c6 fatcat:j23sb75s4reibirx7uceuu4xcq

Use of Models and Modelling Techniques for Service Development [chapter]

Luís Ferreira Pires, Marten van Sinderen, Cléver Ricardo Guareis de Farias, João Paulo Andrade Almeida
2004 IFIP International Federation for Information Processing  
A platform can be any technology that supports the execution of these models, either directly or after translation to code in a programming language.  ...  E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component technologies.  ...  Behaviour modelling UML 1.5 defines a collection of diagrams for behaviour modelling, namely use case diagrams, sequence diagrams, collaboration diagrams, statechart diagrams and activity diagrams.  ... 
doi:10.1007/1-4020-7907-9_33 fatcat:vlaxrm5c3rb3fhoey67aehzohm

Review and Analysis of The Issues of Unified Modeling Language for Visualizing, Specifying, Constructing and Documenting the Artifacts of a Software-Intensive System [article]

S.S.Riaz Ahamed
2010 arXiv   pre-print
In an ideal world, the UML tool will be able to reverse-engineer any direct changes to code and the UML representations will be kept in sync with the code.  ...  Although UML is not a visual programming language, its models can be directly connected to a vast variety of programming languages.  ...  Typically, an interaction diagram captures the behaviour of a single case by showing the collaboration of the objects in the system to accomplish the task.  ... 
arXiv:1001.4192v1 fatcat:hzxkjgjaqfbb5fwk4yzza4ehfi

A case study in object-oriented modeling and design of distributed multimedia applications

Morzenti, Pradella, Rossi, Russo, Sergio
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
DMAs are a class of software applications with a range of strong -often conflicting -requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution  ...  The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed too.  ...  UML provides sequence or collaboration diagrams to describe how groups of objects collaborate in some behaviour. In DiVA, the flow of messages in a typical user session is shown in Fig. 4 .  ... 
doi:10.1109/pdse.1999.779755 dblp:conf/pdse/MorzentiPRRS99 fatcat:y2omvplbj5bvfmphenyoimpewi

Comprehensiveness of UML in Reservoir Automation System Using Zigbee and GSM

Umasankar Ch
2013 IOSR Journal of Electronics and Communication Engineering  
mainly the application's dynamic behaviour i.e. the behaviour over time.  ...  The state charts, use cases, sequence diagrams, collaboration diagrams and activity diagrams are used to construct the behavioural model of the system.  ... 
doi:10.9790/2834-0826470 fatcat:hrgcpdhhhfef3fk5sbb6yjwkhu

Modelling biological behaviours with the unified modelling language: an immunological case study and critique

M. Read, P. S. Andrews, J. Timmis, V. Kumar
2014 Journal of the Royal Society Interface  
We show how specialized, well-explained diagrams with less formal semantics can be used where no suitable UML formalism exists.  ...  We also demonstrate the ambiguous nature of class diagrams when applied to complex biology, and question their utility in modelling such dynamic systems.  ...  for expressing how dynamic system entities collaborate.  ... 
doi:10.1098/rsif.2014.0704 pmid:25142524 pmcid:PMC4233755 fatcat:lqziq2tocjahtd2qjzhntsdrvy

Unified Modeling Language for Describing Business Value Chain Activities [article]

Ashish Seth, Himanshu Agarwal, Ashim Raj Singla
2013 arXiv   pre-print
The results show that the UML is useful in the development of information systems and is independent of any programming language.  ...  With the market competition aggravating, it becomes necessary for market players to adopt a business model which can adopt dynamic business changes.  ...  UML dynamic models can be represented by sequence diagram, collaboration diagram, activity diagram and state chart diagram, these dynamic diagrams describes object behaviour & interactions between objects  ... 
arXiv:1302.5788v1 fatcat:77eu572ibvf2bou6nioeyhnfqq

TESTING AND VERIFICATION OF SOFTWARE MODEL THROUGH FORMAL SEMANTICS: A SYSTEMATIC REVIEW

Deepak Arora .
2014 International Journal of Research in Engineering and Technology  
It provides the capability to explore the static structure as well as dynamic behaviour of any large and complex software system.  ...  It consists of different software design patterns, templates and frameworks with unique diagrams to represent different aspect of software design during its development phase.  ...  Collaboration Diagrams [67] covers the dynamic aspect of testing better than any other UML model.  ... 
doi:10.15623/ijret.2014.0322016 fatcat:tbmpeep2g5gofhylq5d6dyxmta

Dynamic Logic Semantics for UML Consistency [chapter]

Greg O'Keefe
2006 Lecture Notes in Computer Science  
We describe an approach to defining semantics for UML diagrams using dynamic logic, and show that Mellor's example is inconsistent, given a reasonable assumption.  ...  Our approach interprets all diagrams, static and dynamic, in a single semantic space.  ...  In the same system, we have a sequence diagram that shows lifelines for two objects whose behaviour is captured by the state chart diagrams, one of which sends a single signal Y to the other.  ... 
doi:10.1007/11787044_10 fatcat:x3cgmqmczzgepp2pnp53mdufpe

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

K. Benghazi Akhlaki, M.I. Capel Tuñón, J.A. Holgado Terriza, L.E. Mendoza Morales
2007 Science of Computer Programming  
Among other contributions, this article aims at integrating collaboration diagrams into our approach to facilitate the specification of capsules in UML-RT design models.  ...  By following a methodological approach, introduced in a previous work, a correct system specification in terms of CSP+T process algebra is systematically obtained from the UML-RT model of a real-time software  ...  A collaboration diagram captures the internal structure of each component.  ... 
doi:10.1016/j.scico.2006.08.005 fatcat:hsd7vr7sivhi5muygrpufkx2ny

The complementary use of IDEF and UML modelling approaches

Cheol-Han Kim, R.H. Weston, A. Hodgson, Kyung-Huy Lee
2003 Computers in industry (Print)  
Particularly, this study illustrates how semantic information encoded by different types of IDEF diagramming technique can be re-represented and reused as models expressed in alternative notations.  ...  The study illustrates benefits gained from using IDEF as a business front end to UML.  ...  UML class programs and static modelling The term ''class'' is a descriptor used in UML notation to refer to a set of objects with similar data structure, behaviour and relationships.  ... 
doi:10.1016/s0166-3615(02)00145-8 fatcat:avviif2xjvdrdihfluzjd24ebe

Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic [chapter]

Nasreddine Aoumeur, Gunter Saake
2002 Lecture Notes in Computer Science  
Although the diversity of UML diagrams provides users with different views of any complex software under development, in most cases system designers face challenging problems to keeping such diagrams coherently  ...  In this sense, we propose to integrate most of UML diagrams in a very smooth yet sound way.  ...  That is, each operation or message dynamics is captured by a corresponding rewrite rule.  ... 
doi:10.1007/3-540-47961-9_22 fatcat:crtbvcwkjnhf3egcrcvgzkifae

Test adequacy criteria for UML design models

Anneliese Andrews, Robert France, Sudipto Ghosh, Gerald Craig
2003 Software testing, verification & reliability  
The test adequacy criteria proposed in this paper are based on building blocks for UML class and interaction diagrams.  ...  Systematic design testing, in which executable models of behaviours are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code.  ...  This view of a system's behaviour is conveniently captured by interaction diagrams.  ... 
doi:10.1002/stvr.270 fatcat:7ryg5oqt3raclforudx5vcoaru

A Formal Model of Peer-to-Peer Digital Product Marketplace

Sylvanus A. Ehikioya
2018 International Journal of Networked and Distributed Computing (IJNDC)  
First, models are written in UML, as this is expected to be relatively easy to understand and economic. Then, the models are transformed into a formal notation, object-Z notation.  ...  P2P e-commerce applications are characterized by autonomy of each peer; peers communicate and transact business with unspecified and often un-trusted peers; and the existence of commercial transaction  ...  Also, UML provide some other diagrams like class diagrams, collaboration diagrams, activity and sequence diagrams, and state diagrams for the modeling of behavioural and interaction aspects of an e-commerce  ... 
doi:10.2991/ijndc.2018.3.6.3 fatcat:fhtot74dljbu7hxj4gb4mq2yxm

Test Case Generation For Embedded System Software Using Uml Interaction Diagram

MANI Padmanabhan, PRASANNA M
2017 Zenodo  
Unified Modeling Language (UML) designs provide valid information for software development process. UML interaction diagram based test case generation can be used to improve the quality in software.  ...  This paper presents a method for test case generation from UML interaction diagram at the cluster level. It makes three major processes.  ...  UML supports different types of interaction diagrams including sequence and collaboration diagrams [5] .  ... 
doi:10.5281/zenodo.1302102 fatcat:h2gcyujo6zhbvlzoakhjqlkwuu
« Previous Showing results 1 — 15 out of 2,256 results