Filters








1,163,092 Hits in 8.3 sec

Model-Checking of Specifications Integrating Processes, Data and Time [chapter]

Jochen Hoenicke, Patrick Maier
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
As intermediate layer we will use a new kind of timed automata that preserve events and data variables of the specification.  ...  We present a new model-checking technique for CSP-OZ-DC, a combination of CSP, Object-Z and Duration Calculus, that allows reasoning about systems exhibiting communication, data and real-time aspects.  ...  All in all, the process of translating CSP-OZ-DC specifications via phase event automata into transition constraint systems and model-checking these systems can be automated completely.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_31">doi:10.1007/11526841_31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vfptugqthbadzbhorwwxpdxpai">fatcat:vfptugqthbadzbhorwwxpdxpai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922012130/http://hoenicke.de.vu/docs/hm05-fm.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/e7/fde7d6092c75d9e602dbeb8a1e584bf8dde7798b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes [chapter]

Wei Dou, Domenico Bianculli, Lionel Briand
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Despite the substantial research performed in this area, there are very few approaches that leverage model-driven engineering (MDE) methodologies and integrate them in the development process of applications  ...  Run-time verification has been widely advocated in the last decade as a key technique to check whether the execution of a business process and its interactions with partner services comply with the application  ...  The analyst defines different models, such as use cases, business process models, and data models. Use cases and process models should be annotated with properties to be checked at run time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-11743-0_13">doi:10.1007/978-3-319-11743-0_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dcy4lpgpxnflxcbyiuznff3eyu">fatcat:dcy4lpgpxnflxcbyiuznff3eyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170106150327/http://orbilu.uni.lu/bitstream/10993/17066/1/sam2014-short.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/56/91/56911f5ace1ed208e29ad7924c4314fc57102f71.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-11743-0_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Integrating Production Automation Expert Knowledge Across Engineering Stakeholder Domains

Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, Dietmar Winkler
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ko5glutn75hm7kdxq25qkix3k4" style="color: black;">2010 International Conference on Complex, Intelligent and Software Intensive Systems</a> </i> &nbsp;
We evaluate the proposed approach with data from real-world use cases from the production automation domain on data exchange between tools and model checking across tools.  ...  The production automation expert knowledge is embedded in their tools and data models, which are, unfortunately, insufficiently integrated across the expert disciplines, due to semantically heterogeneous  ...  Min and Uwe Szabo for their work regarding design and implementation of the SAW prototype.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cisis.2010.57">doi:10.1109/cisis.2010.57</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cisis/MoserBSW10.html">dblp:conf/cisis/MoserBSW10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v2m2dis2djc4hf6ea7xyhilf74">fatcat:v2m2dis2djc4hf6ea7xyhilf74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810140602/http://cdl.ifs.tuwien.ac.at/files/CISIS2010_1_tr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/cc/38ccfe4f8337d7b9c917cbe3ee14b8fc78b61a25.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cisis.2010.57"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Quality assurance for data from low-tech participants in distributed automation engineering environments

Richard Mordinyi, Alexander Pacha, Stefan Biffl
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lkotbxqctbforjskrx3xoitmyq" style="color: black;">ETFA2011</a> </i> &nbsp;
Therefore, there are advanced approaches for integrating the data of specific engineering tools and systems.  ...  We report on experiences with initial prototypes and compare the improved with a traditional data import process to discuss advantages, risks, and further improvements.  ...  Acknowledgements This work has been supported by the Christian Doppler Forschungsgesellschaft and the BMWFJ, Austria.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/etfa.2011.6059149">doi:10.1109/etfa.2011.6059149</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/etfa/MordinyiPB11.html">dblp:conf/etfa/MordinyiPB11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7kvyqh5h7fh7jndygnmkbiveqa">fatcat:7kvyqh5h7fh7jndygnmkbiveqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321083836/http://www.ifs.tuwien.ac.at/~mordinyi/papers/2011etfab.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/a2/fca290e90fafbf519fea60cb241bfd42a46a8fc5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/etfa.2011.6059149"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Property-Driven Development of a Coordination Model for Distributed Simulations [chapter]

Rolf Hennicker, Matthias Ludwig
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Property processes are supported by the CSP-like language FSP of Magee and Kramer which will be used throughout this paper for modelling the system requirements and the system design.  ...  We will show with model checking techniques that all safety and liveness requirements are guaranteed by the timecontroller design.  ...  Acknowledgement We are grateful to Alexander Knapp for carefully reading a draft of this paper and for valuable suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11494881_19">doi:10.1007/11494881_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xy4anvrhbzduhme7656kaqrcaa">fatcat:xy4anvrhbzduhme7656kaqrcaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503181336/https://link.springer.com/content/pdf/10.1007%2F11494881_19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/95/5a/955a8270c958788ba62100a98d93c6738c17bf37.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11494881_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Integrated Conceptual Model for Temporal Data Warehouse Security

