Filters








685 Hits in 3.4 sec

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

Nuno Amálio, Lionel Briand, Pierre Kelsen
2019 Empirical Software Engineering  
The Visual Contract Language (VCL) aims at improving visual modelling; it tries to (a) maximise diagrammatic cognitive effectiveness, (b) increase visual expressivity, and (c) level of rigour and formality  ...  The paper presents the results of a controlled experiment carried out four times in different academic settings and involving 43 participants, which compares VCL against UML and OCL and whose goal is to  ...  We thank the reviewers for their suggestions and the way they challenged the paper; this led to many improvements that resulted in a better article.  ... 
doi:10.1007/s10664-019-09784-9 fatcat:uxbymvdjibc5fjxiedm3qvdix4

Specifying and Implementing Constraints in GIS—with Examples from a Geo-Virtual Reality System

Jildou Louwsma, Sisi Zlatanova, Ron van Lammeren, Peter van Oosterom
2006 Geoinformatica  
The components of the framework are illustrated and applied to SALIX-2, a geo-virtual reality (GeoVR) landscape modelling system.  ...  constraint language (UML/OCL) and (3) implementation characteristics.  ...  Acknowledgment The authors would like to express their gratitude to Paul Strooper for checking and improving the English grammar and style, the four anonymous reviewers for their constructive remarks on  ... 
doi:10.1007/s10707-006-0345-5 fatcat:2toefkc55bex5n2u4zj3nent3a

Articulating and enforcing authorisation policies with UML and OCL

Karsten Sohr, Gail-Joon Ahn, Lars Migge
2005 Software engineering notes  
It demands a way to design and express higher-level security policies for such critical organizations.  ...  Our approach leverages features and functionalities of the UML/OCL modeling methods as well as model driven approach to represent and specify authorisation model and constraints.  ...  The Unified Modeling Language (UML) [9] is a generalpurpose visual modeling language in which we can specify, visualize, and document the components of software systems.  ... 
doi:10.1145/1082983.1083215 fatcat:eakznxvnlngwbiqabi3oqi6wgy

Specification and Validation of Authorisation Constraints Using UML and OCL [chapter]

Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge
2005 Lecture Notes in Computer Science  
In this paper, we attempt to specify non-temporal constraints and historybased constraints in Object Constraint Language (OCL) which is a constraint specification language of Unified Modeling Language  ...  Although the importance of constraints has been addressed in the literature, there does not exist a systematic way to validate and test authorisation constraints.  ...  The Unified Modeling Language (UML) [21] is a general-purpose visual modeling language in which we can specify, visualize, and document the components of software systems.  ... 
doi:10.1007/11555827_5 fatcat:f4ujbswcrvdirhgr3qhmdsnapi

Articulating and enforcing authorisation policies with UML and OCL

Karsten Sohr, Gail-Joon Ahn, Lars Migge
2005 Proceedings of the 2005 workshop on Software engineering for secure systems---building trustworthy applications - SESS '05  
It demands a way to design and express higher-level security policies for such critical organizations.  ...  Our approach leverages features and functionalities of the UML/OCL modeling methods as well as model driven approach to represent and specify authorisation model and constraints.  ...  The Unified Modeling Language (UML) [9] is a generalpurpose visual modeling language in which we can specify, visualize, and document the components of software systems.  ... 
doi:10.1145/1083200.1083215 dblp:conf/icse/SohrAM05 fatcat:7v5u4ktc5fenleiq3zma4s7ljm

Example-based validation of domain-specific visual languages

Jesús J. López-Fernández, Esther Guerra, Juan de Lara
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering  
The focus of this paper is on the validation of metamodels for visual DSLs.  ...  Then, our system uses a model finder to produce example models, enriched with a graphical concrete syntax, that confirm or refute the assumptions of the meta-model developer.  ...  In this line, [20] presents an approach for checking meta-model integration, relying on OCL.  ... 
doi:10.1145/2814251.2814256 fatcat:p2ttox6wjbbjfghmag72tct2rm

Conformance checking in UML artifact-centric business process models

Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente
2018 Journal of Software and Systems Modeling  
We have also implemented a plug-in, within the ProM framework, which is able to translate a BAUML into a Petri net to perform conformance checking. This shows the feasibility of our approach.  ...  Likewise, conformance checking is gaining popularity as a crucial technique that enables evaluating whether recorded executions of a process match its corresponding model.  ...  explaining what has happened in reality.  ... 
doi:10.1007/s10270-018-0681-6 fatcat:lx6euozmq5dclc24he4d62dqbu

On the Semantics of Object-Oriented Data Structures and Path Expressions

Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Based on this formal semantics, we present a set of OCL test cases that can be used for evaluating the support of null and invalid in OCL tools.  ...  In this paper, we present a formal semantics for object-oriented data models in which all data types and, thus, all class attributes and path expressions, support invalid and null.  ...  Ultimately, we aim at providing a machine-checked formal semantics that can be included in the OCL standard, i. e., replacing the current Annex A. Example.  ... 
dblp:conf/models/BruckerLTW13 fatcat:tvts4fjd3nhm7ivdkx22sqdjwa

