4,157 Hits in 2.4 sec

Transformation of UML interaction diagrams into contract specifications for object-oriented testing

Huo Yan Chen, Chuang Li, T. H. Tse
2007 2007 IEEE International Conference on Systems, Man and Cybernetics  
The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and therefore not widely used in the software industry.  ...  Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing.  ...  We choose the UML case tool IBM Rational Rose as an illustrative example owing to its widespread use in the software industry.  ... 
doi:10.1109/icsmc.2007.4413576 dblp:conf/smc/ChenLT07 fatcat:jwzccagwcngofijavjgfarriim

URDAD as a semi-formal approach to analysis and design

Fritz Solms, Dawid Loubser
2010 Innovations in Systems and Software Engineering  
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object Management Group's Model  ...  This paper discusses the semi-formal aspects of URDAD which facilitate model validation and testing, documentation generation and automated implementation mapping as well as aspects which promote agility  ...  -an OCL validation suite which validates that the UML model complies to the constraints of an URDAD metamodel, and -the linking of functional requirements (use cases) to services in services contracts  ... 
doi:10.1007/s11334-009-0113-4 fatcat:ao7bkleu7rhx7dacmjzw7pmf3m

Evaluation of the Contract-Aware Software Development Process in a Controlled Experiment [chapter]

A. Derezińska, P. Ołtarzewski
2014 Lecture Notes in Electrical Engineering  
As a result a high consistency between contract specification at a model and a code level was confirmed.  ...  We focused on the CASD process specialized for UML models with contracts specified in the Object Constraint Language (OCL). Models with contracts are automatically transformed into C# code.  ...  The artifacts submitted by each participant included: a requirement description, a use case model, a review of the obtained requirements and of use case specification, a UML project with classes, design  ... 
doi:10.1007/978-3-319-06764-3_45 fatcat:snc5mf522vdl3aqrmxl4pazisi

Towards Automating Source-Consistent UML Refactorings [chapter]

Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer
2003 Lecture Notes in Computer Science  
With the increased interest in refactoring, UML tool vendors seek ways to support software developers in applying a (sequence of) refactoring(s).  ...  This way, we provide future MDA tools with the ability to improve existing UML designs, yet keeping them in synch with the underlying code base.  ...  Summarizing, by implementing the OCL refactoring contracts we proposed in this paper, UML CASE tool vendors can support automatic refactoring composition.  ... 
doi:10.1007/978-3-540-45221-8_15 fatcat:awfvkzh2cnfprlz2bsjviwwoju

Open innovation Project architecture description - D2.3

Lourdes Gallego
2020 Zenodo  
The behaviour is presented through UML sequence diagrams, based on the use cases submitted in D2.1 ("Concept design and use-cases").  ...  The report explores the methodological approaches available, selecting the 4+1 Architectural View Model [1] as the most suitable approach for BD4OPEM.  ...  The behaviour is presented through UML sequence diagrams, based on the use cases submitted in D2.1 ("Concept design and use-cases") [3] .  ... 
doi:10.5281/zenodo.5840873 fatcat:qzzgvndccjen5lwn5s65cs2cwa

Customised high-value document generation

Niek du Preez, Nicolas Perry, Alexandre Candlot, Alain Bernard, Wilhelm Uys, Louis Louw
2005 CIRP annals  
Their production needs to be tailored case by case. Documents are often considered as knowledge transcription.  ...  As the base of a structured knowledge-based information environment, this paper presents a global approach that helps knowledge-integration tool deployment.  ...  As a first step to understand the existing contract infrastructure, paragraphs in the contract are analysed on a business process level by mapping flows within the paragraphs using a process-modelling  ... 
doi:10.1016/s0007-8506(07)60064-x fatcat:xpsqev4pqfgglbt7ozxror6l3y

VCL, a Visual Language for Modelling Software Systems Formally [chapter]

Nuno Amálio, Pierre Kelsen
2010 Lecture Notes in Computer Science  
Using VCL VCL has been applied to several case studies. Sample VCL diagrams of Figs. 1 and 2 are part of VCL model of secure simple Bank case study documented in [2] .  ...  Update operations are represented in BDs as contracts, observe operations as constraints; these are defined in constraint and contract diagrams.  ... 
doi:10.1007/978-3-642-14600-8_29 fatcat:5znln66rljgwro26tgq2cbyjga

The General-Purpose Modeling, Analysis, and Implementation of Software Architectures

Mert Özkaya
2020 Journal of Aeronautics and Space Technologies (Havacilik ve Uzay Teknolojileri Dergisi)  
In this paper, a new software modeling language called SAMP is proposed, which is inspired from UML and enables the general-purpose modeling of software architectures but at the same time promotes the  ...  As shown in Figure 3 , each package is specified with actors and some use-cases.  ...  An actor in a package is linked with one or more use-cases that are cohesive and this creates the use-case diagram for the package.  ... 
doaj:7ca4f1fb85c745f5b2a3d147338062ea fatcat:6g5z6zkk25ex7boob5by7xeyga