Marwa Salah Farhan, Mohamed E. Marie, Laila M. El-Fangary, Yehia K. Helmy
<span title="2011-06-30">2011</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e3eberciqvbc3am2h4ordzdxu4" style="color: black;">Computer and Information Science</a> </i> &nbsp;
However, most of them deal with isolated aspects of the DW and do not provide designers with an integrated and standard method for designing the whole DW life cycle (ETL processes, data sources, DW repository  ...  This paper proposes a conceptual model to refresh data warehouse by (insert, update, delete) data using ETL processes and considering DW security requirements.  ...  model (PIM) and the logical model (PSM) levels of the CMTDWS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/cis.v4n4p46">doi:10.5539/cis.v4n4p46</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wnkvx34nzvbrdnk5iphkyvbrni">fatcat:wnkvx34nzvbrdnk5iphkyvbrni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706091726/http://ccsenet.org/journal/index.php/cis/article/viewFile/10648/8014/" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/08/0e/080e0d44c25a8ba58117bfdcce82265b1523de74.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/cis.v4n4p46"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Weak Conformance between Process Models and Synchronized Object Life Cycles [chapter]

Andreas Meyer, Mathias Weske
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Further, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking.  ...  For data correctness, conformance between a process model and its object life cycles is checked.  ...  Tackling the integration of control flow and data, [14, 15] enable to model data constraints and to enforce them during process execution directly from the model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-45391-9_25">doi:10.1007/978-3-662-45391-9_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2alxkwymknhargte3t4ioi2try">fatcat:2alxkwymknhargte3t4ioi2try</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200323030925/https://link.springer.com/content/pdf/10.1007%2F978-3-662-45391-9_25.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/4f/734f07d495f0fe7f3cc8c6130be56f6021101b8b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-45391-9_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems

Rafael Z. Frantz, Sandro Sawicki, Fabricia Roos-Frantz, Iryna Yevseyeva, Michael Emmerich
<span title="">2015</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7uss2cuz5fhfnfcqlyac5fe7fm" style="color: black;">Proceedings of the 17th International Conference on Enterprise Information Systems</a> </i> &nbsp;
In this paper we discuss the usage of Markov models for formal modelling of integration solutions aiming at enabling the simulation of the conceptual models of integration solution still in the design  ...  Software engineers usually follow an approach that requires the construction of the integration solution, the execution of the actual integration solution, and the collection of data from this execution  ...  ACKNOWLEDGEMENT The research work on which we report in this paper is supported by CAPES, FAPERGS, and the internal Research Programme at UNIJUÍ University.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005346902600267">doi:10.5220/0005346902600267</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iceis/FrantzSRYE15.html">dblp:conf/iceis/FrantzSRYE15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cuxg7bfy4bd5bd2kv2n5a2tp2a">fatcat:cuxg7bfy4bd5bd2kv2n5a2tp2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921222352/https://www.dora.dmu.ac.uk/xmlui/bitstream/handle/2086/12478/ICEIS-Markov.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/94/ae/94aeb276de445967dd167caff412e74432f74fe6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005346902600267"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Comparative Assessment of Collaborative Business Process Verification Approaches [chapter]

John Paul Kasse, Lai Xu, Paul de Vrieze
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
Research in business process model verification has yielded a plethora of approaches in form of languages and tools that are based on Petri nets family and temporal logic.  ...  Virtual factories are key building blocks for Industry 4.0 where product design processes, manufacturing processes and general collaborative business processes across factories and enterprises are integrated  ...  correctness checks [37] , process templates and structural transformation of processes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-65151-4_33">doi:10.1007/978-3-319-65151-4_33</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gzqlcqiswjhd5plfbl5w7hzyeq">fatcat:gzqlcqiswjhd5plfbl5w7hzyeq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721054441/http://eprints.bournemouth.ac.uk/29340/1/PRO-VE%202017_paper%206.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1d/02/1d021b4b8ae4f0128773dc0f00b0556d704b9e98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-65151-4_33"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Ontology Framework for Rule-based Inspection of eeBIM-systems

Mathias Kadolsky, Ken Baumgärtel, Raimar J. Scherer
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i4djr4tgnbobnjegejzpw7nny" style="color: black;">Procedia Engineering</a> </i> &nbsp;
The surrounding ontology platform enables the integrating of the input data and manages the process of the calculation methods.  ...  The ontology specification provides the concepts and relations to describe the building, the external data like the climate data as well as the linking between the BIM-concepts and the external data.  ...  Acknowledgments We kindly acknowledge the support of the European Commission to the project ISES, Grant Agreement No. 288819, http://ises.eu-project.info.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.proeng.2014.10.554">doi:10.1016/j.proeng.2014.10.554</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wxt7ld6xivc6rphory666knvga">fatcat:wxt7ld6xivc6rphory666knvga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321061416/http://2015.creative-construction-conference.com/wp-content/uploads/2015/01/CCC2014_M_Kadolsky.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/a4/e4a46472602065be4c0ddb3bc98de3ca5cfc9b41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.proeng.2014.10.554"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Unified Compliance Modeling and Management using Compliance Descriptors

Falko Koetter, Maximilien Kintz, Monika Kochanowski, Christoph Fehling, Philipp Gildein, Frank Leymann, Anette Weisbecker
<span title="">2016</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/egja5a7hlzbhngovnyrfrkkus4" style="color: black;">Proceedings of the 6th International Conference on Cloud Computing and Services Science</a> </i> &nbsp;
This descriptor is used to configure a compliance management architecture, integrating different types of compliance checking.  ...  Due to a growing number of regulations, managing business process compliance in this cloud environment is a necessary task for companies, leading to a growth in compliance management and compliance checking  ...  ACKNOWLEDGEMENTS The work published in this article was funded by the Co.M.B. project of the Deutsche Forschungsgemeinschaft (DFG) under the promotional reference SP 448/27-1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005754501590170">doi:10.5220/0005754501590170</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/closer/KoetterKKFGLW16.html">dblp:conf/closer/KoetterKKFGLW16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vwlfi4l3kffjbfcsouukvmv6cm">fatcat:vwlfi4l3kffjbfcsouukvmv6cm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190225103136/http://pdfs.semanticscholar.org/6cb7/f884595901de404711f5f9ea2cb2b62dc84a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6c/b7/6cb7f884595901de404711f5f9ea2cb2b62dc84a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005754501590170"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

DevelopMate: A new paradigm for information system enabling

K. P. Hein
<span title="">1990</span> <i title="IBM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kj3pclsbb5d3xpd5kqlzmvxa54" style="color: black;">IBM Systems Journal</a> </i> &nbsp;
integrated data systems in a very short time.  ...  RM is used to completely integrate every aspect of the enterprise model, including poli- cies, screen and report formats, and enterprise analy- sis Outputs (such as process and data models).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.292.0250">doi:10.1147/sj.292.0250</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/42arw6vpznentp4nxnadarcs4y">fatcat:42arw6vpznentp4nxnadarcs4y</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_ibm-systems-journal_1990_29_2/page/250" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_ibm-systems-journal_1990_29_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.292.0250"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

An ontology-based methodology for supporting knowledge-intensive multi-discipline engineering processes

Thomas Moser, Richard Mordinyi, Stefan Biffl
<span title="">2010</span> <i title="ACM Press"> Ontology-Driven Software Engineering on - ODiSE&#39;10 </i> &nbsp;
The EKB stores explicit engineering knowledge to support access to and management of engineering models across tools and disciplines by providing a) data integration based on mappings between local and  ...  As a result experts from different organizations may use their well-known tools and data models, and can access data from other tools in their syntax.  ...  This work has been partially funded by the Vienna University of Technology, in the Complex Systems Design and Engineering Lab.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1937128.1937130">doi:10.1145/1937128.1937130</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zren545ddredhmelysnsopzoni">fatcat:zren545ddredhmelysnsopzoni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921221543/http://www.ifs.tuwien.ac.at/%7Emordinyi/papers/2010odise.pdf?origin%3Dpublication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/8f/d18f9eb15790bde12c91929b42140b1cdb6d582b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1937128.1937130"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

