39,364 Hits in 3.7 sec

Conformance Checking of Mixed-paradigm Process Models [article]

Boudewijn van Dongen, Johannes De Smedt, Claudio Di Ciccio, Jan Mendling
2020 arXiv   pre-print
A key research challenge for the proliferation of mixed-paradigm models for process mining is the lack of corresponding conformance checking techniques.  ...  Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and Declare.  ...  Still, Conformance Checking for Mixed-Paradigm processes models is required for the following reasons.  ... 
arXiv:2011.11551v1 fatcat:55bfnauyzbb4la5guhcszvxvce

Page 3 of Journal of Marital and Family Therapy Vol. 19, Issue 1 [page]

1993 Journal of Marital and Family Therapy  
A quick check of the relationship between dimensions of process and paradigm and the taxonomic vectors will tell the therapist whether high enmeshment or low, chaos or rigidity, balance or skew are more  ...  We can think of each point within the tetrahedral model as surrounded by a region in which a family with that paradigmatic mix can tolerate variation in engagement, variability, and convergence.  ... 


1993 Journal of Marital & Family Therapy  
A quick check of the relationship between dimensions of process and paradigm and the taxonomic vectors will tell the therapist whether high enmeshment or low, chaos or rigidity, balance or skew are more  ...  The further it gets from the particular golden mean implied by its mix of paradigms, the less likely a family will be able to remain functional.  ... 
doi:10.1111/j.1752-0606.1993.tb00960.x fatcat:suct4h4hsferpgquwc46edgdre

Preserving architectural decisions through architectural patterns

Minh Tu Ton That, Salah Sadou, Flavio Oquendo, Régis Fleurquin
2014 Automated Software Engineering : An International Journal  
and, iii) automates the architectural decision conformance checking.  ...  In the literature, there are some works on the automation of architectural decision violation checking.  ...  StAD Manipulation The process of manipulating StADs consists of integrating pattern models to architectural models and checking the conformance of architectural models with associated StADs.  ... 
doi:10.1007/s10515-014-0172-0 fatcat:nqr56vjqs5c4xpxdus6w5fbbva

The FTG+PM framework for multi-paradigm modelling

Sadaf Mustafiz, Joachim Denil, Levi Lúcio, Hans Vangheluwe
2012 Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12  
The FTG+PM consists of the Formalism Transformation Graph (FTG) and its complement, the Process Model (PM), and charts activities in the MDE lifecycle such as requirements development, domain-specific  ...  We present a FTG+PM model for the automotive domain, and describe the MDE process we applied based on our experiences with the power window system.  ...  We go a step beyond multi-formalism modelling, and use the notion of multi-paradigm modelling [?] as the basis of our work.  ... 
doi:10.1145/2508443.2508446 dblp:conf/models/MustafizDLV12 fatcat:fuxsseeribfrlk54rqisni53za

From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining

Nikola Trcka, Mykola Pechenizkiy
2009 2009 Ninth International Conference on Intelligent Systems Design and Applications  
We illustrate the ideas behind our approach with examples of academic curricular modeling, mining, and conformance checking, using the student database of our department.  ...  the tacit knowledge explicit and facilitate better understanding of the process (process model extension).  ...  Thus, we can reduce the search space and direct the process mining in the desired way. Conformance checking and model extension can also be focused on the patterns of our prior interest.  ... 
doi:10.1109/isda.2009.159 dblp:conf/isda/TrckaP09 fatcat:dczfsb2mbnajhc4mgmy445dlbq

Beautiful Workflows: A Matter of Taste? [chapter]

Wil M. P. van der Aalst, Michael Westergaard, Hajo A. Reijers
2013 Lecture Notes in Computer Science  
On the occasion of his 61st birthday, we compare four workflow paradigms: procedural, case handling, declarative, and functional.  ...  Recently, Rinus Plasmeijer proposed the iTask system (iTasks) based on the viewpoint that workflow modeling is in essence a particular kind of functional programming.  ...  Acknowledgements This work was supported by the Basic Research Program of the National Research University Higher School of Economics (HSE).  ... 
doi:10.1007/978-3-642-40355-2_15 fatcat:emjylbmnjbdnbk3vzgtfvxfbym

Exploring Multi-Paradigm Modeling Techniques

Cécile Hardebolle, Frédéric Boulanger
2009 Simulation (San Diego, Calif.)  
of models is at the center of multi-paradigm modeling.  ...  Multi-Paradigm Modeling (MPM) addresses the necessity of using multiple modeling paradigms when designing complex systems.  ...  BIP supports model execution and model-checking.  ... 
doi:10.1177/0037549709105240 fatcat:5aklf7yyzfhz7lidxpnafqq72m

Checking SysML Models for Co-simulation [chapter]

