Object Constraint Language Research Papers (original) (raw)

System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases,... more

System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams, and possibly the use of the Object Constraint Language across all these artifacts. Our goal is to support the derivation of test requirements, which will be transformed into test cases, test oracles, and test drivers once we have detailed design information. Another important issue we address is the one of testability. Testability requirements (or rules) need to be imposed on UML artifacts so as to be able to support system testing efficiently. Those testability requirements result from a trade-off between analysis and design overhead and improved testability. The potential for automation is also an overriding concern all across our work as the ultimate goal is to fully support testing activities with high-capability tools.

The artifacts of Analysis and Design Methodologies are specified by means of modeling languages. In a relatively short period of time, UML has become the "lingua franca" in software engineering. Metamodeling and abstraction are... more

The artifacts of Analysis and Design Methodologies are specified by means of modeling languages. In a relatively short period of time, UML has become the "lingua franca" in software engineering. Metamodeling and abstraction are among the concepts and techniques strongly promoted by UML. The Object Constraint Language, as a textual formalism of UML, plays a key role in understanding and

The workshop OCLApps 2006 was organized as a part of MoDELS/UML Conference in Genova, Italy. It continues the series of five OCL (Object Constraint Language) workshops held at previous UML/MoDELS conferences between 2000 - 2005. Similar... more

The workshop OCLApps 2006 was organized as a part of MoDELS/UML Conference in Genova, Italy. It continues the series of five OCL (Object Constraint Language) workshops held at previous UML/MoDELS conferences between 2000 - 2005. Similar to its predecessors, the workshop addressed both people from academia and industry. The advent of the MDA (Model Driven Architecture) vision and the rapid acceptance of MDE (Model Driven Engineering) approaches emphasize new application domains (like Semantic Web or Domain Specific Languages) and call for new OCL functionalities. In this context, the OCLApps 2006 Workshop, was conceived as a forum enabling researchers and industry experts to present and debate how the OCL could support these new requirements.

Architecture Description Languages (ADLs) such as Acme (a mainstream second generation ADL which contains the most common ADL constructs) provide formality in the description of software architectures, but are not easily reconciled with... more

Architecture Description Languages (ADLs) such as Acme (a
mainstream second generation ADL which contains the most
common ADL constructs) provide formality in the description
of software architectures, but are not easily reconciled with dayto-day development concerns, thus hampering their adoption by a larger community. UML, on the other hand, has become the
de facto standard notation for design modeling, both in industry
and in academia. In this paper we map Acme modeling abstractions into UML 2.0, using its new component modeling constructs, its lightweight extension mechanisms and OCL wellformedness rules. The feasibility of this mapping is demonstrated through several examples. This mapping bridges the gap between architectural specification with Acme and UML,
namely allowing the transition from architecture to implementation, using UML design models as a middle tier abstraction.

A new technique is proposed in this paper to extend the Integrated Classification Tree Method- ology (ICTM) developed by Chen et al. (13) This software assists testers to construct test cases from functional specifications. A Unified... more

A new technique is proposed in this paper to extend the Integrated Classification Tree Method- ology (ICTM) developed by Chen et al. (13) This software assists testers to construct test cases from functional specifications. A Unified Modelling Language (UML) class diagram and Object Constraint Language (OCL) are used in this paper to represent the software specifications. Each classification and associated

In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object... more

In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object Facility)—combined with the OCL (Object Constraint Language) for expressing constraints—used to specify metamodels focus on structural and static semantics but have no built-in support for specifying behavioral semantics. This paper introduces a formal semantic framework for the definition of the semantics of metamodel-based languages. Using metamodelling principles, we propose several techniques, some based on the translational approach while others based on the weaving approach, all showing how the Abstract State Machine formal method can be integrated with current metamodel engineering environments to endow language metamodels with precise and executable semantics. We exemplify the use of our semantic framework by applying the proposed techniques to the OMG metamodelling framework for the behaviour specification of the Finite State Machines provided in terms of a metamodel.

In November 1998 the authors participated in a two - day workshop on the Object Constraint Language (OCL) in Amsterdam The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions... more

In November 1998 the authors participated in a two - day workshop on the Object Constraint Language (OCL) in Amsterdam The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL Various topics have been raised and clarified This manifesto contains the results of that workshop and

Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology. OCL is a declarative language that describes the rules applicable to UML... more

Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology. OCL is a declarative language that describes the rules applicable to UML models and is part of the UML standard. Initially, OCL was just an extension of the formal specification language for UML. Now, OCL can be used with any meta-model. Enterprise ontology is combined with the business ontology of Resources, Events, Agents (REA) to be used for the content of the change. REA was originally proposed in 1982 by William E. McCarthy as generalized accounting model.
DOI: 10.13140/RG.2.2.14744.14083

