[图书][B] Software Abstractions: logic, language, and analysis

D Jackson - 2012 - books.google.com
An approach to software design that introduces a fully automated analysis giving designers
immediate feedback, now featuring the latest version of the Alloy language. In Software …

[PDF][PDF] UML as an ontology modelling language

S Cranefield, M Purvis - 1999 - Citeseer
Current tools and techniques for ontology development are based on the traditions of AI
knowledge representation research. This research has led to popular formalisms such as …

[HTML][HTML] Pairing conceptual modeling with machine learning

W Maass, VC Storey - Data & Knowledge Engineering, 2021 - Elsevier
Both conceptual modeling and machine learning have long been recognized as important
areas of research. With the increasing emphasis on digitizing and processing large amounts …

Validating UML and OCL models in USE by automatic snapshot generation

M Gogolla, J Bohling, M Richters - Software & Systems Modeling, 2005 - Springer
We study the testing and certification of UML and OCL models as supported by the
validation tool USE. We extend the available USE features by introducing a language for …

Developing and operating time critical applications in clouds: the state of the art and the SWITCH approach

Z Zhao, P Martin, J Wang, A Taal, A Jones… - Procedia Computer …, 2015 - Elsevier
Cloud environments can provide virtualized, elastic, controllable and high quality on-
demand services for supporting complex distributed applications. However, the engineering …

OCL: Syntax, semantics, and tools

M Richters, M Gogolla - Object Modeling with the OCL: The Rationale …, 2002 - Springer
Abstract The Object Constraint Language OCL allows to formally specify constraints on a
UML model. We present a formal syntax and semantics for OCL based on set theory …

Validating UML models and OCL constraints

M Richters, M Gogolla - International Conference on the Unified Modeling …, 2000 - Springer
The UML has been widely accepted as a standard for modeling software systems and is
supported by a great number of CASE tools. However, UML tools often provide only little …

[图书][B] A precise approach to validating UML models and OCL constraints

M Richters - 2002 - Citeseer
Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …

[PDF][PDF] Translating the Object Constraint Language into first-order predicate logic

B Beckert, U Keller, PH Schmitt - Proceedings of the Second …, 2002 - academia.edu
In this paper, we define a translation of UML class diagrams with OCL constraints into first-
order predicate logic. The goal is logical reasoning about UML models, realized by an …

A reference model for team-enabled workflow management systems

WMP Van der Aalst, A Kumar - Data & Knowledge Engineering, 2001 - Elsevier
Today's workflow systems assume that each work item is executed by a single worker. From
the viewpoint of the system, a worker with the proper qualifications selects a work item …