, Essential Principles for Workow Modelling Eectiveness, PACIS, page 15, 1997.
, Beyond Web 2.0 ??? and Beyond the Semantic Web, From CSCW to Web 2.0: European Developments in Collaborative Design, Computer Supported Cooperative Work, p.155171, 2010.
DOI : 10.1007/978-1-84882-965-7_8
, Request for Comments: 3986: Uniform Resource Identier (URI): Generic Syntax, 2005.
, Reactive Rules on the Web, Grigoris Antoniou, p.183239, 2007.
DOI : 10.1007/978-3-540-74615-7_3
, Applying Propositional Logic to Workow Verication, Information Technology and Management, vol.5, issue.3-4, p.293318, 2004.
, Rule Interchange on the Web, Grigoris Antoniou, p.269309, 2007.
DOI : 10.1007/978-3-540-74615-7_5
, Unied Modeling Language User Guide, The (2Nd Edition) (Addison-Wesley Object Technology Series), 2005.
, Ten Theses on Logic Languages for the Semantic Web, Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005 Proceedings, p.4249, 2005.
DOI : 10.1007/11552222_5
, Characterization of timed well-formed Petri nets behavior by means of occurrence equations, Proceedings 6th International Workshop on Petri Nets and Performance Models, 1995.
DOI : 10.1109/PNPM.1995.524323
, Patterns in Property Specications for Finite-state Verication, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pp.411420-71, 1999.
, Measuring Similarity between Semantic Business Process Models In Conceptual Modelling, Proceedings of the Fourth Asia-Pacic Conference on Conceptual Modelling (APCCM2007) Proceedings, p.7180, 2007.
, Modeling and Enactment of Workow Systems, Application and Theory of Petri Nets, p.116, 1993.
, Constructing customized process views, Data Knowl. Eng, vol.64, issue.2, p.419438, 2008.
, Reduction and Synthesis of Live and Bounded Free Choice Petri Nets, Information and Computation, vol.114, issue.1, pp.5087-86, 1994.
DOI : 10.1006/inco.1994.1080
, BAM: A Requirements Validation and Verification Framework for Business Process Models, 2011 11th International Conference on Quality Software, p.186191, 2011.
DOI : 10.1109/QSIC.2011.33
, A Query- Driven Approach for Checking the Semantic Correctness of Ontology-Based Process Representations, BIS, p.6273, 2011.
, Verication of Business Process Quality Constraints Based on Visual Process Patterns, Theoretical Aspects of Software Engineering TASE '07. First Joint IEEE/IFIP Symposium on, 2007.
, Designing Compliant Business Processes with Obligations and Permissions, Business Process Management Workshops Proceedings, p.514, 2006.
, The Business Rules Group, GUIDE Business Rules Project -Final Report. Rapport technique, 2000.
, A Survey of Decidable First-Order Fragments and Description Logics, Journal of Relational Methods in Computer Science, vol.1, p.2004, 2004.
, From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workow system, Bibliography, vol.10, issue.1, p.1528, 2008.
, Pattern-Based Modeling and Formalizing of Business Process Quality Constraints, Advanced Information Systems Engineering, p.521535, 2011.
DOI : 10.1007/978-3-642-21640-4_39
, On Enabling Data-Aware Compliance Checking of Business Process Models, Jerey Parsons, p.332346, 2010.
DOI : 10.1007/s00450-009-0068-6
, Improving the process of process modelling by the use of domain process patterns, Enterprise Information Systems, vol.177, issue.2, pp.2957-2015, 2015.
DOI : 10.1007/978-3-540-40022-6_1
, On Complete Reducibility of Some Classes of Petri Nets, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, pp.352366-352402, 1990.
, The practitioner's guide to coloured Petri nets, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.2, p.98132, 1998.
DOI : 10.1007/s100090050021
, Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing, RuleML, pp.5065-73, 2010.
DOI : 10.1007/s00450-009-0057-9
, On the refactoring of activity labels in business process models, Inf. Syst, vol.37, issue.5, pp.443459-2012
, Service-Oriented Architecture for VIEW: A Visual Scientific Workflow Management System, 2008 IEEE International Conference on Services Computing, p.335342, 2008.
DOI : 10.1109/SCC.2008.118
, Automatic workflow verification and generation, Theoretical Computer Science, vol.353, issue.1-3, pp.71-92, 2006.
DOI : 10.1016/j.tcs.2005.10.035
URL : http://doi.org/10.1016/j.tcs.2005.10.035
, Compliance Aware Business Process Design, Business Process Management Workshops, p.120131, 2008.
DOI : 10.1007/978-3-540-78238-4_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.1981
, On managing business processes variants, Data & Knowledge Engineering, vol.68, issue.7, p.642664, 2009.
DOI : 10.1016/j.datak.2009.02.009
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.8908
, Scientic Workows: Business as Usual?, 2009.
, Reijers, editeurs, Business Process Management, Lecture Notes in Computer Science, vol.5701, p.3147, 2009.
, Integration and verication of semantic constraints in adaptive process management systems, 2008.
, On enabling integrated process compliance with semantic constraints in process management systems -Requirements, challenges, solutions, Information Systems Frontiers, vol.14, issue.2, pp.195219-2012, 2012.
, Towards a Formal Framework for Reuse in Business Process Modeling, Proceedings 144 Bibliography of the 2007 International Conference on Business Process Management, BPM'07, p.484495, 2008.
DOI : 10.1007/978-3-540-78238-4_49
, Business Process Design by View Integration, Business Process Management Workshops Proceedings, p.5564, 2006.
DOI : 10.1007/11837862_7
, Activity labeling in process modeling: Empirical insights and recommendations, Information Systems, vol.35, issue.4, p.467482, 2010.
DOI : 10.1016/j.is.2009.03.009
, Pattern-Based Design and Validation of Business Process Compliance, On the Move to Meaningful Internet Systems OTM Confederated International Conferences CoopIS Proceedings, Part I, p.5976, 2007.
DOI : 10.1007/978-3-540-76848-7_6
, Representation of RDF-Oriented Composition with OWL DL Ontology, 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), p.147150, 2013.
DOI : 10.1109/WI-IAT.2013.170
URL : https://hal.archives-ouvertes.fr/hal-00904335
, Ensuring the Semantic Correctness of Workow Processes: An Ontological Approach, Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Articial Intelligence (ECAI 2014), volume 1289. CEUR Workshop Proceedings, pp.10-73, 2014.
, An Ontology-Enabled Approach for Modelling Business Processes, Beyond Databases, Architectures , and Structures, pp.139147-139157, 2014.
DOI : 10.1007/978-3-319-06932-6_14
URL : https://hal.archives-ouvertes.fr/hal-01018376
, Coloured Petri Netsbased Approach for Manipulating RDF Data, Journal of Automation and Control Engineering, vol.3, issue.2, p.171177, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01018423
, Modelling work distribution mechanisms using Colored Petri Nets, STTT, vol.9, issue.3-4, p.327352, 2007.
, Analyzing process models using graph reduction techniques, The 11th International Conference on Advanced Information System Engineering. (Cited on page 93, pp.117-134, 2000.
DOI : 10.1016/S0306-4379(00)00012-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.737
, Specication and validation of process constraints for exible workows, Information Systems, vol.30, issue.5, pp.349-378, 2005.
, In Knowledge Engineering: Practice and Patterns, 16th International Conference. Proceedings, p.318328, 2008.
, Upgraded Petri net model and analysis of adaptive and static arithmetic coding, Mathematical and Computer Modelling, vol.58, issue.7-8, pp.15481562-2013, 2013.
DOI : 10.1016/j.mcm.2013.06.001
, Agent-Oriented Enterprise Modeling Based on Business Rules, Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling, ER '01, p.527540, 2001.
DOI : 10.1007/3-540-45581-7_39
, Eindhoven University of Technology 2013] The AIS group
, Semantic Process Modeling - Design and Implementation of an Ontology-based Representation of Business Processes, Business & Information Systems Engineering, vol.1, issue.6, pp.438451-438493, 2009.
, Semantic Process Modeling - Design and Implementation of an Ontology-based Representation of Business Processes, Business & Information Systems Engineering, vol.1, issue.6, p.438451, 2009.
, Verication of Workow Nets, Proceedings of the 18th International Conference on Balbo Petri Nets, ICATPN '97, pp.407426-407443, 1997.
, The Application of Petri Nets to Workow Management, Journal of Circuits, Systems, and Computers, vol.8, issue.1, pp.2166-2182, 1998.
, Verication Of Workow Task Structures: A Petri-net-baset Approach, Inf. Syst, vol.25, issue.92, pp.4369-4386, 2000.
, Workow Patterns: On the Expressive Power of (Petri-net-based) Workow Languages
, Workow management: Models, methods, and systems, 2002.
, Business Process Management Demystied: A Tutorial on Models, Systems and Standards for Workow Management In Lectures on Concurrency and Petri Nets Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, p.165, 2003.
, Achieving Business Process Flexibility with Business Rules, 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp.95104-95122, 2008.
DOI : 10.1109/EDOC.2008.23
, Diagnosing Workow Processes using Woan, The Computer Journal, vol.44, issue.92, pp.246279-79, 2001.
, How to Design a General Rule Markup Language? In XML Technologien FÜR Das Semantic Web -XSW, Proceedings Zum Workshop, 1937.
, Beyond soundness: on the verication of semantic business process models, Distributed and Parallel Databases, p.271343, 2010.
, Workow Languages, Handbook on Architectures of Information Systems, International Handbooks on Information Systems, p.359379, 1998.
, Business versus Scientic Workows: A Comparative Study, Services -I, 2009 World Conference on, p.340343, 2009.
, Representation of Petri net with OWL DL ontology, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), p.13961400, 2011.
DOI : 10.1109/FSKD.2011.6019803