Sciweavers

6141 search results - page 360 / 1229
» Models and representation of their ownership
Sort
View
DSVIS
1998
Springer
15 years 11 months ago
An Ontology for Task World Models
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
Martijn van Welie, Gerrit C. van der Veer, Anton E...
CAISE
1992
Springer
15 years 10 months ago
Data Modelling in Complex Application Domains
In many non trivial application domains, object types with a complex structure occur. Data modelling techniques which only allow flat structures are not suitable for representing ...
Arthur H. M. ter Hofstede, Henderik Alex Proper, T...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
WSC
2004
15 years 8 months ago
The Potential Coupling Interface: Metadata for Model Coupling
Model coupling is a nontrivial task that is not adequately supported in existing frameworks. Our long term goal is to support the fast-prototyping of model couplings, enabling sci...
Tom Bulatewicz, Janice E. Cuny, Maureen Warman
WSPI
2004
15 years 8 months ago
A Formal Theory of Conceptual Modeling Universals
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
Giancarlo Guizzardi, Gerd Wagner, Marten van Sinde...