Object Constraint Language Research Papers (original) (raw)

2025, Information Technology and Control

Business rules approach is quite new and oriented at software systems in which the rules are separated, logically and physically, from other aspects of the system. In this paper some of the methods for description of the business are discussed. Business rules activation from database triggers is presented. Implemented prototype and algorithms are discussed.

2025

My contribution, described in this thesis, is a theory that is meant to assist in the construction of complex software systems. I propose a notion of structure that is independent of language, formalism, or problem domain. I call this new abstraction a kind, and its related formal system, kind theory. I define a type system that models the structural aspects of kind theory. I also define an algebra that models this type system and provides a logic in which one can specify and execute computations. A reflective definition of kind theory is reviewed. This reflective specification depends upon a basic ontology for mathematics. By specifying the theory in itself, I provide an example of how one can use kind theory to reason about reuse in general formal systems. I provide examples of the use of kind theory in reasoning about software constructs in several domains of software engineering. I also discuss a set of software tools that I have constructed that realize or use kind theory. A lo...

2025

OCL 2.0 is the newest version of the OMG's constraint language to accompany their suit of Object Oriented modelling languages. The use of OCL as an accompanying constraint and query language for modelling with these languages is essential. As tools are built to support the modelling languages, it is also necessary to implement the OCL. This paper reports our experience of implementing OCL based on the latest version of the OMG's OCL standard, UML models and MDA techniques supported by the Kent Modelling Framework (KMF) , developed at the University of Kent. We provide an efficient LALR grammar for parsing the language and describe an architecture that enables the language to be bridged to any other modelling framework or tool. We also provide both syntactic and semantic models, which were used as inputs for KMFStudio [12] in order to generate Java code. In addition we give feedback on problems and ambiguities discovered in the standard, with some suggested solutions.

2025

Modeling is a most important exercise in software engineering and development and one of the current practices is object-oriented (OO) modeling. The Object Management Group (OMG) has defined a standard object-oriented modeling language -the Unified Modeling Language (UML). The OMG is not only interested in modeling languages; its primary aim is to enable easy integration of software systems and components using vendor-neutral technologies. This thesis investigates the possibilities for designing and implementing modeling frameworks and transformation languages that operate on models and to explore the validation of source and target models. Specifically, we will focus on OO models used in OMG's Model Driven Architecture (MDA), which can be expressed in terms of UML terms (e.g. classes and associations). The thesis presents the Kent Modeling Framework (KMF), a modeling framework that we developed, and describes how this framework can be used to generate a modeling tool from a This work would not have been possible without the constant dedication, guidance and advice of my supervisors, Stuart Kent and Peter Rodgers, to whom I am deeply grateful. Many thanks for their support and invaluable advice throughout the duration of the research and writing of this thesis. I am grateful to the members of the Supervisory Panel, Peter Linington and David Shrimpton for their helpful comments and advice. Especially, my thanks to Peter for showing me how to form a coherent argument from my initial collection of ideas. Many thanks to the academic staff of the Systems Engineering Research Group -David Akehurst, Eerke Boiten, Ana Cavalcanti, Nigel Dalgliesh, Rogerio de Lemos, and Jim Woodcook -who have provided an atmosphere of great intellectual stimulation, a pleasant and comfortable working environment. Many thanks to David Barnes and Tim Hopkins for their comments regarding the UML models measuring. Thanks to both my parents Elena and Dumitru Patrascoiu for their support, encouragement and tutelage during my early years, without which I would have never got to the point of being able to attempt a doctoral degree. Thanks to both my parents-in-law Maria and Nicolae Mitroi for supporting me in the early years of my academic career. Finally, thanks to my family -Giana and Virgil Patrascoiu -for their tolerance and patience during the final period of writing up.

2025

OCL 2.0 is the newest version of the OMGs constraint language to accompany their suit of Object Oriented modelling languages. The use of OCL as an accompanying constraint and query language to modelling with these languages is essential. As tools are built to support the modelling languages, it is also necessary to implement the OCL. This paper reports our experience of implementing OCL based on the latest version of the OMGs OCL standard. We provide an ecient LALR grammar for parsing the language and describe an architecture that enables the language to be bridged to any OO modelling language. In addition we give feedback on problems and ambiguities discovered in the standard, with some suggested solutions.

