Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

CAISE
2005
Springer

favoriteEmaildiscussreport

117views Information Technology» more CAISE 2005»

On the Semantics of Operation Contracts in Conceptual Modeling

13 years 10 months ago

On the Semantics of Operation Contracts in Conceptual Modeling

Download sunsite.informatik.rwth-aachen.de

This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed. Understanding an operation contract under each of these interpretations can result in different semantics for the same specification. Thus, assuming one or another affects the way operation contracts are specified.

Anna Queralt, Ernest Teniente

Real-time Traffic

CAISE 2005 | Operation Contracts | Way Operation | Way Operation Postconditions |

claim paper

Related Content

» Conceptual modeling in full computationtree logic with sequence modal operator

» Semantic Component Composition

» Selforganizing Map Analysis of Conceptual and Semantic Relations for Noun

» Conceptual Space Markup Language CSML Towards the Cognitive Semantic Web

» A Semantic Foundation for RoleRelated Concepts in Enterprise Modelling

» Semantics of AgentBased Service Delegation and Alignment

» Is What You Write What You Get An Operational Model of Training Scenario

» Dynamic Meta Modeling A Graphical Approach to the Operational Semantics of Behavioral Diag...

» Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationshi...

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CAISE
Authors	Anna Queralt, Ernest Teniente

Comments (0)