HighSpec

J. S. Dong, P. Hao, X. Zhang, S. C. Qin
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceeding of the 28th international conference on Software engineering - ICSE &#39;06</a> </i> &nbsp;
HighSpec is an interactive system for composing and checking OZTA specifications. The integrated high level specification language, OZTA, is a combination of Object-Z (OZ) and Timed Automata (TA).  ...  ., using a set of composable timed patterns to capture high level timing requirements and process behaviors and generate the TA part of model in a top-down way.  ...  Acknowledgements We would like to thank Chen Qian, and He Kang for their part of work on the coding of HighSpec.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134285.1134409">doi:10.1145/1134285.1134409</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/DongHZQ06.html">dblp:conf/icse/DongHZQ06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gq3xteaqo5ex7jfd4ablfvdiiu">fatcat:gq3xteaqo5ex7jfd4ablfvdiiu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120120120912/http://www.scm.tees.ac.uk/s.qin/papers/icse06-tool-demo.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6f/de/6fdec9ab154b4212e3b864a23d813ab2ece5d154.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134285.1134409"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Business Process Compliance through Reusable Units of Compliant Processes [chapter]

David Schumm, Oktay Turetken, Natallia Kokash, Amal Elgammal, Frank Leymann, Willem-Jan van den Heuvel
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Furthermore, we discuss the formalization of compliance requirements using mathematical logics and integrate the framework for process reuse with automated software verification tools.  ...  Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements originating from laws,  ...  Many thanks go to Huy Tran for the development of the process model of the loan origination scenario.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16985-4_29">doi:10.1007/978-3-642-16985-4_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/duz2xac665f7po2zdw37hbp3oi">fatcat:duz2xac665f7po2zdw37hbp3oi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130203080451/http://homepages.cwi.nl:80/~kokash/documents/ESW10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/70/a0/70a0d8bc693a30b5ae084e995f5138242d378609.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16985-4_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,163,092 results