A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Ensuring semantic spatial constraints in virtual environments using UML/OCL
2010
Proceedings of the 17th ACM Symposium on Virtual Reality Software and Technology - VRST '10
Preserved Fulltext
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
2006
Geoinformatica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Journal of Geographical Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 7th IEEE International Conference on Industrial Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Usage, Usability, and Utility of 3D City Models – European COST Action TU0801
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
IOSR Journal of Computer Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2013
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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. ...
fatcat:7cilywhonvc2vgdqrs37oau66y
Automatic intelligent inspection systems for quality control: A case of defects in light-gauge steel frame assembly manufacturing
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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