Cyber Resilience Meta-Modelling: The Railway Communication Case Study

Emanuele Bellini, Stefano Marrone, Fiammetta Marulli
2021 Electronics  
Cyber resilience is aimed as a way absorb the consequences of these attacks and to recover the functionality quickly and safely through adaptation.  ...  To this end, the present paper aims at providing an operational formalisation for cyber resilience starting from the Cyber Resilience Ontology presented in a previous work using model-driven principles  ...  The model is composed of two diagrams: a functional view, represented as a UML Use Case diagram, and a UML Component diagram reporting the structure of components associated with the function.  ... 
doi:10.3390/electronics10050583 doaj:b03542a919384ba0a492f1985f941a87 fatcat:by5elwdjpfg2bgeaaogxwtzkc4

Investigating the mapping of an Enterprise Description Language into UML 2.0

M.J. Wiering, M.M. Bonsangue, R. van Buuren, L.P.J. Groenewegen, H. Jonkers, M.M. Lankhorst
2004 Electronical Notes in Theoretical Computer Science  
Business architects and process engineers, when modelling their organisation or parts of it, prefer not to use the Unified Modelling Language (UML) as they find UML too technical for their taste.  ...  As these techniques are often less formalized or widely used, tool support is usually inadequate or even totally absent.  ...  The ArchiSurance Case In ArchiMate we use a business case called ArchiSurance.  ... 
doi:10.1016/j.entcs.2004.02.020 fatcat:tnghb7muung5vccitlg4wxdusm

Identification of the main processes in new towns Development Company in Iran and provision of the model of ideal processes for optimal management of resources and actions

N Siddighi
2016 Journal of Fundamental and Applied Sciences  
In this project, mentioned processes are explained with the use of UML diagrams and related scenarios and analyzed in a way where the analyses of GIS are clear.  ...  Description: If the Use Case needs description, it will be written here.  ...  Analyses of GIS: they are those GIS analyses used in the Use Case. Edited information items: these are fields or information layers which are used in this Use Case.  ... 
doi:10.4314/jfas.v8i3s.165 fatcat:wcxlrdn6qbelbehmdsnmb2fpci

An experimental scrutiny of visual design modelling: VCL up against UML+OCL

Nuno Amálio, Lionel Briand, Pierre Kelsen
2019 Empirical Software Engineering  
The graphical nature of prominent modelling notations, such as the standards UML and SysML, enables them to tap into the cognitive benefits of diagrams.  ...  It is an alternative to UML that does largely pictorially what is traditionally done textually.  ...  Each session required participants to work as both modellers and end-users, using either VCL or UML+OCL in either one of the two case studies.  ... 
doi:10.1007/s10664-019-09784-9 fatcat:uxbymvdjibc5fjxiedm3qvdix4

A generic framework for modeling resources with UML

B. Selic
2000 Computer  
Woodside of Carleton University, who provided useful feedback on the work described here.  ...  Acknowledgments I thank my colleagues on the real-time profile submission team-Morgan Bjorkander, Bruce Douglass, Mark Gerhardt, Alan Moore, Jim Rumbaugh, Srini Vasan, and Ben Watson; as well as Murray  ...  In this case, the realization mappings play the role of QoS contracts.  ... 
doi:10.1109/2.846320 fatcat:grwjh6lnmjhnfesmwf7hdc7zai

Ethereum's Smart Contracts Construction and Development using Model Driven Engineering Technologies: a Review

Yassine Ait Hsain, Naziha Laaz, Samir Mbarki
2021 Procedia Computer Science  
The result can be used as a basis of tool selection for specific development aspects of SCs.  ...  The result can be used as a basis of tool selection for specific development aspects of SCs.  ...  As reported, you may notice that 36% use BPMN models to represent Smart contract processes and 22% employ Finite State Machine, while approaches based on UML State Chart and Class diagram represent 14%  ... 
doi:10.1016/j.procs.2021.03.097 fatcat:5sz3pdgk3rdxtpvxgmriypcp34

A Pragmatic Approach for Analysis and Design of Service Inventories [chapter]

Patricia Lago, Maryam Razavian
2012 Lecture Notes in Computer Science  
As a consequence, the design of software services that are in-line with service aspects is left up to the prudence of the developers.  ...  Service Orientation is a paradigm for exposing business functions as reusable services and enabling business partners to discover those services on demand.  ...  This research received funding from projects Jacquard SAPIENSA (contract 638.001.206 ) and FP7 NoE S-Cube (contract 215483).  ... 
doi:10.1007/978-3-642-31875-7_6 fatcat:zmcuihfhyjc3pmzeselb2pypp4
« Previous Showing results 1 — 15 out of 4,157 results