mvc return pdf : Convert image pdf to text pdf SDK Library API wpf asp.net windows sharepoint model-quality-literature-review3-part1457

[P3]  B.  Berenbach,  The  evaluation  of  large,  complex  UML  analysis  and  design  models,  Proc.  26
th
International Conference on Software Engineering (ICSE’04), 2004, pp. 232-241. 
[P4]  B.  Berenbach,  Metrics  for  model  driven  requirements  development,  Proc.  28
th
International 
Conference on Software engineering (ICSE'06), 2006, pp. 445-451. 
[P5] Y. Choi, C.  Bunse, Behavioral consistency checking for  component-based software development 
using  the  KobrA  approach,  Proc.  3
rd
International  Workshop,  Consistency  Problems  in  UML-based 
Software Development III – Understanding and Usage of Dependency Relationships, held at UML 2004, 
2004, pp. 83-98. 
[P6] B. DuBois,  C.  Lange,  S.  Demeyer,  M.  Chaudron, A qualitative investigation  of UML modeling 
conventions, Proc. 1
st
Workshop on Quality in Modeling (QiM’06) held at MoDELS 2006, 2006, pp. 79-
84. 
[P7] H. Eichelberger, Aesthetics of class diagrams, Proc. 1
st
IEEE International Workshop on Visualizing 
Software for Understanding and Analysis (VISSOFT 2002), IEEE CS Press, 2002, pp. 23-31. 
[P8]  H.  Eichelberger,  Nice  class  diagrams  admit  good  design?  Proc.  ACM  Symposium  on  Software 
Visualization, 2003, pp. 159-ff. 
[P9]  A.  Gavras,  M.  Belaunde,  L.F.  Pires,  J.P.A.  Almeida,  Towards  an  MDA-based  development 
methodology  for  distributed  applications,  in:  Proc.  EWSA'04,  1
st
European  Workshop  on  Software 
Architecture, LNCS volume 3047, Springer Berlin / Heidelberg, 2004, pp. 230-240. 
[P10] M. Giese, R. Heldal, From informal to formal specifications in UML, in: Proc. UML 2004, LNCS 
volume 3273Springer Berlin / Heidelberg, 2004, pp. 197-211. 
[P11] R. Haesen, M. Snoeck, Implementing consistency management techniques for conceptual 
modelling, Proc. 3
rd
International Workshop, Consistency Problems in UML-based Software Development 
III – Understanding and Usage of Dependency Relationships, held at UML 2004, 2004, pp. 99-113. 
[P12] B. Hnatkowska,  A.  Walkowiak, Consistency  checking of  USDP  models, Proc. 3
rd
International 
Workshop Consistency Problems in UML-based Software Development III – Understanding and Usage of 
Dependency Relationships, 2004, pp. 59-70. 
[P13]  H.  Jonkers,  M.  Stroucken,  R.  Vdovjak,  Bootstrapping  domain-specific  model-driven  software 
development  within Philips, Proc.  6
th
OOPSLA  Workshop  on Domain  Specific  Modeling  (DSM’06), 
2006, 10 p. 
[P14]  S.  Konrad,  H.J.  Goldsby,  B.H.C.  Cheng,  i
2
MAP:  an  incremental  and  iterative  modelling  and 
analysis process, in: Proc. MoDELS 2007, LNCS 4735, 2007, pp. 451-466. 
[P15] J. Krogstie, A. Sølvberg, Information Systems Engineering: Conceptual Modeling in a Quality 
perspective,  Kompendiumforlaget, Norway, 2000.  
[P16] L. Kuzniarz, M. Staron, C. Wohlin, An empirical study on using stereotypes to improve 
understanding  of  UML  models,  Proc.12
th
IEEE  International  Workshop  on  Program  Comprehension, 
2004, pp.14-23.  
[P17]  C.F.J.  Lange,  Managing  model  quality  in  UML-based  software  development,  Proc.  13
th
IEEE 
International Workshop on Software Technology and Engineering Practice (STEP'05), 2005, pp. 7-16. 
[P18] C.F.J. Lange, B. DuBois, M.R.V. Chaudron, S. Demeyer, An experimental investigation of UML 
modeling conventions, in: Proc. MODELS'06, 2006, pp. 27-41. 
[P19] C.F.J. Lange, Assessing and Improving the Quality of Modeling- A Series of Empirical Studies 
about the UML, PhD thesis, Technische Universiteit Eindhoven, 2007. 
[P20] C.F.J. Lange, M.R.V. Chaudron, Defects in industrial UML models – a multiple case study, Proc. 
Workshop on Quality in Modelling (QiM’07) at MODELS 2007, 2007, pp. 50-65. 
[P21]  C.F.J.  Lange,  M.A.M.  Wijns,  M.R.V.  Chaudron,  A  visualization  framework  for  task-oriented 
modeling using UML,  Proc. 40
th
Annual  Hawaii International Conference on  System Sciences (HICSS 
2007), 2007, pp. 289a - 289a. 
[P22]  O.I.  Lindland,  G.  Sindre,  A.  Sølvberg,  Understanding  quality  in  conceptual  modelling,  IEEE 
Software 11-2 (1994) 42-49. 
31
Convert image pdf to text pdf - control SDK platform:C# PDF Convert to Text SDK: Convert PDF to txt files in C#.net, ASP.NET MVC, WinForms, WPF application
C# PDF to Text (TXT) Converting Library to Convert PDF to Text
www.rasteredge.com
Convert image pdf to text pdf - control SDK platform:VB.NET PDF Convert to Text SDK: Convert PDF to txt files in vb.net, ASP.NET MVC, WinForms, WPF application
VB.NET Guide and Sample Codes to Convert PDF to Text in .NET Project
www.rasteredge.com
[P23]  Z.  Liu,  H.  Jifeng,  X.  Li,  Y.  Chen,  Consistency  and  refinement  of  UML  models,  Proc.  3
rd
International Workshop Consistency Problems in UML-based Software Development III – Understanding 
and Usage of Dependency Relationships, 2004, pp. 23-40. 
[P24] W.E. McUmber, B.H.C. Cheng, A general framework for formalizing UML with formal languages, 
Proc. IEEE International conference on Software Engineering (ICSE’01), 2001, pp. 433-442. 
[P25] 
R. 
Mitchell, 
High-quality 
modeling 
in 
UML, 
2001, 
http://www.inferdata.com/resources/whitepapers/HQmodeling.4.pdf 
[P26] H.J. Nelson, D.E. Monarchi, Ensuring the quality of conceptual representations, Software Quality 
Journal 15-2 (2007) 213-233.  
[P27] M.  Peleg, D. Dori, The model multiplicity problem:  experimenting  with real-time  specification 
methods, IEEE Transactions on SE 26-8 (2000) 742-759. 
[P28] H.C. Purchase, L. Colpoys, M. McGill, D. Carrington, C. Britton, UML class diagram syntax: an 
empirical study of comprehension, Proc. Australian Symposium on Information, 2001, pp. 113-120. 
[P29]  H.C.  Purchase,  J.A.  Allder,  D.  Carrington,  Graph  layout  aesthetics  in  UML  diagrams:  user 
preferences. Journal of Graph Algorithms and Applications 6-3 (2002) 255-279. 
[P30] I. Reinhartz-Berger, D. Dori, OPM vs. UML—experimenting with comprehension and construction 
of Web application models, Empirical Software Engineering 10
-
1
(2005) 57-80. 
[P31] K. Ryndina, J.M. Küster, M. Call, Consistency of business process models and object life cycles, in: 
Proc 1
st
Workshop on Quality in Modelling (QiM’06) at MoDELS 2006, LNCS 4364, 2006, pp. 80-90. 
[P32] M. Saeki, H. Kaiya, Model metrics and metrics of model transformation, Proc. 1
st
Workshop on 
Quality in Modeling (QiM’06) held at MoDELS 2006, 2006, pp. 31-46. 
[P33] L. Safa, The practice of deploying DSM, report from a Japanese appliance maker trenches, Proc. 6
th
OOPSLA Workshop on Domain Specific Modeling (DSM’06), 2006, 12p. 
[P34]  M.  Staron,  L.  Kuzniarz,  L.  Wallin,  Case  study  on  a  process  of  industrial  MDA  realization: 
determinants of effectiveness, Nordic Journal of Computing 11-3 (2004) 254-278. 
[P35]  M.  Staron,  L.  Kuzniarz,  C.  Wohlin,  Empirical  assessment  of  using  stereotypes  to  improve 
comprehension of UML models: a set of experiments, Journal of Systems and Software 79-5 (2006) 727-
742. 
[P36]  R.  van  Der  Straeten,  Formalizing  behaviour  preserving  dependencies  in  UML,    Proc.  3
rd
International Workshop Consistency Problems in UML-based Software Development III – Understanding 
and Usage of Dependency Relationships, 2004, pp. 71-82. 
[P37] B. Trask, D.  Paniscotti,  A. Roman, V.  Bhanot, Using model-driven engineering to complement 
software  product line  engineering  in  developing  software  defined radio  components and  applications, 
ACM SIGPLAN  International Conference on Object-Oriented Programming, Systems, Languages and 
Applications (OOPSLA'06), 2006, pp. 846-853. 
[P38] B. Unhelkar, Verification and Validation for Quality of UML 2.0 Models, Wiley, 2005. 
[P39] H. Wegener, Balancing simplicity and expressiveness: designing domain-specific models for the 
reinsurance industry, Proc. 4
th
OOPSLA Workshop on Domain Specific Modelling (DSM’04), 2004. 
[P40] F. Weil, B. Mastenbrook, D. Nelson, P. Dietz, A. van der Berg, Automated semantic analysis of 
design models, in: Proc. MoDELS 2007, LNCS volume 4735, 2007, pp. 166-180. 
Appendix  II-  Publication  Channels  and  Summary  of  the  Primary 
Studies 
The numbers of primary studies identified in each publication channel are in (). The titles of publication 
channels with more than three primary studies appear in italic.  
Books (3)  
PhD thesis (1)  
Software and Systems Modeling (SoSyM) Journal (0) 
Software Quality Journal (1)  
32
control SDK platform:C# Create PDF from images Library to convert Jpeg, png images to
If using x86, the platform target should be x86. C#.NET Example: Convert One Image to PDF in Visual C# .NET Class. Here, we take Gif image file as an example.
www.rasteredge.com
control SDK platform:C# PDF Image Extract Library: Select, copy, paste PDF images in C#
How to C#: Extract Image from PDF Document. List<PDFImage> allImages = PDFImageHandler. ExtractImages(page); C#: Select An Image from PDF Page by Position.
www.rasteredge.com
Empirical Software Engineering Journal (1)  
Journal of Systems and Software (1)  
Information and Software Technology (0) 
UML / MoDELS conferences 
(4) 
QiM workshops at MoDELS 
(5)
Other workshops at UML/ MoDELs conferences 
(5)
ECMDA-FA conferences (0) 
ICSE, International Conference on Software Engineering
(3)  
OOPSLA, Conference on Object-oriented programming systems, languages, and applications (1) 
DSM workshops at OPPSLA 
(3)
Digital libraries (6)   
Searched Internet for publications of authors as given in references of other papers (Lange and Staron) 
(4)  
Other Internet search (1)  
Known from before (1) (this is [P22]) 
References 
[1]
C. Atkinson, J. Bayer, C. Bunse, E. Kamsties, O. Laitenberger, R. Laqua, D. Muthig, B. Paech, J. 
Wust,  J. Zettel,   Component-based Product Line Engineering  with UML,  Addison-Wesley  Publishing 
Company, 2002. 
[2] R. Conradi, P. Mohagheghi, T. Arif, L.C. Hedge, G.A. Bunde, A. Pedersen, Object-Oriented reading 
techniques for inspection of UML models – an industrial experiment, in: Proc. the European Conference 
on Object-Oriented Programming (ECOOP’03), LNCS volume 2749, 2003, pp. 483-501. 
[3]  K.  Cox,  K.  Phalp,  Replicating  the  CREWS  use  case  authoring  guidelines  experiment,  Empirical 
Software Engineering 5 (2000) 245-267. 
[4]
D. Harel, B. Rumpe, Modeling Languages: Syntax, Semantics and All That Stuff. Technical paper 
number MCS00-16, The Weizmann Institute of Science, Rehovot, Israel, 2000. 
[5] M. Jørgensen, M. Shepperd, A systematic review of software development cost estimation studies, 
IEEE Transactions on SE 33-1 (2007) 33-53.  
[6] S. Kelly, J.P. Tolvanen, Domain-Specific Modelling, Enabling Full Code Generation, IEEE Computer 
Society Publications. 2008.  
[7] B. Kitchenham, Guidelines for performing systematic literature reviews in software engineering, v2.3, 
EBSE  Technical Report 2007-01, developed  by Software Engineering Group at  Keele University and 
Department of Computer Science at University of Durham, 2007,  65 p. 
[8]  A.  MacDonald,  D.  Russell,  B.  Atchison,  Model-driven  development  within  a  legacy  system:  an 
industry experience report, Proc. Australian Software Engineering Conference, 2005, pp. 14-22.  
[9]  P.  Mohagheghi,  J.Ø.  Aagedal,  Evaluating  quality  in  model-driven  engineering,
International 
Workshop on Modeling in Software Engineering (MiSE’07) ICSE Workshop, 2007, 6 p. 
[10] P. Mohagheghi, V. Dehlen, Developing a quality framework for model-driven engineering, in Proc. 
2
nd
Workshop on Quality in Modeling at MoDELS 2007, LNCS 5002, 2007, pp. 275-286.  
[11] P. Mohagheghi, V. Dehlen, Where is the proof? – a review of experiences from applying MDE in 
industry, in: Proc. 4
th
European Conference on Model Driven Architecture Foundations and Applications 
(ECMDA’08), LNCS 5095, 2008, pp. 432-443. 
[12] P.  Mohagheghi, V.  Dehlen, T. Neple,  Towards a tool-supported  quality  model  for  model-driven 
engineering, Proc. 3
rd
Workshop on Quality in Modelling (QiM’08) at MODELS 2008, 2008, 15 p. 
[13] P. Mohagheghi, V. Dehlen, A metamodel for specifying quality models in model-driven engineering, 
Proc. The Nordic Workshop on Model Driven Engineering, 2008,
pp. 51-65. 
[14]  A.D.  Neto,    R.  Subramanyan,  M.  Vieira,  G.H.  Travassos,  F.  Shull,  Improving  evidence  about 
software technologies, a look at model-based testing, IEEE Software 23-3 (2008) 10-13. 
33
control SDK platform:C# PDF insert image Library: insert images into PDF in C#.net, ASP
C#.NET PDF SDK - Add Image to PDF Page in C#.NET. How to Insert & Add Image, Picture or Logo on PDF Page Using C#.NET. Add Image to PDF Page Using C#.NET.
www.rasteredge.com
control SDK platform:VB.NET PDF Convert to Jpeg SDK: Convert PDF to JPEG images in vb.
C#: Convert PDF to HTML; C#: Convert PDF to Jpeg; C# C# Page: Delete PDF pages; C# Read: PDF Text Extract; C# Read: PDF Image Extract; C# Write: Insert text into
www.rasteredge.com
[15] K.T. Phalp, J. Vincent, K. Cox, Improving the quality of use case descriptions: empirical assessment 
of writing guidelines, Software Quality Journal 15-4 (2007) 383-399. 
[16] J. Rech, A. Spriestersbach, D.4.1: Quality defects in model-driven software development, deliverable 
of Vide project 2007, http://www.vide-ist.eu/extern/VIDE_D4.1.pdf 
[17] J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language Reference Manual, Addison 
Wesley, 1999. 
[18] M. Staron, Adopting model driven software development in industry – a case study at two companies, 
in: Proc. MoDELS 2006, LNCS 4199, 2006, pp. 57-72.  
[19]
A. Watson, A brief history of MDA, Upgrade, the European Journal for the Informatics Professional. 
Volume IX, No.2 (2008) URL http://www.upgrade-cepis.org. 
[20] R.K. Yin, Case Study Research: Design and Methods, Saga Publications, 2003. 
34
control SDK platform:VB.NET PDF Image Extract Library: Select, copy, paste PDF images
VB.NET PDF - Extract Image from PDF Document in VB.NET. Support PDF VB.NET : Select An Image from PDF Page by Position. Sample for
www.rasteredge.com
control SDK platform:C# PDF Convert to Jpeg SDK: Convert PDF to JPEG images in C#.net
NET. .NET library to batch convert PDF files to jpg image files. High quality jpeg file can be exported from PDF in .NET framework.
www.rasteredge.com
Vitea 
Parastoo  Mohagheghi
is  a  Research  Scientist  at the  Model  Driven  Software Development  group  at 
SINTEF. She received her Ph.D. from the Norwegian University of Science and Technology (NTNU) in 
2004 and has worked at Ericsson in Norway and NTNU before joining SINTEF in 2006. Her research 
interests  include  software  quality,  model-driven  software  development,  domain-specific  modelling, 
software reuse, measurement and empirical software engineering. She is a member of IEEE. 
Vegard Dehlen 
holds a MSc in Computer Science from University of Oslo. Since 2006, he has been 
working as a Research Scientist at the Department of Model Driven Software Development at SINTEF 
with particular focus on mobility and engineering of dynamic software systems. 
Tor Neple
holds a MS degree in computer science from the University of Trondheim where he focused on 
integration architectures based on distributed object technologies. He has been working with distributed 
system architectures and architecture descriptions for the last 10 years. He is currently a Research Scientist 
at  the  Model  Driven  Software  Development  group  where  he  focuses  on  language  engineering  and 
traceability in the context of model driven development. 
Tables 
Table I. A short summary of primary studies 
Ref. 
Short description 
[P1] 
This book describes a collection of standards, conventions and guidelines for creating effective 
UML
diagrams. It includes some general diagramming guidelines and some guidelines for 
common UML elements and diagrams. It also presents the Agile Modelling (AM) approach.  
[P2] 
The authors have originally developed MCC+, a plug-in for Poseidon for model consistency 
checking using Description Logics (DL). In order to achieve portability, the tool is upgraded 
into a tool for software product lines, MCC-SPL, that may be instantiated for several different 
UML
modelling tools that admit the use of plug-ins. 
[P3] 
The first part of the paper describes heuristics and processes for creating semantically correct 
UML
analysis and design models. It provides a set of conventions for different UML diagrams. 
The second part of the paper briefly describes the internal research tool that was used to 
analyze Siemens models.
[P4] 
This paper describes a CMMI (Capability Maturity Model Integration
)
compliant approach to 
measurement and analysis during a model-driven requirements development process. It 
presents a set of metrics for 
UML
requirement models that were used successfully on several 
Siemens projects, describing team dynamics, project size and staffing, how the metrics were 
captured and used, and lessons learned.  
[P5] 
The authors define consistency problems in the context of component-based development with 
the 
KobrA
method, and suggest a checking mechanism using environment modelling. The 
approach is automated using the SPIN model checker.  
[P6] 
The authors evaluated quality differences between 
UML
analysis and design models created 
with and without modelling conventions. Modelling conventions were provided either as a list 
or a list supported by a tool for detection of their violation. The conclusion is that UML 
modelling conventions (regarding layout and syntax) are unlikely to affect representational 
quality. Conventions are needed that clarify which types of information are relevant to 
particular future model usages; e.g., in implementation and testing. 
35
control SDK platform:VB.NET PDF insert image library: insert images into PDF in vb.net
VB.NET code to add an image to the inputFilePath As String = Program.RootPath + "\\" 1.pdf" Dim doc New PDFDocument(inputFilePath) ' Get a text manager from
www.rasteredge.com
control SDK platform:VB.NET PDF Text Extract Library: extract text content from PDF
Extract highlighted text out of PDF document. Image text extraction control provides text extraction from PDF images and image files.
www.rasteredge.com
Ref. 
Short description 
[P7] 
The author proposes a set of criteria to improve the aesthetics of 
UML
class diagrams
based 
on HCI principles. The paper also includes a layout algorithm which respects all these features 
and an implementation of a graph drawing framework which is able to produce drawings 
according to these criteria.  
[P8] 
The author proposes a set of aesthetic criteria for 
UML
class diagrams
and discusses the 
relation between these criteria, HCI and design aspects of object-oriented software. 
[P9] 
This paper proposes a development methodology for distributed applications based on the 
principles and concepts of 
MDA
. The paper identifies phases and activities of an MDA-based 
development trajectory, and defines the roles and products of each activity in accordance with 
the Software Process Engineering Metamodel (SPEM). 
[P10]  The authors present a way to relate informal requirements, in form of 
UML
use cases, to more 
formal specifications, written in OCL. The formal specification can improve the informal 
understanding of the system by exposing gaps and ambiguities in the informal specification. 
[P11]  This paper discusses ways to manage inconsistency (by analysis, monitoring and construction) 
and focuses on the second and third. The focus is on different views in 
conceptual models
The MERMAID modelling tool is used. The use of the Command pattern allows to implement 
the consistency by monitoring approach, and the use of complex commands and the Observer 
pattern allows for the realization of consistency by construction.  
[P12]  The paper considers the problem of consistency within and between artefacts. Based on UML, 
a new langauge
is formally defined with less number of views. OCL is used to formulate both 
inter, and intra-consistency rules. These rules were partly implemented within OCL Evaluator 
tool.  
[P13]  This paper describes the ongoing 
MDD
research efforts at Philips, introducing VAMPIRE− a 
light-weight model-driven approach to domain-specific software development. 
[P14] 
The authors describe a process for constructing
UML
analysis model of an embedded system. 
The process uses goal models to capture requirements which also have constraints specified in 
formally-analyzable natural language properties. UML class diagrams and state diagrams are 
used to model structure and behaviour of the system and are transformed to formal 
specifications and formally analyzed for adherence to the behavioural properties captured in 
the goal model.  
[P15] 
The authors discuss different modelling approaches applied for 
conceptual modelling.
They 
further extend the 
quality model
of [P22] with new quality types such as social quality and 
empirical quality. The identified means are also extended. The framework is used to evaluate 
the 
Object Modeling Technique
(OMT) which is the ancestor of UML for conceptual 
modelling, and shortcomings and strengths of the language are discussed.  
[P16] 
The paper elaborates on the role of stereotypes from the perspective of 
UML
, and describes a 
controlled experiment aimed at evaluation of the role – in the context of model understanding. 
The results of the experiment support the claim that stereotypes with graphical icons for their 
representation play a significant role in comprehension of models and show the size of the 
improvement.
[P17] 
The authors present a 
quality model
for managing 
UML
-based software development. The 
quality model includes purposes, quality characteristics and some metrics. They further discuss 
experiences in applying the quality model to several industrial case studies. Finally a tool is 
presented that visualizes the quality model. 
[P18]  This work reports on a controlled experiment to explore the effect of modelling conventions on 
36
Ref. 
Short description 
UML
diagrams on defect density and modelling effort. The results indicate that decreased 
defect density is attainable at the cost of increased effort when using modelling conventions, 
and moreover, that this trade-off is increased if tool-support is provided. 
[P19] 
The thesis gives a thorough discussion of 
UML
usage, its diagrams and quality issues related 
to different purposes of modelling. Different quality models are also presented before 
presenting own contribution which is described also in [P17]. Different experiments performed 
by Lange and others as in [P21] [P20] are discussed with more details to cover the aspect of 
quality defects.     
[P20] 
The authors report a multiple case study, in which 16 industrial 
UML
models are explored for 
defects. The analysis results were discussed with the model developers to gain deeper insights 
into the quality problems. The level of occurrence for several defect types is discussed. 
Additionally, the paper explores the influence of factors such as model size, time pressure, and 
developers’ skill on model quality. 
[P21]  In this paper the authors identify tasks of model-centric software engineering and information 
that is required to fulfil these tasks. They propose views to visualize the information needed to 
support fulfilling the tasks, and metrics required to evaluate the status of tasks. The focus is on 
UML
models.
[P22]  The authors examine attempts to define quality as it relates to 
conceptual models
and propose 
their own 
quality model
with three types of model quality: syntactic, semantic and pragmatic 
quality. The authors also propose means to improve the quality of models, for example 
performing inspections and simulating models.
[P23]  The authors use a formal object-oriented specification language (OOL) to formalize and 
combine 
UML diagrams
. It is thus possible to transform the consistency of UML models to 
the well-formedness of OOL specifications.  
[P24] 
The authors introduce a general framework for formalizing a subset of 
UML diagrams
in 
terms of different formal languages based on a homomorphic mapping between metamodels 
describing UML and the formal language. The resulting specifications enable execution and 
analysis through model checking. 
[P25]  This white paper presents a set of guidelines for developing high-.quality architecture models 
in 
UML
[P26]  This paper describes a theoretically-based set of best practices for ensuring that each step of a 
modelling process is performed correctly, followed by a proof of concept experiment 
demonstrating the utility of the method for producing a representation that closely reflects the 
real world. The paper introduces a 
quality model
which differs between perceptual quality, 
descriptive quality, semantic, syntactic, pragmatic and inferential quality. 
[P27]  This paper compares a model developed in The 
Object-Process Methodology
(OPM), which 
has only a single diagram, to a model developed in 
Object Modeling Technique
(OMT) with 
several diagrams. OPM shows to be more effective in terms of a better system specification and 
some differences in comprehension are observed.  
[P28] 
Five 
UML
graphical notations are compared in this paper: for each, two semantically 
equivalent, yet syntactically different, variations were chosen from published texts. The 
purpose is to evaluate which notations are easier to understand for humans. 
[P29]  This paper reports on experiments assessing the effect of individual aesthetics in the 
application domain of 
UML
diagrams
. Subjects' preferences for one diagram over another 
were collected as quantitative data. Their stated reasons for their choice were collected as 
37
Ref. 
Short description 
qualitative data. The work is similar to [P28]. 
[P30] 
Object-Process Methodology’s (OPM)
single-diagram approach is compared with 
UML
’s 
multi-diagram approach regarding the level of comprehension and the quality of the 
constructed Web application models. The results suggest that OPM is better than UML in 
modelling the dynamics aspect of the Web applications. In specifying structure and distribution 
aspects, there were no significant differences. The quality of the OPM models was superior to 
that of the corresponding UML models. 
[P31]  Business process models (diagrams) and object life cycles can provide two different views on 
behaviour of the same system, requiring that these diagrams are consistent with each other. The 
paper proposes an approach to establish their consistency. Object state diagrams are used to 
generate life cycles for each object type used in the process. The diagrams are developed in 
UML
[P32] 
The authors propose the integrated technique related to metrics in a 
MDD
context. The 
following topics are covered; 1) the application of a meta modelling technique to specify 
formally model-specific metrics, 2) the definition of metrics dealing with semantic aspects of 
models (semantic metrics) using domain ontologies, and 3) the specification technique for the 
metrics of model transformations based on graph rewriting systems. They use Class Diagram 
plus OCL to represent meta models with metrics definitions. 
[P33] 
After presenting the context of modelling and the rationales behind the decision to use 
DSM
the paper describes the approach to the problems of promotion, process integration, usability 
and sustainable deployment of domain-specific solutions. The conclusion is that most 
challenges to deploy DSMs are not technical but human by nature. 
[P34] 
In this paper, the key factors for the efficient accomplishment of the 
MDA
are discussed by 
means of an industrial case study. The factors identified are grouped into two categories - 
associated with usage and development of an MDA-based framework.  
[P35]  The paper describes a set of controlled experiments which were aimed at evaluating the role of 
stereotypes in improving comprehension of 
UML
models. The results of the experiments show 
that stereotypes play a significant role in the comprehension of models and the improvement 
achieved both by students and industry professionals. 
[P36]  In model re-factoring behaviour should be preserved as specified by the model. This paper 
defines some behaviour preserving properties inherent to model re-factorings. A 
UML profile
is defined with stereotypes extending the UML dependency relationship and its specializations 
to express the preservation properties between connected UML artefacts. Using a logic 
approach dependency relations are formalized and checked.
[P37]  This is an experience report emphasizing the synergy resulting from combining 
MDE
and SPL 
(Software Product Line) technologies. The paper also discusses some challenges with using 
domain-specific solutions. 
[P38]  This book defines three aspects of a 
quality model
: syntax, semantics and aesthetics. The book 
further defines three types of models: Models of Problem Spaces (MOPS), Models of Solution 
Space (MOSC) and Models of Background Space (MOBS). For each type of model, the author 
discusses necessary diagrams and quality check. Finally, For each type of 
UML
diagrams, 
checklists are provided in these three dimensions.  
[P39]  The authors report their experiences with a 
DSL
for reinsurance business and financial 
accounting. One experience is that that soft constraints (i.e., warnings instead of errors) are 
indispensable and should become an intrinsic part of DSLs. 
38
Ref. 
Short description 
[P40]  The authors discuss that model correctness is fundamentally important in MDE. They discuss 
techniques to prove model correctness which cover model checking and automated theorem 
proving. Model analysis is applying semantic rules that look for situations that are semantically 
incorrect or suspicious. Different types of errors that might be detected or not detected by 
model analysis are discussed. Model analysis techniques are applied to industry design models 
developed in 
UML
and 
DSL
Table II. A classification of primary studies regarding practices and their impact on quality goals 
Ref 
Type of 
Model 
Practice and impact on quality goals 
Demo or 
empirical 
approach 
Tool 
Model-based software development 
[P22] 
[P15] 
Conceptual 
models 
Activities such as filtering and inspection should be 
performed to improve 
comprehensibility by humans
Example  - 
[P26]  Conceptual 
models 
 good  modelling  process  will  provide  mechanisms 
