A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Modeling Semantic Web Services with OPM/S A Human and Machine-Interpretable Language
2004
The Web Conference
Preserved Fulltext
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
2012
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2022
Frontiers in Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2011
INCOSE International Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
ISRN Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1998
Requirements Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2022
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 9th International Conference on the Quality of Information and Communications Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Government Information Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Illustrations and cover design: Annemarie van der Linde Background information: challengingthechain.com 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
2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Advanced Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
Business Systems Analysis with Ontologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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