An overview is given on current research efforts with the aim of supporting the implementation of the Land Administration Domain Model, following its most recent developments and related standardization proposals concerning ISO and... more

An overview is given on current research efforts with the aim of supporting the implementation of the Land Administration Domain Model, following its most recent developments and related standardization proposals concerning ISO and INSPIRE. From ...

With the emergence of the Unified Modeling Language UML in software engineering, defining constraints on models, written with the Object Constraint Language OCL, has become a necessary task, that strengthens the rigor and accuracy of... more

With the emergence of the Unified Modeling Language UML
in software engineering, defining constraints on models, written
with the Object Constraint Language OCL, has become
a necessary task, that strengthens the rigor and accuracy
of models. However, in the definition of the semantics of UML models using graph formalism, the transformation of OCL constraints to graphs is still not precisely defined and does not provide an integrated semantics of OCL within graph transformation systems. In this paper, we propose an approach for extracting graph constraints from OCL constraints. Our contribution is divided into three parts: In
the first part, we will introduce graph constraint patterns, as the translation into graphs of a subset of OCL expressions. These patterns are validated with experimental examples using the GROOVE toolset. In the second part, we will explicit the relation between OCL and UML models within our graph transformation systems. The third part will be devoted to the representation of our tool OCL2Graph, as an extension of GROOVE, allowing to transform OCL constraints to graphs, and to introduce them into existent graph grammars, according to the graph patterns we defined.

Object-relational databases add to the relational model the possibility of working with new and complex data and applications. One widely accepted mechanism for assuring the quality of an object-relational database is the use of metrics... more

Object-relational databases add to the relational model the possibility of working with new and complex data and applications. One widely accepted mechanism for assuring the quality of an object-relational database is the use of metrics and it is important to formalize the metrics for having a better understanding of their definitions. Metrics formalization assures the reliable repetition of their computation and facilitates the automation of metrics collection. In this paper we present the formalization of a set of metrics defined for object-relational databases described using an ontology we have created for the new SQL:2003. The ontology has been represented using UML and the definition of the metrics has been done using OCL (Object-Constraint Language) which is part of the UML 2.0 standard.

Much of the current work on model transformations seems essentially operational and executable in nature. Executable descriptions are necessary from the point of view of implementation. But from a conceptual point of view, transformations... more

Much of the current work on model transformations seems essentially operational and executable in nature. Executable descriptions are necessary from the point of view of implementation. But from a conceptual point of view, transformations can also be viewed as descriptive models by stating only the properties a transformation has to fulfill and by omitting execution details. This contribution discusses the view that model transformations can be abstracted as being transformation models. As a simple example for a transformation model, the well-known transformation from the Entity-Relationship model to the Relational model is shown. A transformation model in this contribution is nothing more than an ordinary, simple model, i.e., a UML/MOF class diagram together with OCL constraints. A transformation model may transport syntax and semantics of the described domain. The contribution thus covers two views on transformations: An operational model transformation view and a descriptive transformation model view.

In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object... more

In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object Facility)—combined with the OCL (Object Constraint Language) for expressing constraints—used to specify metamodels focus on structural and static semantics but have no built-in support for specifying behavioral semantics. This paper introduces a formal semantic framework for the definition of the semantics of metamodel-based languages. Using metamodelling principles, we propose several techniques, some based on the translational approach while others based on the weaving approach, all showing how the Abstract State Machine formal method can be integrated with current metamodel engineering environments to endow language metamodels with precise and executable semantics. We exemplify the use of our semantic framework by applying the proposed techniques to the OMG metamodelling framework for the behaviour specification of the Finite State Machines provided in terms of a metamodel.

... Querying MOF Repositories: The Design and Implementation ofthe Query Metamodel Language (QML). Giorgos Kotopoulos', Fotis Kazasis', and Stavros Christodoulakis' Technical University ofCrete,... more

... Querying MOF Repositories: The Design and Implementation ofthe Query Metamodel Language (QML). Giorgos Kotopoulos', Fotis Kazasis', and Stavros Christodoulakis' Technical University ofCrete, Kounoupidiana, Chania, Greece email:{gkoto, fotis, stavros} gced.tuc.gr ...