2025, Lecture Notes in Computer Science

We propose an approach for the integrated description of a metamodel and its formal relationship to its models and the model instantiations. The central idea is to use so-called layered graphs permitting to describe type graphs and instance graphs. A type graph can describe a collection of types and their relationships whereas an instance graph can represent instances belonging to the types and respecting the relationships required by the type graph. Type graphs and instance graphs are used iteratively, i.e., an instance graph on one layer can be regarded as a type graph of the next lower layer. Our approach models layered graphs with a UML class diagram, and operations and invariants are formally characterized with OCL and are validated with the USE tool. Metamodeling properties like strictness or well-typedness and features like potency can be formulated as OCL constraints and operations. We are providing easily understandable definitions for several metamodeling notions which are currently used in a loose way by modelers. Such properties and features can then be discussed on a rigorous, formal ground. This issue is also the main purpose of the paper, namely, to provide a basis for discussing metamodeling topics.

2025, Lecture Notes in Computer Science

Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language with side-effects? At the meta-level (M2), queries, views and transformations are subjects that will be vital to the success of the OMG's Model Driven Architecture initiative. Will OCL 2.0 become an essential part of the Queries/Views/Transformations standard and what will be its application areas in industry? Can the features of OCL 2.0 be used in the Model Driven Engineering (MDE) approach? This workshop aims at bringing together people from academia that are expected to report on inspiring ideas for innovative application scenarios and tools, and industrial practitioners, which are expected to provide statements on their view of the future of OCL in the context of MDE.

2025, Electronic Notes in Theoretical Computer Science

The version in the Kent Academic Repository may differ from the final published version. Users are advised to check for the status of the paper. Users should always cite the published version of record.

2025

Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come the desire to use model transformations. While the current OMG standards such as Unified Modeling Language (UML) and Meta Object Facility (MOF) provide a well-established foundation for defining models, no such well-established foundation exists for transforming models. The current paper describes how the OCL expressions are integrated in a transformation language called YATL (Yet Another Transformation Language) to provide support for model querying. The paper presents also the transformation environment and the main features of YATL.

2025

Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical precedence among the different business activities (ie the units of work). Up to now, workflow models have been commonly managed through specific subsystems, called workflow management systems. In this paper we advocate for the integration of the workflow specification in the system domain model. This workflow-extended domain model is ...

2025, Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni

The article presents the basic notions and definitions of systems security. The model of threats for systems security and a general model of a safe system (i.e. secured against outside and inside threats) were discussed. The problem of systems security management, considering particularly the management of risk, was defined. The paper has been presented the current problems of research and education in the science of safety and security, treated as an area of systems research (systems analysis, systems engineering). The attention is paid to the phenomenon of both the growth of security threats (for the individual, local, global), as well as the growth in popularity of study at the field of national security and related (e.g. internal security, health security). On the background of these phenomena it has been presented author"s original project of interdisciplinary studies in security systems engineering as a field of study carried out by both institutions, social university an...

2025, hal.archives-ouvertes.fr

Abstract. This paper proposes an instrumented approach to integrate feature diagrams with UML models to be used as part of a general ap-proach for designing software product lines and for product generation. The concrete contribution is a... more

2025, The Journal of Object Technology

Model-Driven Development employs models as core artifacts of the software development process. This requires ensuring the correctness of models, an analysis which is computationally complex. However, models may evolve over time and these changes usually require re-checking models from scratch. To this end, this paper proposes techniques for the incremental verification of a fundamental correctness property: internal consistency of UML class diagrams annotated with OCL constraints. These techniques allow modelers to significantly reduce (or even avoid altogether) the cost of re-verifying a class diagram after model updates.

2025

Different types of consistency of UML models have been described in the literature. The consistency of UML models with the UML static semantics, usually referred as wellformedness, and the consistency between different versions of the same model are among the most cited. The UML models’ well-formedness is a precondition for any other kind of consistency, being described by means of the UML abstract syntax. Unfortunately, this abstract syntax specification is bogus. As a consequence, checking UML models’ consistency is not a natural practice, as it should be. Beginning with 2000, there have been several papers reporting this state of facts, but without any visible consequences on the state of practice. In this paper, the authors propose a new approach (including specification techniques and a process) meant to overcome this specification drawback. Our proposal is based on a long practice of improving the specification of UML Well-Formedness Rules in the OCLE tool.

