94 Hits in 6.5 sec

Modeling Semantic Web Services with OPM/S A Human and Machine-Interpretable Language

Dov Dori, Eran Toch, Iris Reinhartz-Berger
2004 The Web Conference  
Ontologies are expressed as meta-libraries, which are specified in OPM or OWL, and can be dynamically linked to semantic Web services in a distributed environment.  ...  OPM/S, which is based on Object-Process Methodology (OPM), offers a bi-modal visuallingual representation that is both intuitive for humans and formal for machines.  ...  From the top-level processes and downwards in the process containment hierarchy of OWL-S, each composite process is in-zoomed in OPM/S to reveal its subprocesses and their IOPE sets.  ... 
dblp:conf/www/DoriTR04 fatcat:qbfmuuahd5ga3kjrnebetho2wi

Conceptual Model-Based Systems Biology: Mapping Knowledge and Discovering Gaps in the mRNA Transcription Cycle

Judith Somekh, Mordechai Choder, Dov Dori, Thomas Preiss
2012 PLoS ONE  
Applying a top-down approach of recursively zooming into processes, we model a case in point-the mRNA transcription cycle.  ...  OPM enables concurrent representation of the system's structurethe objects that comprise the system, and behavior-how processes transform objects over time.  ...  By traversing across detail levels, this refinement-abstraction mechanism facilitates focusing on fine details of a particular subsystem via in-zooming, and getting an overall system view via out-zooming  ... 
doi:10.1371/journal.pone.0051430 pmid:23308089 pmcid:PMC3536069 fatcat:mxxycm6yjzhcbb2brgkesawdwa

Multiple Levels of Heuristic Reasoning Processes in Scientific Model Construction

John J. Clement
2022 Frontiers in Psychology  
An organizing framework is then proposed as a four-level hierarchy of nested reasoning processes and subprocesses at different size and time scales, including: Level (L4) Several longer-time-scale Major  ...  From neurological evidence that imagery uses many of the same brain regions as actual perception and action, it is argued that these expert reasoning processes are grounded in the sense of utilizing the  ...  in tables one through four.  ... 
doi:10.3389/fpsyg.2022.750713 pmid:35619778 pmcid:PMC9127582 fatcat:pweg6ts7sjakbjihzhsbyxp35e

5.6.1 Model-Based Standards Authoring: This research is supported by EU FP7 VISIONAIR - A World-class infrastructure for Advanced 3D visualization-based research

Alex Blekhman, Dov Dori, Richard Martin
2011 INCOSE International Symposium  
We present a methodology for model-based authoring of standards based on Object-Process Methodology (OPM).  ...  This general systems-engineering approach to authoring of specifications is supported by an OPM framework and a procedure for model-to-text translation.  ...  Figure 2 : 2 Model-Based Standard Authoring in-zoomedThe subprocesses of Model-Based Standard Authoring are further detailed through in-zooming (of processes) and unfolding (of objects).  ... 
doi:10.1002/j.2334-5837.2011.tb01232.x fatcat:kmwoiockrbatpjxwo32f4gkg5y

ASPLe: A Methodology to Develop Self-Adaptive Software Systems with Systematic Reuse

Nadeem Abbas, Jesper Andersson, Danny Weyns
2020 Journal of Systems and Software  
ENTRUST [16] uses a combination of 1) design-time and runtime modeling and verification, and 2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing  ...  Other frameworks, including StarMX [13], MADAM [14], and MUSIC [15] are similar to ASPLe in the use of patterns and tactics. However, none of these frameworks provide any process support.  ...  The managing subsystem observes changes in the managed subsystem or the environment and performs adaptive actions on the managed subsystem via effectors.  ... 
doi:10.1016/j.jss.2020.110626 fatcat:bc5uzn6azffcjebfk6d77wynli

Model Extraction Using Context Information [chapter]

Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel
2006 Lecture Notes in Computer Science  
I learnt a lot from his experience and knowledge and I am also thankful for his friendship and understanding; • My second supervisor, Sebastian Uchitel, for his friendship and his enthusiasm and dedication  ...  This work describes an approach for behaviour model extraction merging static information, based on the control flow graph of the system, and dynamic information, obtained from traces of execution and  ...  In this case, the process executes action a and then action b and behaves again in the same way, in a recursive manner. FSP also allows for local definitions, which are described as subprocesses.  ... 
doi:10.1007/11880240_27 fatcat:r6t4rysqvbasdnhhwm4zjporli

Business Process Management: A Comprehensive Survey

Wil M. P. van der Aalst
2013 ISRN Software Engineering  
This survey aims to structure these results and provide an overview of the state-of-the-art in BPM. In BPM the concept of a process model is fundamental.  ...  Business Process Management (BPM) research resulted in a plethora of methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes.  ...  The combination of event data and models can be used to explore business processes at run-time and, if needed, trigger appropriate actions.  ... 
doi:10.1155/2013/507984 fatcat:nbrcrvwnwnh6rgttbyj7vy4xhm

Scenario Management: An Interdisciplinary Approach

