A platform independent model for the electronic marketplace domain

Queralt, Anna; Teniente, Ernest

doi:10.1007/s10270-007-0047-y

Cited by 6 publications

(8 citation statements)

References 22 publications

(29 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have applied our approach to the specification of two real-life applications: the EU-Rent Car Rentals system [5] and a conceptual schema for the e-marketplace domain [16], and we have seen that around the 60% of the general constraints of those case studies may have been specified as predefined by means of our stereotypes.…”

Section: Discussionmentioning

confidence: 99%

“…Ackermann and Turowski [1] propose a set of OCL specification patterns that facilitate the definition of some integrity constraints, namely what we call identifier constraints and 16 Reasoning about the predefined constraints a subset of value comparison constraints. This approach is based on the automatic generation of OCL expressions from a set of patterns and it does not extend the language via a profile definition as we propose.…”

Section: Related Workmentioning

confidence: 99%

“…The second case study consists of the specification of a generic conceptual schema for the e-marketplace domain [16] which covers the main functionalities provided by an e-marketplace: determining product offerings, searching for products and price discovery.…”

Section: Case Studymentioning

confidence: 99%

“…The analysis of both schemas allows us to stress the advantages of using the profile. In particular, we have analysed a conceptual schema for the well-known EU-Rent Car Rentals system [5] and we have also studied a generic conceptual schema for the e-marketplace domain [16].…”

Section: Case Studymentioning

confidence: 99%

“…This is achieved by defining a UML profile, the standard mechanism that UML establishes to incorporate new constructs into the language. The application of this profile was studied in the specification of two real-life applications: the EU-Rent car rentals system [5] and a conceptual schema for e-marketplaces [16].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Improving the definition of general constraints in UML

et al. 2008

Self Cite

View full text Add to dashboard Cite

An important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed by the predefined constructs provided by conceptual modeling languages. This is generally achieved by using general-purpose languages like OCL. In this paper we propose a new approach that facilitates the definition of such general constraints in UML. More precisely, we define a profile that extends the set of predefined UML constraints by adding certain types of constraints that are commonly used in conceptual schemas. We also show how our proposal facilitates reasoning about the constraints and their automatic code generation, study the application of our ideas to the specification of two real-life applications, and present a prototype tool implementation.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Case Studymentioning

confidence: 99%

Section: Case Studymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Improving the definition of general constraints in UML

et al. 2008

Self Cite

View full text Add to dashboard Cite

show abstract

From Declarative to Imperative UML/OCL Operation Specifications

Cabot

2007

Conceptual Modeling - ER 2007

View full text Add to dashboard Cite

An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined in the behavioral schema. There are two different approaches for specifying the effect of an operation: the imperative and the declarative approaches. In conceptual modeling, the declarative approach is preferable since it allows a more abstract and concise definition of the operation effect and conceals all implementation issues. Nevertheless, in order to execute the conceptual schema, declarative specifications must be transformed into equivalent imperative ones. Unfortunately, declarative specifications may be non-deterministic. This implies that there may be several equivalent imperative versions for the same declarative specification, which hampers the transformation process. The main goal of this paper is to provide a pattern-based translation method between both specification approaches. To facilitate the translation we propose some heuristics that improve the precision of declarative specifications and help avoid non-determinism in the translation process.

show abstract