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.
Filters
On testing and conformance relations for UML statechart diagrams behaviours
2002
Software engineering notes
Preserved Fulltext
TESTING RELATIONS ¡ G ¢ u ¤ § ¦ © ¥ 1 p 3 B 8 8 3 A ! r ¢ D P ! ...
§ 6 7 8 a ) § 3 3 1 4 i 3 1 # 8 8 8 H 6 Y 6 7 r 5 ¢ ' l ¤ § ¦ D H 3 § 9 6 Y { D § H C H ¢ ¤ § ' F ¢ i ¤ § ¦ © r 5 9 $ W ¢ f E 1 p 3 B & D ¢ '¨ ¢ o s B g x
LABELED TRANSITION SYSTEMS OVER I/O-PAIRS AND ...
TESTING PREORDERS AND THE CONFORMANCE RELATION ...
doi:10.1145/566171.566194
fatcat:ug433fbu4reitfvtjxblzivuuu
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.
The paper presents a short introduction to MDA, in the context of service development, and an overview of the modelling capabilities of the Unified Modelling Language (UML), one of MDA's main modelling ...
An important feature of the MDA approach is the explicit identification of Platform-Independent Models (PIMs) and the flexibility to implement them on different platforms via Platform-Specific Models ( ...
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
Automatic Test case Generation From UML State Chart Diagram
2012
International Journal of Computer Applications
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.
So automated generation of test cases is highly required. We present a testing methodology to test object oriented software based on UML state chart diagrams. ...
In our approach we apply function minimization technique and generate test cases automatically from UML state chart diagrams. Here, first the state chart diagram is constructed. ...
Systa et al. [27] introduced information preserving statechart diagram optimization algorithms for transforming a simple flat statechart diagram into a more compact UML statechart diagram. ...
doi:10.5120/5705-7756
fatcat:qhbrzzg3xbccximwiw3sm6tjim
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
[chapter]
2004
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.
Additionally, today's market forces demand smaller lot sizes and a more flexible mixture of different products manufactured in parallel on one production line. ...
We show how our modelling approach is used for simulation facilities, code generation for programmable logic controllers, and maintenance purposes. ...
The paper focused on code generation for programmable logic controllers, simulation and maintenance. We developed a code generator for implementing statecharts on PLCs. ...
doi:10.1007/978-3-540-27863-4_5
fatcat:cv2zatvv4fc7tbfarjcktrymra
Generation of Optimized Testsuites for UML Statecharts with Time
[chapter]
2004
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 2018; you can also visit the original URL.
The file type is application/pdf.
The statecharts are extended to accomplish common and new coverage criteria inspired by the experience of test experts and translated into timed automata. ...
The algorithms are implemented as a plugin for a standard UML tool (Poseidon for UML). ...
Statecharts Semantics Our semantics for statecharts conforms to the UML standard with an extension to handle a family of concurrent statecharts on the object (top) level. ...
doi:10.1007/978-3-540-24704-3_9
fatcat:5okazldelzakljqx7kic2k5sxe
Software Performance Modeling Using UML and Petri Nets
[chapter]
2004
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 2010; you can also visit the original URL.
The file type is application/pdf.
The approach surveyed has as main features that it uses the UML diagrams to specify the functional and performance requeriments of the system and the stochastic Petri nets formalism to analyse it. ...
Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as auctions or electronic commerce. ...
Since the performance model can suffer the state space explosion problem, we also surveyed here several works on efficient analysis techniques that can be used to solve the model. ...
doi:10.1007/978-3-540-24663-3_13
fatcat:fee4zu5nmvb5jgxfdu7yl52u5m
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
[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.
-Thirdly, based on the specified semantics, runnable components of these diagrams are generated for execution and simulation. ...
In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. ...
Conclusion In this paper we presented a method for defining the syntax and semantics of UML statechart diagrams. ...
doi:10.1007/3-540-46037-3_30
fatcat:s6ecrvdngndjbejnety3fr7kbm
Roles at the Basis of UML Validation
2007
Journal of Computing and Information 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 2018; you can also visit the original URL.
The file type is application/pdf.
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 throughout the roles they play. ...
Formal validation of UML models proves to be hardly realizable, due to the imprecise semantics of UML dynamic diagrams. ...
Statecharts A statechart describes the behaviour of a class in terms of states and messages it exchanges with other statecharts. ...
doi:10.2498/cit.1000882
fatcat:agcfm5d3z5eq3olbvq7mbgiqyq
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
[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 2017; you can also visit the original URL.
The file type is application/pdf.
and of the related tools has been driven by many external factors related to the specific application domain, to the company policies, to european regulations. ...
The first difficulty for a company is due to the many different formal methods proposals around; we show how this difficulty has been addressed and how the choice of a reference formal specification notation ...
requirement management tools, such as Telelogic DOORS, model-based requirements are addressed, by proposing UML [19] state diagrams and Statecharts to describe the behaviour, and OCL [20] to describe ...
doi:10.1007/11813040_13
fatcat:5oug6soa3jdh5ffq5kcvnzj6me
A state-based approach to integration testing based on UML models
2007
Information and Software 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 2007; you can also visit the original URL.
The file type is application/pdf.
The technique combines UML collaboration diagrams and statecharts to automatically generate an intermediate test model, called SCOTEM (State COllaboration TEst Model). ...
The results show that the proposed technique effectively detects all the seeded integration faults when complying with the most demanding adequacy criterion and still achieves reasonably good results for ...
For students, Dr. Jaffar was a mentor, a source of knowledge, inspiration, and motivation. ...
doi:10.1016/j.infsof.2006.11.002
fatcat:j4uw3toylnaxxpb4giwmpgh2ve
Automated support for deriving test requirements from UML statecharts
2005
Journal of Software and Systems Modeling
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 2014; you can also visit the original URL.
The file type is application/pdf.
This requires that we determine the system state required for each event/transition that is part of the path to be tested and the input parameter values for all events and actions associated with the transitions ...
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart. ...
Lionel Briand and Yvan Labiche were further supported by NSERC operational grants. This work is part of a larger project on testing object-oriented systems with the UML (www.sce.carleton.ca/Squall). ...
doi:10.1007/s10270-005-0090-5
fatcat:lkm6wmn52fe6hb6mod22yk3zsi
Test cases generation from UML state diagrams
1999
IEE Proceedings - Software
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.
UML state diagrams are widely used for specifying the dynamic behaviour of classes and are substantially based on Statecharts [14] which have been successfully applied to reactive systems. ...
A set of coverage criteria is proposed based on control and data flow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. ...
After describing work related to class testing, we briefly review the syntax and semantics of UML state diagrams. ...
doi:10.1049/ip-sen:19990602
fatcat:yf5rtn5v2vhv7ic4agzd4xfyyu
The application of UML to the design of processes supporting product configuration management
2006
International journal of computer integrated manufacturing (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.
In this paper a unified-modelling-language (UML)-based approach is introduced to define a PCM process model developed, as part of the Framework V DIECoM project, for use in the aerospace and automotive ...
The process model is defined using Rational Rose and transformed into XPDL for workflow enactment using ENOVIA LCA. ...
Acknowledgements The authors are grateful to the partners and reviewers of the DIECoM project for their work in supporting this research. ...
doi:10.1080/09511920500233939
fatcat:dn56emndcnbjdfv75z52evqx7a
The FTG+PM framework for multi-paradigm modelling
2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12
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 present a FTG+PM model for the automotive domain, and describe the MDE process we applied based on our experiences with the power window system. ...
We have earlier proposed a conceptual framework, FTG+PM, that acts as a guide for carrying out model transformations, and as a basis for unifying key MDE practices, namely multiparadigm modelling, meta-modelling ...
It contains blocks, ports and relations between these ports. The abstract syntax used for Statecharts is based on the UML Statecharts metamodel, with semantics as defined by Harel [?] . ...
doi:10.1145/2508443.2508446
dblp:conf/models/MustafizDLV12
fatcat:fuxsseeribfrlk54rqisni53za
Extending the UML Statecharts Notation to Model Security Aspects
2015
IEEE Transactions on Software 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.
There are stereotypes that can be attached to UML diagrams (for instance state diagrams), giving security-related restrictions such as "data security" or "no down-flow", indicating that confidential information ...
The notational extensions that UMLsec offers for statecharts are also limited. ...
Jan Jürjens for providing us permission to use the diagram which we have re-drawn in Figure 1 ...
doi:10.1109/tse.2015.2396526
fatcat:xifxhmtwzvfefekpovfwybfuti
« Previous
Showing results 1 — 15 out of 360 results