Nuno Amálio, Richard Payne, Ana Cavalcanti, Jim Woodcock
2016 Lecture Notes in Computer Science  
This checks the conformity of component connectors and the absence of algebraic loops, necessary for cosimulation convergence.  ...  , and the CSP process algebra and its FDR3 model-checker.  ...  Unlike our work, this does not define a profile embodying a paradigm designed for multi-modelling and FMI-co-simulation; furthermore, formal static checks covering connector conformity and absence of algebraic  ... 
doi:10.1007/978-3-319-47846-3_28 fatcat:mn2zw4xvu5aabgdj6iscnhmnfm

Combining OCL and Programming Languages for UML Model Processing

Mika Siikarla, Jari Peltonen, Petri Selonen
2004 Electronical Notes in Theoretical Computer Science  
We especially emphasise the need of combined use of OCL and programming languages in UML model processing.  ...  Model processing tasks, like model checking, merging, slicing, and synthesis, need efficient and maintainable mechanisms to define models, as well as to query, compare and manipulate information in them  ...  However, model checking is only one set of tasks in model processing.  ... 
doi:10.1016/j.entcs.2003.09.009 fatcat:c5dhewvkozfwlomopaqf4t53iy

Recent Advances in Multi-Paradigm Modeling

Vasco Amaral, Cécile Hardebolle, Hans Vangheluwe, László Lengyel, Peter Bunus
2012 Electronic Communications of the EASST  
Following the trend of other editions, it was held this year (2011) in Wellington, New Zealand, the 5th International Workshop on Multi-Paradigm Modelling: Concepts and Tools (MPM).  ...  Once again has been a satellite event of the International Conference on Model-Driven Engineering Languages and Systems (MoDELS).  ...  The domain of Multi-Paradigm Modeling aims at easing the use of several modeling paradigms throughout the design process.  ... 
doi:10.14279/tuj.eceasst.50.740 dblp:journals/eceasst/AmaralHVLB11 fatcat:4uammg7kiba6zaz3snfij5lzia

OCD-like checking in the lab: A meta-analysis and improvement of an experimental paradigm

Marcel A. van den Hout, Eva A.M. van Dis, Clair van Woudenberg, Ilse H. van de Groep
2017 Journal of Obsessive-Compulsive and Related Disorders  
The first aim of the present study was to conduct a metaanalysis of experiments (k = 28; N = 1662) on the repeated checking paradigm.  ...  The second aim of the present study was to develop an improved version of the checking paradigm in which 1) stimuli presentations were fully balanced; and 2) the checking latency was comparable across  ...  Acknowledgements The authors thank Roy van Kooten for the development of the improved experimental paradigm in Matlab, and Professor Ton de Jong for sharing the stimulus material from the ZAP project (  ... 
doi:10.1016/j.jocrd.2017.11.006 fatcat:c7knxkmrj5gp5guwnf2qjkv4ny

On the Verification of a WiMax Design Using Symbolic Simulation

Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre Paulin
2013 Electronic Proceedings in Theoretical Computer Science  
In this paper, we propose a methodology for the verification of conformance of models generated at higher levels of abstraction in the design process to the design specifications.  ...  We model the system behavior using sequence of recurrence equations. We then use symbolic simulation together with equivalence checking and property checking techniques for design verification.  ...  Due to this nature of high level design processes of incremental refinement steps, equivalence checking is a very efficient verification methodology in this design paradigm.  ... 
doi:10.4204/eptcs.122.3 fatcat:5lu7oucvrra3tn3bgzuyoxvh3m

Test stimulus representation and experimental context effects in memory scanning

R. L. Klatzky, J. F. Juola, R. C. Atkinson
1971 Journal of Experimental Psychology  
However, the functions for mixed sessions deviated markedly from the predictions of such a model.  ...  Reactiontime functions relating response latency to the size of the memorized set of letters were plotted, and the data are discussed in the context of the scanning models previously proposed by S.  ...  This conforms to the predictions of the model for an exhaustive scan of memory. The results obtained by Sternberg (1966) for digits have been replicated for other stimuli.  ... 
doi:10.1037/h0030540 fatcat:cfik34cxgjaw3cm3flqsczsnxy

RINGMesh: A programming library for developing mesh-based geomodeling applications

Jeanne Pellerin, Arnaud Botella, François Bonneau, Antoine Mazuyer, Benjamin Chauvin, Bruno Lévy, Guillaume Caumon
2017 Computers & Geosciences  
RINGMesh implements functionalities to read discretized surface-based or volumetric structural models and to check their validity. The models can be then exported in various file formats.  ...  RINGMesh is a C++ open-source programming library for manipulating discretized geological models. It is designed to ease the development of applications and workflows that use discretized 3D models.  ...  The models used in this paper were built with SKUA-GOCAD distributed by Paradigm, which is acknowledged for providing licenses.  ... 
doi:10.1016/j.cageo.2017.03.005 fatcat:v5gxehdmkvginb6zjtqdvnpcd4
« Previous Showing results 1 — 15 out of 39,364 results