What does this research mean for the field?

Standard Object Constraint Language (OCL) requires specific extensions, formalized as AgileUML OCL, to accurately represent software application semantics while maintaining mathematical consistency with standard OCL semantics. Novelty: ClaimNovelty.METHODOLOGICAL. Consensus alignment: ConsensusAlignment.NEUTRAL.

What question did this study set out to answer?

The aim is to identify necessary extensions to OCL for accurately representing software application semantics.

May 20, 2026Innovations in Systems and Software EngineeringOpen Access

Extending OCL for semantic representation of software systems

View Full Paper

Ask AI

Bookmark

Authors

KLKevin LanoKing's College London HSHanan; id_orcid 0009-0003-4693-8707 SialaKing's College London

Discussion

Member takes

Implication

Defines an extended OCL version for semantic representation of software systems, suggesting its significance in software analysis.

Key Points

The aim is to identify necessary extensions to OCL for accurately representing software application semantics.
Defined extensions and modifications to the standard OCL.
Developed AgileUML OCL language for semantic representation.
Demonstrated how AgileUML OCL maintains mathematical consistency with standard OCL semantics.
Introduced AgileUML OCL as a valid alternative for depicting software semantics.
Showed that AgileUML OCL can be mathematically validated with existing OCL semantics.

Cite This Study

Lano et al. (2026) studied this question.

synapsesocial.com/papers/6a0d4fa9f03e14405aa9b192 https://doi.org/10.1007/s11334-026-00639-3

View Full Paper

Ask AI

Bookmark

Extending OCL for semantic representation of software systems

Discussion

Member takes

Implication

Key Points

Cite This Study

Extending OCL for semantic representation of software systems

Discussion

Member takes

Implication

Key Points

Cite This Study

Also Consider

Also Consider