2025

Different types of consistency of UML models have been described in the literature. The consistency of UML models with the UML static semantics, usually referred as wellformedness, and the consistency between different versions of the same model are among the most cited. The UML models' well-formedness is a precondition for any other kind of consistency, being described by means of the UML abstract syntax. Unfortunately, this abstract syntax specification is bogus. As a consequence, checking UML models' consistency is not a natural practice, as it should be. Beginning with 2000, there have been several papers reporting this state of facts, but without any visible consequences on the state of practice. In this paper, the authors propose a new approach (including specification techniques and a process) meant to overcome this specification drawback. Our proposal is based on a long practice of improving the specification of UML Well-Formedness Rules in the OCLE tool.

2025

Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), (Purvis and Cranefield 1999) are considered by Joost de Kruijff and Hans Weigand as the best fit for blockchain ontology. (de Kruijff and Weigand 2017) 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. (Object Management Group 2000) Now, OCL can be used with any meta-model. (Object Management Group 2006) OCL is a precise text language that provides constraint expressions and query objects on any specific model or meta-model that cannot be expressed otherwise by brought to you by CORE View metadata, citation and similar papers at core.ac.uk

2025, International Conference on Mobile Business (ICMB'05)

Context-aware Web services are emerging as a promising technology for the electronic businesses in mobile and pervasive environments. Unfortunately, complex contextaware services are still hard to build. In this paper, we present a modeling language for the model-driven development of context-aware Web services based on the Unified Modeling Language (UML). Specifically, we show how UML can be used to specify information related to the design of context-aware services. We present the abstract syntax and notation of the language and illustrate its usage using an example service. Our language offers significant design flexibility that considerably simplifies the development of context-aware Web services.

2025

Both the conceptual schema language INTERLIS and the land administration domain model (LADM) share the same model driven architecture (MDA) principles. In this paper we explore how INTERLIS and LADM complement each other in actual implementation of land administration system based on the LADM using INTERLIS tools. In Switzerland, the requirement for a clearly defined data model that can be adapted in flexible ways resulted in a conceptual schema and object oriented language INTERLIS. The cadastral core data model and many other models (i.e. utility services, urban planning, etc.) have been defined with INTERLIS in Switzerland. The concept of the data description language INTERLIS is compatible with international standards like UML or GML/XML. The language is widely used in the country. Constraints for comprehensive data quality checking can be formulated easily. This is one of the main reasons to keep INTERLIS. INTERLIS tools are available for QGIS, FME and other systems. There is a...

2025, Lecture Notes in Computer Science

We define a subset krtUML of UML which is rich enough to express all behavioural modelling entities of UML used for real-time applications, covering such aspects as active objects, dynamic object creation and destruction, dynamically changing communication topologies in inter-object communication, asynchronous signal based communication, synchronous communication using operation calls, and shared memory communication through global attributes. We define a formal interleaving semantics for this kernel language by associating with each model M ∈ krtUML a symbolic transition system STS(M ). We outline how to compile industrial real-time UML models making use of generalisation hierarchies, weak-and strong aggregation, and hierarchical statemachines into krtUML, and propose modelling guidelines for real-time applications of UML. This work provides the semantical foundation for formal verification of real-time UML models described in the companion paper .

2025, The Journal of Logic and Algebraic Programming

Statechart diagrams provide a graphical notation to model dynamic aspects of system behaviour within the unified modelling language (UML). In this paper, we present a formal operational semantics for a behavioural subset of UML statechart diagrams (UMLSDs) including a formal proof of their correctness with respect to major UML semantics requirements concerning behavioural issues. We show how the modularity of our semantics definition can be exploited to define extensions, in particular we show an extension to models composed of collections of communicating statechart diagrams, which we call multicharts. Finally we present all the conceptual issues related to building a tool for action based branching time model-checking, for the automatic verification of formal correctness of UML multicharts. The approach we propose preserves all the information necessary to report the results of model-checking in terms of the original UMLSD specification. The reference verification environment used for this model-checking approach is JACK, where automata are represented in a standard format which facilitates the use of a collection of tools for automatic verification.

2025, Second ACIS International Conference on Software …

In this paper we present an ``on the fly'' model checker for the verification of the dynamic behavior of UML models seen as a set of communicating state machines. The logic supported by the tool is an extension of the action based branching time temporal logic µ-ACTL and has the power of full µ-calculus. Early results on the application of this model checker to a case study have been also reported.

2025, International Journal of Advanced Computer Science and Applications

This paper proposes a framework for Rule Based inhibition on e-commerce website for prevention of double payment and computing time invariant for concurrent event handling. Authors have analyzed computational models in terms of Customer segmentation replicating their buying characteristics and Dialogue level constraint establishment through OCL. The tool used are MDT-OCL and matching logic for logic level interpretation. The MDT tool generates Context Syntax Tree. We have used LPG grammar to be applied WBS codification by differentiating Descriptive Noun containing description about the products and associated verbs about the product. Authors have used Eclipse plug-ins to embed it logic constraint mapping to check for any ontological errors and double selection and payment errors.

2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

In design of component based applications, the designers have to produce visual such as Unified Modeling Language (UML) models, and describe the software component interfaces. Business rules and constraints are the key components in the skeletons of software components. Semantic of Business Vocabulary and Rules (SBVR) language is typically used to express constraints in natural language and then a software engineer manually maps SBVR business rules to other formal languages such as UML, Object Constraint Language (OCL) expressions. However, OCL is the only medium used to write constraints for UML models but manual translation of SBVR rules to OCL constraints is difficult, complex and time consuming. Moreover, the lack of tool support for automated creation of OCL constraints from SBVR makes this scenario more complex. As, both SBVR and OCL are based on First-Order Logic (FOL), model transformation technology can be used to automate the transformation of SBVR to OCL. In this research paper, we present a transformation rules based approach to automate the process of SBVR to OCL transformation. The presented approach implemented in SBVR2OCL prototype tool as a proof of concept. The presented method softens the process of creating OCL constraints and also assists the designers by simplifying software designing process.

2025, Proceedings of the 14th IEEE International Multitopic Conference 2011, INMIC 2011

In software modelling, the designers have to produce UML visual models with software constraints. Similarly, in business modelling, designers have to model business processes using business constraints (business rules). Constraints are the key components in the skeleton of business or software models. A designer has to write constraints to semantically compliment business models or UML models and finally implementing the constraints into business processes or source code. Business constraints/rules can be written using SBVR (Semantics of Business Vocabulary and Rules) while OCL (Object Constraint Language) is the well-known medium for writing software constraints. SBVR and OCL are two significant standards from OMG. Both standards are principally different as SBVR is typically used in business domains and OCL is employed to compliment software models. However, we have identified a few similarities in both standards that are interesting to study. In this paper, we have performed a comparative analysis of both standards as we are looking for a mechanism for automatic transformation of SBVR to OCL. The major emphasis of the study is to highlight principal features of SBVR and OCL such as similarities, differences and key parameters on which these both standards can work together.

2025

Current GIS technology allows a limited implementation of features that have depth components. There are a number of technical possibilities that were investigated, however, none of them gave a complete spatial solution to handling

2025, The Scientific World Journal

Unified Modeling Language is the most popular and widely used Object-Oriented modelling language in the IT industry. This study focuses on investigating the ability to expand UML to some extent to model crosscutting concerns (Aspects) to support AspectJ. Through a comprehensive literature review, we identify and extensively examine all the available Aspect-Oriented UML modelling approaches and find that the existing Aspect-Oriented Design Modelling approaches using UML cannot be considered to provide a framework for a comprehensive Aspectual UML modelling approach and also that there is a lack of adequate Aspect-Oriented tool support. This study also proposes a set of Aspectual UML semantic rules and attempts to generate AspectJ pseudocode from UML diagrams. The proposed Aspectual UML modelling approach is formally evaluated using a focus group to test six hypotheses regarding performance; a “good design” criteria-based evaluation to assess the quality of the design; and an AspectJ-...

2025

Low-code and no-code development has emerged as a significant trend in the software industry, empowering the masses and revolutionizing the way software applications are created. While often labeled as buzzwords, these two terms correspond in reality to a very large set of tools and growing communities. While many studies have been made for low-code, this study aims instead at better understanding the essence of no-code. To do so, we propose, a rigorous selection of 9 data centric no-code tools. Then, we study through the lens of datamodeling (e.g., UML/Class + OCL), how features proposed by those tools compare to their opposite, i.e. coding approaches. Thus, exhibiting an empirical way to define no-code through comparison with coding approaches.

2025, IT & C

Enterprise ontology for blockchain transactions includes datalogical, infological and essential levels. OntoClean analyzes ontologies based on formal, domain-independent properties (metaproperties), being the first attempt to formalize... more

2025, Cambridge University Press eBooks

Components capture the deployment nature of software; objects capture its runtime nature. Components and objects together enable the construction of nextgeneration software. However, as discussed in this chapter, many problems still need to be solved before component software can become ubiquitous. One important step to be taken is to move from component introversion to component extroversion and to adopt component-based software architecture on a much broader basis. To avoid the many traps on that way, it is useful to emphasize: Components are units of deployment and versioning but the atoms of configuration. To control the complexity explosion of peer-to-peer component architectures, component frameworks need to be pursued beyond their current weak foundation. www.cambridge.org

2025, Component-Based Software Engineering

We discuss the use of an industrial-strength specification language to specify component-level contracts for a product group within Microsoft. We outline how the specification language evolved to meet the needs of the component-based approach followed by that group. The specification language, AsmL, is executable which allows for testing to be done using runtime verification. Runtime verification dynamically monitors the behavior of a component to ensure that it conforms to its specification.

2024, IEICE Transactions on Communications

To develop distributed applications requires to consider not only functional requirements but also nonfunctional requirements such as distributions, synchronizations, and scheduling policies. Specifying such non-functional requirements is necessary for supporting on-line capabilities of Autonomous Decentralized Systems (ADS). However, the existing design notations and methods do not address such needs sufficiently enough to develop ADS applications systematically using object-oriented technique. In this paper, we propose an object-oriented design-level support for specifying concurrent, distributed, and autonomous object behaviors in developing dynamic distributed applications. We develop a high-level metaobject protocol called MOP to deal with object distributions, method synchronizations, and method scheduling policies. In addition, we develop Class Diagram Supporting MOP (CDSM) and Dynamically Configurable Object Statemachine (DCOS) for specifying non-functional behaviors and dynamic configuration behaviors, by extending the ordinary class diagram and state diagram of UML. A development environment called MOPer is implemented to support our approach.

2024, Lecture Notes in Computer Science

Authorisation constraints can help the policy architect design and express higher-level security policies for organisations such as financial institutes or governmental agencies. Although the importance of constraints has been addressed in the literature, there does not exist a systematic way to validate and test authorisation constraints. In this paper, we attempt to specify non-temporal constraints and historybased constraints in Object Constraint Language (OCL) which is a constraint specification language of Unified Modeling Language (UML) and describe how we can facilitate the USE tool to validate and test such policies. We also discuss the issues of identification of conflicting constraints and missing constraints.

2024, ACM Sigsoft Software Engineering Notes

Nowadays, more and more security-relevant data are stored on computer systems; security-critical business processes are mapped to their digital pendants. This situation applies to various critical infrastructures requiring that different security requirements must be fulfilled. It demands a way to design and express higher-level security policies for such critical organizations. In this paper we focus on authorisation policies to demonstrate how software engineering techniques can help validate authorisation constraints and enforce access control policies. Our approach leverages features and functionalities of the UML/OCL modeling methods as well as model driven approach to represent and specify authorisation model and constraints. Using our authorisation constraints editor, we articulate role-based authorisation policies. Also, we attempt to validate and enforce such constraints with the USE (UML Specification Environment) tool.

2024, Lecture Notes in Computer Science

2024, ACM SIGSOFT Software Engineering Notes

2024, JES. Journal of engineering sciences

The Unified Modeling Language (UML) is an evolutionary step in the development of Object-Oriented analysis and design (OOA&D) methods that appeared in the late '80s and early '90s. UML has become a widely adopted standard in the software development industry. Various attempts have been made to formally define the syntax and semantics of the UML notations, and to represent its models in a formal notation. The purpose of these attempts is to allow UML models to be rigorously checked, and to allow formal analysis of the modeled systems. Use Case Diagram is one of the diagrams supported by UML which describe the functional requirements of the system under development, helping to identify the complete set of user requirements. This paper aims to present a tentative approach to provide the Use Case Diagram with formal semantics using Z specification language.

2024, Lecture Notes in Computer Science

To our knowledge, no current software development methodology explicitly describes how to transit from the analysis model to the software architecture of the application. This paper presents a method to derive the software architecture of a system from its analysis model. To do this, we are going to use MDA. Both the analysis model and the architectural model are PIMs described with UML 2. The model type mapping designed consists of several rules (expressed using OCL and natural language) that, when applied to the analysis artifacts, generate the software architecture of the application. Specifically the rules act on elements of the UML 2 metamodel (metamodel mapping). We have developed a tool (using Smalltalk) that permits the automatic application of these rules to an analysis model defined in Rose to generate the application architecture expressed in the architectural style C2.

2024, Journal of Object-Oriented Programming

We describe desirable properties of a beginner's objectoriented programming language and environment. We then compare, in an educational context, language concepts and associated environments of Smalltalk to other more widely used languages. Building on Smalltalk's interactive environment and exploiting the language's remarkable flexibility we produced VisualExpress, a tool that automatically produces object diagrams entirely transparent to student code. We conclude that modern constructivist approaches ...

2024, Indonesian Journal of Electrical Engineering and Computer Science

Computer aided software engineering (CASE) uses the unified modelling language UML to produce executable code to visualize software architectural blueprint systems. UML is a standard software modeling language for specifying, constructing, documenting and visualizing the artifacts of produced software-intensive systems. However, UML lacks virtual collaboration regardless of their geographical location. The present work developed a prototype of web-based CASE tool that enables UML modes to manage software projects as a virtual collaboration tool. The present methodology starts with the specification of a set of UML triplets; then, the tool generates the visual models automatically with high quality SVG graphs. The system eliminates the manual diagram requirements based on the UML possibility and supported by three diagrams that involves class and use cases. The independent scripting language was PHP7 and MYSQL 8.0 which was used to save the system data.

2024, ACM SIGCSE Bulletin

Modeling is central to doing and learning object-oriented development. We present a new tool, Ideogramic UML, for gesture-based collaborative modeling with the Unified Modeling Language (UML), which can be used to collaboratively teach and learn modeling. Furthermore, we discuss how we have effectively used Ideogramic UML to teach object-oriented modeling and the UML to groups of students using the UML for project assignments.

2024

RSL language supports the specification of requirements in a systematic, rigorous and consistent way. RSL includes a large set of constructs to produce requirements specifications at different level of abstraction, different writing styles and different types of requirements (e.g., goals, functional requirements, quality requirements, constraints, user stories, and use cases) and tests. This paper focuses only on the RSL views related with use cases, including those constructs directly relevant to the specification of data-intensive information systems, namely: actors, use cases, data entities, state machines, and their respective relationships. The explanation and discussion is held by an illustrative example that shows how to produce such specifications. RSL offers an innovative approach that improves the way requirements specifications are defined and validated. In spite of other proposals, RSL is the first that integrates a large number of interrelated constructs that can be represented in a consistent and systematic way.

2024, WSEAS Transactions on …

The purpose of this work is analysis of computational language concepts and introduction of novel pertinent ones in order to provide a new computational metamodel of interaction signatures in UML4ODP FDIS. we mainly introduce the concept... more

2024, WSEAS Transactions on Computers

Abstract: The evolution of Enterprise Information Systems (EIS) has been shift from data-centric information systems to process-centric information systems in last decade. Business Process Management (BPM), extension of Workflow Management (WFM) contains methods, techniques and tools to support the design, enactment, management and analysis of business process. Petri Nets (PN) are used like standard for BPM and WFM technology. Our approach is to define a methodology for analyze, design, implement, maintain EIS only ...

2024

The main purpose of this paper is to present knowledge-based Enterprise model (EM) advantages as data repository for UML models generation. UML models can be generated from Enterprise Model, whose main requirement is that gathered data in this model would be verified and validated by analyst. UML models generation process is implemented by using particular transformation algorithms presented in previous researches. In this paper generation process from EM is represented by the School of Languages case study. By using problem domain data UML Use Case and UML Activity models are generated. Generation results help to define advantages of Enterprise Model usage as storage for problem domain data.

2024

The main scope is to introduce the transformation algorithm of UML Activity model generation from Enterprise model (EM). The transformation algorithm is described in details by showing full process through steps. Whole generation process steps illustrated by particular example of Paper submission for the publishing following the transformation algorithm step by step.