for  error  prevention,  detection  and  correction. 
Descriptive  quality  (regarding 
correctness
and 
completeness
) can be prevented by interviewing key 
informants. Semantic errors (
correctness
 are  best 
prevented  through  a  cycle  of  data  reduction,  data 
display,  and  verification.  Human  inspection 
(sometimes  by  multiple  users)  is  also  proposed  to 
improve  the  models  regarding 
correctness
completeness
and 
comprehensibility
Industrial 
case 
[P1] 
UML 
diagrams 
The  Agile  Modelling  (AM)  approach  is  proposed 
which uses agile practices to increase agility (related to 
changeabiliy
). 
Example  - 
[P17] 
[P19] 
UML 
diagrams / 
metrics 
Quality goals  are identified  based  on  the purpose of 
models, which is related to 
confinement
; i.e., focus on 
purpose. Metrics are defined for different goals. 
Industrial 
case 
QualityView 
for collecting 
metrics  and 
visualization 
[P21]  MDE 
approach / 
metrics 
Metrics  are  collected  from  models  and  visualized  in 
order to support 
comprehension
of diagrams, design 
quality evaluation and 
completeness
Industrial 
case 
MetricView 
Evolution for 
collecting 
metrics  and 
visualization 
[P32]  MDE 
approach / 
metrics 
Metrics  are  proposed  to  be  formally  defined  and 
collected from various models / diagrams.  
Example  - 
[P40]  MDE 
approach / 
SDL and 
UML models  
Model  analysis  techniques  should  be  applied  to 
improve 
correctness
of models. Rules can be defined 
in the model analysis tools. 
Industrial 
case 
39
[P9] 
MDE 
approach 
 traceability strategy should be defined  to  improve 
consistency
 An  activity  is  defined  for  selecting  a 
modelling language that is expressive enough for the 
domain and the needs of modelling, which is related to 
confinement
Example  - 
[P34]  MDE 
approach 
MDE process is focused on transformations: Based on 
the requirements, the team elicits requirements specific 
for the  PIM and  PSM transformations  which in  turn 
form the basis for UML profiles definition. See later 
under UML profiles for benefits. 
Industrial 
case 
Modelling conventions
[P28] 
[P29] 
UML class 
and 
collaboration 
diagrams 
Conventions are  regarding layout  of UML diagrams. 
Some  notations  perform  better  than  others  on 
comprehensibility by humans
Student 
experime
nt 
[P7] 
[P8] 
UML class 
diagrams 
Layout  of  diagrams  is  discussed  related  to 
comprehensibility by humans
. Some problems with 
comprehensibility may indicate poor design. 
Example  Graph 
drawing 
framework 
SugiBib 
[P35]  UML 
architectural 
models 
Models should be checked for having enough details 
(
completeness
 and  cross-checked  for 
consistency
Correct 
organization 
of 
models 
helps 
comprehensibility  by  humans
 Identifying  domain 
concepts  and  keeping  analysis  models  free  of 
implementation helps 
confinement
[P5] 
UML models 
in KobrA 
Conventions are proposed to improve inter-component 
and  intra-component 
consistency
in  the  KobrA 
approach. 
Example  SPIN  model 
checker 
[P3] 
UML 
analysis and 
design 
models 
Examples  of  conventions  are  given  in  Table  III.  
Except  changeability, 
all  other  quality  goals
are 
mentioned.  The  tool  checks  models  for  some of the 
conventions. 
Example  DesignAdvis
or  
[P1] 
UML 
diagrams 
Conventions are proposed that cover
all quality goals.  
Examples are given in Table III. 
Example  - 
[P38]  UML 
diagrams 
Conventions are proposed that cover
all
quality goals.  
Examples are given in Table III. 
Example  - 
[P4] 
UML use 
case and 
other 
requirement 
diagrams 
Conventions are proposed to improve 
completeness
of 
requirement models. These can be defined as rules and 
be programmatically verified. 
Industry 
case 
DesignAdvis
or 
[P18]  UML 
diagrams 
Conventions cover 
correctness
and 
comprehensibility
of models. Reduced defect-density is attainable at the 
cost of increased effort and this trade-off is increased if 
tool-support is provided. 
Student 
experime
nt 
40
Documents you may be interested
Documents you may be interested