Towards the Meta-Modeling of Complex Inter-Organisationnel Collaborative Processes

2019 ◽  
Vol 15 (3) ◽  
pp. 16-34
Author(s):  
Kahina Semar-Bitah ◽  
Kamel Boukhalfa
Keyword(s):  
Information Exchange ◽  
Process Model ◽  
Business Processes ◽  
Unified Modeling Language ◽  
Unified Modeling ◽  
Transformation Rules ◽  
Collaborative Processes ◽  
Meta Modeling ◽  
Business To Business ◽  
Uml Models

Enterprises are progressively embedded in business to business atmospheres, in order to achieve their common business objectives. Such collaborations lead to Inter-Organizational Business Processes. Therefore, IOBP modeling involves new challenges, mainly the ability to deal with autonomy, privacy, heterogeneity. As a contribution in this area, a IOBP meta-model was designed. This model takes into account the maximum concepts related to the collaboration. Where, the process is complex, and its model in a global way affects its vision and complicates its implementation and hence the idea of its analysis into sub-IOBP to reduce the complexity of the global collaborative process, to streamline information exchange and to facilitate the understanding of the process by partners. A set of Atlas Transformation Language (ATL) transformation rules has been defined to convert Unified Modeling Language (UML) models to Business Process Model and Notation. Finally, the application of our approach has been demonstrated through a framework which can solve the problem of generic IOBP.

INSTANCE MIGRATION BETWEEN ONTOLOGIES HAVING STRUCTURAL DIFFERENCES

2011 ◽  
Vol 20 (06) ◽  
pp. 1127-1156 ◽  
Author(s):  
MAXIM DAVIDOVSKY ◽  
VADIM ERMOLAYEV ◽  
VYACHESLAV TOLOK
Keyword(s):  
Knowledge Management ◽  
Life Cycle ◽  
Structural Changes ◽  
Software Framework ◽  
Ontology Alignment ◽  
Transformation Rules ◽  
Structural Differences ◽  
Prototype Software ◽  
Descriptive Theories ◽  
Future Work

Ontology instance migration is one of the complex and not fully solved problems in knowledge management. A solution is required when the ontology schema evolves in the life cycle and the assertions have to be transferred to the newer version. The problem may become more complex in distributed settings when, for example, several autonomous software entities use and exchange partial assertional knowledge in a domain that is formalized by different though semantically overlapping descriptive theories. Such an exchange is essentially the migration of the assertional part of an ontology to other ontologies belonging to or used by different entities. The paper presents our method and tool for migrating instances between the ontologies that have structurally different but semantically overlapping schemas. The approach is based on the use of the manually coded transformation rules describing the changes between the input and the output ontologies. The tool is implemented as a plug-in for the ProjectNavigator prototype software framework. The article also reports the results of our three evaluation experiments. In these experiments we evaluated the degree of complexity in the structural changes to which our approach remains valid. We also chose the ontology sets in one of the experiments to make the results comparable with the ontology alignment software. Finally we checked how well our approach scales with the increase of the quantity of the migrated ontology instances to the numbers that are characteristic to industrial ontologies. In our opinion the evaluation results are satisfactory and suggest some directions for the future work.

scholarly journals Interactive Transparent Networking: Protocol meta modeling based on EFSM

2006 ◽  
Vol 29 (17) ◽  
pp. 3536-3552 ◽  
Author(s):  
Javed I. Khan ◽  
Raid Y. Zaghal
Keyword(s):  
Meta Modeling

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 9-17
Author(s):  
Mohamed Younis ◽  
Grace Tsai ◽  
Thomas Marlowe ◽  
Alexander Stoyenko
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Speculative Execution ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Time Systems

W-ALGEBRA REALIZATIONS AND W-GRAVITY ANOMALIES

1991 ◽  
Vol 06 (32) ◽  
pp. 2995-3003 ◽  
Author(s):  
C. M. HULL ◽  
L. PALACIOS
Keyword(s):  
Path Integral ◽  
Current Algebra ◽  
Gravity Anomalies ◽  
Normal Ordering ◽  
Path Integral Quantization ◽  
Transformation Rules ◽  
Higher Derivative ◽  
Quantum Current ◽  
Boson Model ◽  
Background Charge

The coupling of scalars fields to chiral W3 gravity is reviewed. In general the quantum current algebra generated by the spin-two and three currents does not close when the "natural" regularization (corresponding to the normal ordering with respect to the modes of ∂ϕi) is used, and the non-closure reflects matter-dependent anomalies in the path integral quantization. We consider the most general modification of the current, involving higher derivative "background charge" terms, and find the conditions for them to form a closed algebra in the "natural" regularization. These conditions can be satisfied only for the two-boson model. In that case, it is possible to cancel all the matter-dependent anomalies by adding finite local counter terms to the action and modifying the transformation rules of the fields.

Formal Metamodeling for Secure Model-Driven Engineering

2021 ◽  
Vol 12 (2) ◽  
pp. 46-67
Author(s):  
Liliana Maria Favre
Keyword(s):  
Cloud Computing ◽  
Formal Specifications ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Systematic Development ◽  
Definition Of ◽  
Context Specific ◽  
Theoretical Foundations

Systems and applications aligned with new paradigms such as cloud computing and internet of the things are becoming more complex and interconnected, expanding the areas in which they are susceptible to attacks. Their security can be addressed by using model-driven engineering (MDE). In this context, specific IoT or cloud computing metamodels emerged to support the systematic development of software. In general, they are specified through semiformal metamodels in MOF style. This article shows the theoretical foundations of a method for automatically constructing secure metamodels in the context of realizations of MDE such as MDA. The formal metamodeling language Nereus and systems of transformation rules to bridge the gap between formal specifications and MOF are described. The main contribution of this article is the definition of a system of transformation rules called NEREUStoMOF for transforming automatically formal metamodeling specifications in Nereus to semiformal-MOF metamodels annotated in OCL.

Sign in / Sign up

Export Citation Format

Share Document