15 Hits in 5.7 sec

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  
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).  ...  Spatial objects and relationships between them, compose a spatial model that is the backbone of virtual environments (VEs).  ...  This paper presents a general approach for ensuring semantic spatial constraints in VEs.  ... 
doi:10.1145/1889863.1889912 dblp:conf/vrst/TrinhQLC10 fatcat:qfjf3t7bejgfrktyshifqhcuua

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  
constraint language (UML/OCL) and (3) implementation characteristics.  ...  Constraints are important elements of every modelling process, but until now they have been treated in an ad hoc manner, depending on the specific application domain and the capabilities of the tools used  ...  Notes (written in UML, OCL or natural language text) can be used in the diagram to explain the constraints on relationships and/or properties.  ... 
doi:10.1007/s10707-006-0345-5 fatcat:2toefkc55bex5n2u4zj3nent3a

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

2006 Innovations in GIS  
Introduction Constraints are important in every GI modelling process but until now have received only ad hoc treatment, depending on the application domain and the tools used.  ...  This is true for (G)IS in general, but is especially true for dynamic environments, with changing objects, where the support of constraints is required but presents a challenge.  ...  Constraints in Spatial Data Models, in a Dynamic Context  ... 
doi:10.1201/9781420008609.ch7 fatcat:zu42pibhebbffnftfmigixosbq

A semantic-rich multi-scale information model for topography

Jantien Stoter, Thomas Visser, Peter van Oosterom, Wilko Quak, Nico Bakker
2011 International Journal of Geographical Information Science  
The results show that UML/OCL provides an appropriate formalism to model rich semantics on both multi-scale data content and scale transitions, which can be used for guarding consistency based on automated  ...  This is expressed using the Unified Modelling Language (UML) class diagrams, complemented with Object Constraint Language (OCL).  ...  For modelling generalisation specifications, we used UML/OCL.  ... 
doi:10.1080/13658816.2010.490218 fatcat:cswg3yih6jh6hp6dtm236rruhe

Modeling and Testing Legacy Data Consistency Requirements [chapter]

Jan Pettersen Nytun, Christian S. Jensen
2003 Lecture Notes in Computer Science  
QVT on the other hand, includes: UML, OCL, some new concrete syntax and a new language to describe correspondences.  ...  Please find below a non-exhausting list of the advantages. • Only one formalism is used (UML/OCL) and the constraints are specified at a high level of abstraction. • It is partly graphical (UML). • Deviations  ... 
doi:10.1007/978-3-540-45221-8_29 fatcat:4kbxt72bmfc2xmndywxopmarjq

Towards a synchronized semantic model to support aspects of building management

Michael Dibley, Haijiang Li, John Miles, Yacine Rezgui
2009 2009 7th IEEE International Conference on Industrial Informatics  
The use of the multi agent paradigm renders a system that delivers demonstrable rationality and is robust within the dynamic environment that it operates.  ...  The capture of semantics though formal expression to model the environment, adds a richness that the agents exploit to intelligently determine behaviours to satisfy goals that are flexible and adaptable  ...  whole lifecycle application scope in the Integrated Building Process Model (IBPM) [17] UML + OCL Small set of constructs, extension for constraints but supports wide range of model types  ... 
doi:10.1109/indin.2009.5195822 fatcat:z2s4micvrvhwzioiivpdxz2t54

Tool Support for OCL and Related Formalisms – Needs and Trends [chapter]

Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2006 Lecture Notes in Computer Science  
The project has been initiated in 1999.  ...  In the following years many students accounted both with research ideas and implementations to the Dresden OCL Toolkit and made their modules available to the open source community.  ...  The disadvantages of earlier formal methods are reduced by UML OCL [20] : The notation of OCL has a simple structure and is oriented towards the syntax of objectoriented programming languages.  ... 
doi:10.1007/11663430_1 fatcat:wq7bq35vpbckrfk6yioenoj7zy

Towards a typology of spatial relations and properties for urban applications

B. Bucher, G. Falquet, E. Clementini, M. Sester, T. Leduc, G. Moreau, R. Billen
2012 Usage, Usability, and Utility of 3D City Models – European COST Action TU0801   unpublished
Relations that occur between features located in space-like the fact that a street is surrounded by very high buildings, that an airport is close to a city-as well as spatial properties of features-like  ...  Hence, considering the objective of explaining to potential users of these city models what useful information they can derive from these data and how, a possible way to address this objective lies in  ...  He proposes a comprehensive language, based on UML-OCL object constraint language, to define spatial constraints on objects in virtual environments.  ... 
doi:10.1051/3u3d/201202010 fatcat:2qsa7akqrver5iiuliutpm7xlu

MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platfor

B. Huber, R. Obermaisser, P. Peti
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)  
Reduced time-to-market in spite of increasing the system's functionality, reuse of software on different hardware platforms, and the demand for performing validation activities earlier in the development  ...  In this paper we introduce a meta-model for capturing the resources of hardware platforms realizing the DECOS architecture, which is an integrated time-triggered architecture aimed at the development of  ...  Acknowledgment This work has been supported in part by the European IST project ARTIST2 under project No. IST-004527 and the European IST project DECOS under project No. IST-511764.  ... 
doi:10.1109/isorc.2006.50 dblp:conf/isorc/HuberOP06 fatcat:d5ioiljv3bbzzfet27bajubkee

Enabling Integrity for the Compressed Files in Cloud Server

S.K Prashanth
2013 IOSR Journal of Computer Engineering  
Here the computational time is minimized by using integrity and encryption methodology on the data in cloud . It should be noted that this scheme applies only to archive storage data.  ...  This scheme ensures that the storage at the client side is minimal which will be beneficial for thin clients.  ...  Acknowledgement This work has supported in part by US National Science Foundation under grant CNS-0626601, CNS-0831963, CNS-0831628 and CNS-0716306.  ... 
doi:10.9790/0661-1240105 fatcat:suxx6aa5kneybiskk2z4n6guce

Design of a 3D Multipurpose land administrative system for Greece, in the context of LADM [article]

Eftychia Kalogianni, National Technological University Of Athens, National Technological University Of Athens
Harmonization of spatial data is a policy in the European Union in support to the implementation of environmental and other policies.  ...  The data model is one of them as it defines the structure of the spatial and non-spatial information.  ...  In contrast, CWA supports consistency checking through constraints. UML/OCL follows CWA while OWL applies OWA.  ... 
doi:10.26240/heal.ntua.4445 fatcat:o7ekz25zefdpvcr5abd3ng74yq

The Convergence of Modeling and Programming: Facilitating the Representation of Attributes and Associations in the Umple Model-Oriented Programming Language

Andrew Forward, Université D'Ottawa / University Of Ottawa, Université D'Ottawa / University Of Ottawa
Our research focuses on investigating the opportunities and obstacles we discovered in the course of implementing and using UML-like associations and attributes in Umple.  ...  This thesis investigates approaches to model-driven development (MDD) in which developers can keep using their familiar textual programming languages, but with additional model-oriented concepts.  ...  The USE code to specify the Mentor / Student relationship is shown below. specifies Model with USE Specification o A Developer I I UML OCL structure & behavior constraints & queries  ... 
doi:10.20381/ruor-13300 fatcat:2gurt67uvbaozjz3fzypfusk24

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Information Visualization-Towards Multivariate Network Visualization (Dagstuhl Seminar 13201) Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)

Sebastian Maneth, Helmut Seidl, Andreas Kerren, Helen Purchase, Matthew, Diego Calvanese, Sven Hartmann, Ernest, Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, Ziv
2013 unpublished
In the literature, two major notions of "high-order" devices have been studied.  ...  We show, by fully utilizing the decomposition result, that the languages in OI-hierarchy are context-sensitive [3] .  ...  The definition language of the benchmark (EER, UML/OCL, ORM, etc.) and the semantics used in the benchmark should also be clearly stated.  ... 

Automatic intelligent inspection systems for quality control: A case of defects in light-gauge steel frame assembly manufacturing

Pablo Martinez
The proposed methodology is based on the well-known 5C cyber-physical architecture, adapted to a building information modeling environment.  ...  Offsite construction has become a viable alternative to traditional construction methods by establishing controlled and automated manufacturing environments for construction products.  ...  Rafiq Ahmad, for their continuous support, guidance, teachings, patience, and the opportunity given to work in this project. I am also grateful to Dr.  ... 
doi:10.7939/r3-mne4-5632 fatcat:37jngp7g5bc73il7v7jpp6urjq

Foundations of systems and properties:methodological support for modeling properties of software-intensive systems

Otto Preiss
Tenets formulate how we use the philosophical knowledge.  ...  Engineering of software-intensive systems is concerned with the creation and evolution of systems that shall exhibit desired properties in their execution as well as development environment.  ...  Although not an intention of the author's of the OPM, the use of the UML/OCL could be explored (along the line of our Section 5.3.2).  ... 
doi:10.5075/epfl-thesis-3013 fatcat:vq43bd7f2fgbzoof2qvc72zo3u