360 Hits in 5.2 sec

On testing and conformance relations for UML statechart diagrams behaviours

Diego Latella, Mieke Massink
2002 Software engineering notes  
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]

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  
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

Ranjita Swain, Vikas Panthi, Prafulla Kumar Behera, Durga Prasad Mohapatra
2012 International Journal of Computer Applications  
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]

Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes
2004 Lecture Notes in Computer Science  
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]

Tilo Mücke, Michaela Huhn
2004 Lecture Notes in Computer Science  
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]

José Merseguer, Javier Campos
2004 Lecture Notes in Computer Science  
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]

Yan Jin, Robert Esser, Jörn W. Janneck
2002 Lecture Notes in Computer Science  
-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

Thouraya Bouabana-Tebibel
2007 Journal of Computing and Information Technology  
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]

Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni
2006 Lecture Notes in Computer Science  
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

Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-ur Rehman, Hajra Asghar, Muhammad Zohaib Z. Iqbal, Aamer Nadeem
2007 Information and Software Technology  
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

L. C. Briand, Y. Labiche, J. Cui
2005 Journal of Software and Systems Modeling  
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 (  ... 
doi:10.1007/s10270-005-0090-5 fatcat:lkm6wmn52fe6hb6mod22yk3zsi

Test cases generation from UML state diagrams

Y. G. Kim, H. S. Hong, D. H. Bae, S. D. Cha
1999 IEE Proceedings - Software  
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

P. Jiang, Q. Mair, J. Newman
2006 International journal of computer integrated manufacturing (Print)  
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

Sadaf Mustafiz, Joachim Denil, Levi Lúcio, Hans Vangheluwe
2012 Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12  
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

Mohamed El-Attar, Hamza Luqman, Peter Karpati, Guttorm Sindre, Andreas L. Opdahl
2015 IEEE Transactions on Software Engineering  
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