Model-Driven Service Level Management [chapter]

Anacleto Correia, Fernando Brito e Abreu
2010 Lecture Notes in Computer Science  
The specification will be accomplished by proposing a SLA language -a domain specific language for defining quality attributes as non functional requirements (NFRs) in the context of ITSM.  ...  Our main goals are to propose a model-based approach to IT services SLA specification and compliance verification.  ...  Information about a system state will be attained by querying the Process Modeler Animator for IT service execution. For each snapshot OCL constraints can be checked.  ... 
doi:10.1007/978-3-642-13986-4_10 fatcat:inqx3ztsojeyfoli7wohky2ohu

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories

Miguel Garcia
2008 Journal of Object Technology  
approach, a concrete visual syntax can be defined, allowing for the generation of a diagram editor for the DSL in question [9].  ...  , thus allowing for OCL to be used to query and constrain a CST; (c) a visitor to transform a well-formed CST (as checked with OCL) into an AST; (d) an unparser from CST to textual notation (i.e., a pretty-printer  ...  ., after an integration build, or on a daily or weekly basis). Examples include: (a) detecting opportunities for applying refactorings; (b) checking mutual consistency be-  ... 
doi:10.5381/jot.2008.7.6.a3 fatcat:ra44xxb3gzcp3d6foivxoqafru

Constraints in Spatial Data Models, in a Dynamic Context [chapter]

2006 Innovations in GIS  
For example whenever one object refers to another via a foreign key, the DBMS checks that the referred object exits,  ...  Example applications include cadastral or topographic data maintenance, Virtual Reality (VR) landscape design, and Web feature service.  ...  Constraints in Spatial Data Models, in a Dynamic Context  ... 
doi:10.1201/9781420008609.ch7 fatcat:zu42pibhebbffnftfmigixosbq

Representation of Business Rules in UML&OCL Models for Developing Information Systems [chapter]

Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas
2008 Lecture Notes in Business Information Processing  
In this paper, possibilities of representing business rules by UML&OCL models and their applicability in modern development processes are investigated 1 .  ...  In practice, business rules often are managed by software developers and system analysts; more straightforward and safer processes for capturing and modifying business rules are related with visual business  ...  limited rule checking functionality; none of the CASE tools provide a full set of business rules management functions.  ... 
doi:10.1007/978-3-540-89218-2_14 fatcat:vxglob2cx5aqfhr3ftgbslmusi

Analyzing and Managing Role-Based Access Control Policies

K. Sohr, M. Drouineaud, G.-J. Ahn, M. Gogolla
2008 IEEE Transactions on Knowledge and Data Engineering  
Based upon these specifications, we attempt to formally verify role-based access control policies with the help of a theorem prover and to validate policies with the USE system, a validation tool for OCL  ...  In this paper, we specify both non-temporal and history-based authorization constraints in the Object Constraint Language (OCL) and first-order linear temporal logic (LTL).  ...  UML [36] is a general-purpose modeling language in which we can specify, visualize, and document the components of software systems.  ... 
doi:10.1109/tkde.2008.28 fatcat:xw6fk4t3xzelvgiyiifgpbge7a

Ensuring semantic spatial constraints in virtual environments using UML/OCL

Thanh-Hai Trinh, Ronan Querrec, Pierre De Loor, Pierre Chevaillier
2010 Proceedings of the 17th ACM Symposium on Virtual Reality Software and Technology - VRST '10  
We then propose a spatial extension of OCL named VRX-OCL as a high-level and flexible language to cover multidimensional, manifold, and reference frame-dependent spatial constraints.  ...  This paper presents a novel approach for representing semantic spatial relations in VEs using the Unified Modeling Language (UML) and the Object Constraint Language (OCL).  ...  Because of the necessity to manage not only logical constraints in the conceptual model but also spatial constraints specialized to 3D dynamic environments, we propose VRX-OCL, a Virtual Reality eXtension  ... 
doi:10.1145/1889863.1889912 dblp:conf/vrst/TrinhQLC10 fatcat:qfjf3t7bejgfrktyshifqhcuua

Ann: A domain-specific language for the effective design and validation of Java annotations

Irene Córdoba-Sánchez, Juan de Lara
2016 Computer languages, systems & structures  
To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annotations, we propose a domain-specific modelling language.  ...  Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects.  ...  Acknowledgements We would like to thank the reviewers for their detailed comments, which helped us in improving a previous version of this paper.  ... 
doi:10.1016/j.cl.2016.02.002 fatcat:nogwcfwxqzc5rkjcedkcggxcwa
« Previous Showing results 1 — 15 out of 685 results