Results 281 to 290 of about 293,253 (337)
Some of the next articles are maybe not open access.
Refactoring object constraint language specifications
Software & Systems Modeling, 2006The object constraint language (OCL) plays an important role in the elaboration of precise models. Although OCL was designed to be both formal and simple, OCL specifications may be difficult to understand and evolve, particularly those containing complex or duplicated expressions.
Alexandre Correa, Cláudia Werner
openaire +1 more source
A constraint-logic object-oriented language
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018Object-oriented (OO) programming languages prevail in the development of enterprise software, but they do not particularly support the implementation of software which includes solving complicated search problems with dynamically appearing constraints, e. g. as found in logistics.
Jan C. Dageförde, Herbert Kuchen
openaire +1 more source
Role-based authorization constraints specification using Object Constraint Language
Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001, 2002The purpose of access control is to limit the actions on a computer system that a legitimate user can perform. Role-based access control (RBAC) has generated great interest in the security community as a flexible approach in access control. An important aspect of RBAC is constraints that constrain what components in RBAC are allowed to do.
null Gail-Joon Ahn, M.E. Shin
openaire +1 more source
Automatically selecting and optimizing constraint solver procedures for object-constraint languages
Companion Proceedings of the 15th International Conference on Modularity, 2016Object-constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. It allows developers to encode multi-way constraints over objects and object collections using existing, object-oriented abstractions. These constraints are automatically maintained at run-time.
Tim Felgentreff +9 more
openaire +2 more sources
Object constraint language (OCL)
ACM SIGSOFT Software Engineering Notes, 2011OCL was introduced as a part of UML in 1997 as a business modeling language by IBM. Ever since its inception, the actual use of OCL in the industry has been almost negligible, even amongst the business application development community, for which it was specifically created. But now with the inception of MDA and related OMG standards the role of OCL is
openaire +1 more source
Role-Based Access Control Constraints and Object Constraint Language
2020Constraints are an important aspect of role-based access control management (RBAC). Constraints have to be satisfied in user—role assignment and permission—role assignment. The importance of constraints associated with user-role assignments and permission-role assignments in RBAC has been recognized but the modelling of these constraints has not ...
Hua Wang, Jinli Cao, Yanchun Zhang
openaire +1 more source
The Object Constraint Language (OCL)
2014Currently, UML is widely accepted by the software industry to be the modeling language used to construct models. Several UML diagrams are used to present the dynamic and the static aspects of a software system. Although UML diagrams enormously facilitate the process of designing flexible and complex systems, they are not precise enough to express ...
Petraq J. Papajorgji, Panos M. Pardalos
openaire +1 more source
Runtime model validation with parallel object constraint language
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, 2011In software engineering, model-based development is gaining ground as reliability must be provided while the development time needs to be decreased. As systems modeled become larger, validation methods need to perform better to offer reasonable response times to model checking queries.
Tamás Vajk +4 more
openaire +1 more source
Integrating constraints with an object-oriented language
2006Constraints are declarative statements of relations among elements of the language's computational domain, e.g., integers, booleans, strings, and other objects. Orthogonally, the tools of object-oriented programming, including encapsulation, inheritance, and dynamic message binding, provide important mechanisms for extending a language's domain ...
Bjorn N. Freeman-Benson, Alan Borning
openaire +1 more source
Translating the Object Constraint Language into the Java Modelling Language
Proceedings of the 2004 ACM symposium on Applied computing, 2004The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints include class invariants and preconditions and postconditions of operations.
openaire +1 more source