A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
The Single Model Principle
2002
Journal of Object Technology
Preserved Fulltext
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]
2004
IFIP International Federation for Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2010
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1999
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2013
IOSR Journal of Electronics and Communication Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of the Royal Society Interface
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Research in Engineering and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2007
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Computers in industry (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Software testing, verification & reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Journal of Networked and Distributed Computing (IJNDC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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