Matthias Jarke, X. Tung Bui, John M. Carroll
1998 Requirements Engineering  
What are the research and practical issues related to the creation and use of scenarios, in particular in the area of requirements engineering?  ...  The workshop was also organized in cooperation with the IFIP Working Group 2.9 (Requirements Engineering), the RENOIR Network of Excellence, and with the RE groups in the British Computer Society and the  ...  The reality is often more continuous --facts and actions gradually evolve over time.  ... 
doi:10.1007/s007660050002 fatcat:6vvjuljyxjed5f55tymcd4uk4m

Design of Cognitive Assistance Systems in Manual Assembly Based on Quality Function Deployment

Bastian Pokorni, Daniela Popescu, Carmen Constantinescu
2022 Applied Sciences  
At the same time, production and processes must become more flexible, and humans have to adapt to new products more often and even faster.  ...  Increasing volatility and product individualization are leading to higher complexity in manual assembly.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app12083887 fatcat:ziic3gyfd5guxohne2ld577a2i

Derivation of Data-Driven Software Models from Business Process Representations

Estrela Ferreira Cruz, Ricardo J. Machado, Maribel Y. Santos
2014 2014 9th International Conference on the Quality of Information and Communications Technology  
Acknowledgements I would like to thank every person that helped and supported me during this PhD reseach work. In particular, I would like to express my gratitude to:  ...  . • Level (i+1), (i≥2): At this level, each use case that represents a subprocess in level i is decomposed and refined in a use case model in level (i+1) (see Figure 6 .8, level 3).  ...  Using the decompositions triangle we can easily "zoom in" to a use case to see the details and "zoom out" to understand the context where the use case appears.  ... 
doi:10.1109/quatic.2014.44 dblp:conf/quatic/CruzMS14 fatcat:ac6in6atnrblnntc6zswqcspeq

Tapping into existing information flows: The transformation to compliance by design in business-to-government information exchange

Nitesh Bharosa, Marijn Janssen, Remco van Wijk, Niels de Winne, Haiko van der Voort, Joris Hulstijn, Yao-hua Tan
2013 Government Information Quarterly  
Illustrations and cover design: Annemarie van der Linde Background information: ISBN: 978-1-61499-496-1 (print) ISBN: 978-1-61499-497-8 (online)  ...  This enables a connection between the chain level processes, organisation level processes, subprocesses and tasks.  ...  Timing and hierarchy. Decision-making processes in information chains can require precise timing.  ... 
doi:10.1016/j.giq.2012.08.006 fatcat:picmegyxk5bwpfwynep76hmjia

Matching of events and activities

Thomas Baier, Andreas Rogge-Solti, Jan Mendling, Mathias Weske
2015 Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15  
Moreover, existing process models can be enhanced and annotated with valuable information, for example for performance analysis.  ...  The approaches have been evaluated in case studies with industry and using a large industry process model collection and simulated event logs.  ...  Next, an integrated process model is built using enhancement techniques in Stage 3. The integrated model can again be used to answer questions and take actions.  ... 
doi:10.1145/2695664.2699491 dblp:conf/sac/0001RMW15 fatcat:76un2bqmzzd6np2dhnfiwztgt4

Les Houches 2013: Physics at TeV Colliders: Standard Model Working Group Report [article]

J. Butterworth, G. Dissertori, S. Dittmaier, D. de Florian, N. Glover, K. Hamilton, J. Huston, M. Kado, A. Korytov, F. Krauss, G. Soyez , J. R. Andersen, S. Badger, L. Barzè (+69 others)
2014 arXiv   pre-print
1, and projections for future measurements in Run 2.  ...  Session 1 dealt primarily with (1) the techniques for calculating standard model multi-leg NLO and NNLO QCD and NLO EW cross sections and (2) the comparison of those cross sections with LHC data from Run  ...  F. is supported by an Italian PRIN 2010 and by a European EIBURS grant Acknowledgements AB thanks the Les Houches workshop once again for the hospitality and enjoyable/productive working environment in  ... 
arXiv:1405.1067v1 fatcat:zgoqej3qlna5ra5rpbu5f452hy

Artificial Intelligence in Process Engineering

Christoph Thon, Benedikt Finke, Arno Kwade, Carsten Schilde
2021 Advanced Intelligent Systems  
This initiative is supported by the Ministry of Science and Culture (MWK) of Lower Saxony, Germany. Conflict of Interest The authors declare no conflict of interest.  ...  Keywords artificial intelligence, hybrid modeling, mechanistic modeling, predictive modeling, process engineering  ...  For the final step of process control, a continuous action Actor-Critique-Reinforcement-Learning (ACRL) technique was used (see Section 6) with the actor learning to generate appropriate actions and the  ... 
doi:10.1002/aisy.202000261 fatcat:v6fkigzc6fde7cpg77lzebxi4e

A Reflective Meta-Model of Object-Process Methodology [chapter]

Iris Reinhartz-Berger, Dov Dori
Business Systems Analysis with Ontologies  
be expressed in OPM using objects, processes, and links among them.  ...  In this chapter, we introduce a highly expressive, self-contained reflective metamodel of Object-Process Methodology (OPM).  ...  Comment: The OPL sentences in this table are for the event aspect of the link.  ... 
doi:10.4018/978-1-59140-339-5.ch006 fatcat:gpyrfqk3dzg4focdc5mrd7bdki
« Previous Showing results 1 — 15 out of 94 results