A. Appendix, Business Process Ontology 32 C l a s s A s s e r t i o n ( qa : T r a n s i t i o n qa

A. Appendix, Business Process Ontology 95 O b j e c t P r o p e r t y A s s e r t i o n ( qa : h a s S o u r c e P l a c e qa : i $ ?$arc$ ?$9 qa, p.7

F. [. Alferes, A. Banti, and . Brogi, An Event-Condition-Action Logic Programming Language, pp.29-42, 2006.
DOI : 10.1007/11853886_5

URL : http://cilc2006.di.uniba.it/download/camera/09_Alferes_CILC06.pdf

[. Atkinson, J. Bayer, and D. Muthig, Component-Based Product Line Development: The KobrA Approach, pp.289-309, 2000.
DOI : 10.1007/978-1-4615-4339-8_16

URL : http://www-agce.informatik.uni-kl.de/publications/splcl.pdf

A. April, J. Desharnais, and R. R. Dumke, A formalism of ontology to support a software maintenance knowledgebased system, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), pp.331-336, 2006.

A. April, J. Desharnais, and R. R. Dumke, A formalism of ontology to support a software maintenance knowledgebased system, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), pp.331-336, 2006.

]. A. Adsdlds04a, D. C. Ambrosio, F. N. De-santos, J. C. De-lucena, and . Da-silva, Software engineering documentation: an ontology-based approach

A. Awad, G. Decker, and M. Weske, Efficient Compliance Checking Using BPMN-Q and Temporal Logic, Business Process Management, 6th International Conference, pp.326-341, 2008.
DOI : 10.1007/11912873_18

URL : https://www.researchgate.net/profile/Ahmed_Awad10/publication/221586020_Efficient_Compliance_Checking_Using_BPMN-Q_and_Temporal_Logic/links/02bfe50c99af899bc4000000.pdf

[. Antunes, P. Gomes, and N. Seco, Srs: A software reuse system based on the semantic web, p.29

[. Arbab, N. Kokash, and S. Meng, Towards using reo for compliance-aware business process modeling In Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium Proceedings, pp.108-123, 2008.

. Nacer, A Domain Ontology for Software Process Architecture Description, 7th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01064919

J. [. Akerman and . Tyree, Using ontology to support development of software architectures, IBM Systems Journal, vol.45, issue.4, pp.813-825, 2006.
DOI : 10.1147/sj.454.0813

A. Awad and M. Weske, Visualization of Compliance Violation in Business Process Models, pp.182-193, 2010.
DOI : 10.1007/978-3-642-12186-9_17

]. D. Bau93 and . Bauer, A reusable parts center [technical forum], IBM Systems Journal, vol.32, issue.4, pp.620-624, 1993.

P. Kevin, M. A. Brown, and . Capretz, ODEP-DPS: ontologydriven engineering process for the collaborative development of semantic data providing services, Information & Software Technology, vol.55, issue.9, pp.1563-1579

]. K. Bdpl03, J. C. Breitman, and . Do-prado-leite, Ontology as a requirements engineering product, Proceedings. 11th IEEE International Requirements Engineering Conference, pp.309-319, 2003.

A. [. Bhatia, R. Kumar, and . Beniwal, Ontologies for Software Engineering: Past, Present and Future, Indian Journal of Science and Technology, vol.9, issue.9, p.2016
DOI : 10.17485/ijst/2016/v9i9/71384

A. Bulanov, M. Lazovik, and . Aiello, Business process customization using process merging techniques, 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), pp.1-4, 2011.
DOI : 10.1109/SOCA.2011.6166255

[. Bürger, Putting business intelligence into documents, Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, held in conjunction with the 3rd European Semantic Web Conference, 2007.

M. Roveri and . Nusmv, A new symbolic model verifier, Computer Aided Verification, 11th International Conference, CAV '99 Proceedings, pp.495-499, 1999.

[. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

]. J. Ck07a, J. W. Caralt, and . Kim, Ontology driven requirements query

J. Conesa, C. , and J. Kim, Ontology driven requirements query, 40th Hawaii International International Conference on Systems Science CD-ROM / Abstracts Proceedings, pp.3-6, 2007.

W. Vanhoof, Declarative workflows to efficiently manage flexible and advanced business processes, Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp.209-218, 2010.

C. [. Dietrich and . Elgar, A Formal Description of Design Patterns Using OWL, 2005 Australian Software Engineering Conference, pp.243-250, 2005.
DOI : 10.1109/ASWEC.2005.6

A. Duque-ramos, J. Tomás-fernández-breis, R. Stevens, and N. Aussenac-gilles, Oquare: A square-based approach for evaluating the quality of ontologies, Journal of Research and Practice in Information Technology, vol.43, issue.2, pp.159-176

D. Davide, L. Aprile, V. Giordano, A. Gliozzi, G. L. Martelli et al., Verifying compliance of business processes with temporal answer sets, Proceedings of the 26th Italian Conference on Computational Logic, pp.147-161, 2011.

K. A. De-graaf, P. Liang, A. Tang, W. R. Van-hage, H. Van et al., An exploratory study on ontology engineering for software architecture documentation, Computers in Industry, vol.65, issue.7, pp.1053-1064
DOI : 10.1016/j.compind.2014.04.006

]. K. De-graaf, A. Tang, P. Liang, H. Van, and . Vliet, Ontologybased software architecture documentation, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp.121-130, 2012.

[. Dl, https://www.obitko.com/tutorials/ontologies-semanticweb/owl-dl-semantics .html

]. A. End93 and . Endres, Lessons learned in an industrial software lab (software development), IEEE Software, vol.10, issue.5, pp.58-61, 1993.

C. Ricardo-de-almeida-falbo, A. Silva-de-menezes, C. Regina, and . Da-rocha, A Systematic Approach for Building Ontologies, pp.349-360, 1998.

[. Förster, G. Engels, and T. Schattkowsky, Activity Diagram Patterns for Modeling Quality Constraints in Business Processes, 8th International Conference, MoDELS 2005 Proceedings, pp.2-16, 2005.
DOI : 10.1007/11557432_2

K. [. Frakes and . Kang, Software reuse research: status and future, IEEE Transactions on Software Engineering, vol.31, issue.7, pp.31529-536, 2005.
DOI : 10.1109/TSE.2005.85

A. M. Figueiredo, J. C. Reis, and M. A. Rodrigues, Improving Access to Software Architecture Knowledge: An Ontology-based Search Approach, International Journal of Multimedia and Image Processing, vol.3, issue.1/2
DOI : 10.20533/ijmip.2042.4647.2013.0018

URL : http://www.infonomics-society.org/IJMIP/IJMIP_Paper 3.pdf

]. M. Gfd98, J. Griss, and M. Favaro, Integrating feature modeling with the rseb, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203), pp.76-85, 1998.

[. Governatori, F. Olivieri, S. Scannapieco, and M. Cristani, Designing for Compliance: Norms and Goals, Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011-America Proceedings, pp.282-297, 2011.
DOI : 10.1145/1165485.1165490

A. Gangemi, S. Peroni, D. Shotton, and F. Vitali, A pattern-based ontology for describing publishing workflows, Proceedings of the 5th International Conference on Ontology and Semantic Web Patterns, pp.2-13, 2014.

J. Z. Gröner, Y. Pan, E. F. Zhao, L. Kendall, and . Stojanovic, Introduction to the Proceedings of the 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) 2013, Service-Oriented Computing -ICSOC 2013
DOI : 10.1007/978-3-319-06859-6_19

C. Workshops-ccsa, . Pasceb, W. Swese, and P. Symposium, Revised Selected Papers, pp.223-224, 2013.

]. M. Gri94 and . Griss, Software reuse experience at hewlett-packard, Proceedings of 16th International Conference on Software Engineering, p.270, 1994.

M. [. Griss and . Wosser, Making reuse work at Hewlett-Packard, IEEE Software, vol.12, issue.1
DOI : 10.1109/52.363160

S. Henninger and P. Ashokkumar, An ontology-based infrastructure for usability design patterns, Proc. Semantic Web Enabled Software Engineering (SWESE, pp.41-55, 2005.

[. Henninger, P. Ashokkumar, S. Henninger, and P. Ashokkumar, An ontology-based metamodel for software patterns, Proceeding of the 18 th International Conference on Software Engineering and Knowledge Engineering (SEKE2006, pp.5-7

]. J. Hjl-+-07, Y. Han, Z. Jin, T. Li, J. Phan et al., Guiding the service composition process with temporal business rules, IEEE International Conference on Web Services, pp.735-742, 2007.

[. Happel, A. Korthaus, S. Seedorf, and P. Tomczyk, Kontor: An ontology-enabled approach to software reuse, In IN: PROC. OF THE 18TH INT. CONF. ON SOFTWARE ENGI- NEERING AND KNOWLEDGE ENGINEERING, vol.38, p.29, 2006.

[. Hawker, H. M. Hong-ma, and R. K. Smith, A web-based process and process models to find and deliver information to improve the quality of flight software DASC '03. The 22nd, Digital Avionics Systems Conference, pp.3-3, 2003.

J. Gerard and . Holzmann, The SPIN Model Checker -primer and reference manual, 2004.

[. Henderson-sellers, C. Gonzalez-perez, T. Mcbride, and G. Low, An ontology for ISO software engineering standards: 1) Creating the infrastructure, Computer Standards & Interfaces, vol.36, issue.3, pp.563-576, 2014.
DOI : 10.1016/j.csi.2013.11.001

URL : https://opus.lib.uts.edu.au/bitstream/10453/33146/1/CSI%20paper%20for%20UTS%20archive.pdf

D. [. Hyland-wood, S. Carrington, and . Kaplan, Toward a Software Maintenance Methodology using Semantic Web Techniques, 2006 Second International IEEE Workshop on Software Evolvability (SE'06), pp.23-30, 2006.

C. [. Jorgensen and . Bossen, Executable use cases: requirements for a pervasive health care system, IEEE Software, vol.21, issue.2, pp.34-41, 2004.
DOI : 10.1109/MS.2004.1270759

[. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process, 1999.

C. Kiefer and A. Bernstein, Analyzing software with isparql, Proc. of the 3rd Int. Ws. on Semantic Web Enabled Software Engineering, 2007.

A. Khamparia, Performance Analysis of SPARQL and DL-Query on Electromyography Ontology, Indian Journal of Science and Technology, vol.8, issue.17, p.2015
DOI : 10.17485/ijst/2015/v8i17/54090

C. Kyo, S. Kang, J. Kim, K. Lee, E. Kim et al., Form: A feature-;oriented reuse method with domain-;specific reference architectures, Annals of Software Engineering, vol.5, issue.1, p.143, 1998.

M. Jochen, K. Küster, H. Ryndina, and . Gall, Generation of Business Process Models for Object Life Cycle Compliance, pp.165-181, 2007.

R. [. Lee and . Gandhi, Ontology-based active requirements engineering framework, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005.
DOI : 10.1109/APSEC.2005.86

L. Liao, K. N. Hareton, and . Leung, A software process ontology and its application, Semantic Web Enabled Software Engineering, pp.207-217

[. Mascardi, V. Cordì, and P. Rosso, A comparison of upper ontologies, 2006.

M. [. Morisio, C. Ezran, and . Tully, Success and failure factors in software reuse, IEEE Transactions on Software Engineering, vol.28, issue.4, pp.340-357, 2002.
DOI : 10.1109/TSE.2002.995420

A. [. Murugesh and . Jaya, Construction of Ontology for Software Requirements Elicitation, Indian Journal of Science and Technology, vol.8, issue.29, p.2015
DOI : 10.17485/ijst/2015/v8i29/86271

E. Maedche and S. Staab, Ontology learning for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.72-79, 2001.
DOI : 10.1109/5254.920602

J. Milne and N. , Software Construction Using Components

[. Namiri, N. Stojanovic-coopis, . Doa, G. Odbase, I. Coopis et al., Pattern-Based Design and Validation of Business Process Compliance, On the Move to Meaningful Internet Systems Proceedings, Part I, pp.59-76, 2007.
DOI : 10.1007/978-3-540-76848-7_6

E. Pulvermüller, S. Feja, and A. Speck, Developer-friendly verification of process-based systems, Knowledge-Based Systems, vol.23, issue.7, pp.667-676, 2010.
DOI : 10.1016/j.knosys.2010.03.005

M. A. Rothenberger, K. J. Dooley, U. R. Kulkarni, and N. Nada, Strategies for software reuse: a principal component analysis of reuse practices, Ontology-Based Approach for Modelling Architectural Styles, pp.825-837, 2003.
DOI : 10.1109/TSE.2003.1232287

C. David and . Rine, Success factors for software reuse that are applicable across domains and businesses, Proceedings of the 1997 ACM Symposium on Applied Computing, SAC '97, pp.182-186, 1997.

[. Roth and E. Klein, Parsing Software Requirements with an Ontology-based Semantic Role Labeler, pp.15-21

]. T. Sak06 and . Sakalo, Ontology modeling and supporting software system implementation for the informnation sharing processes within labour market, 2006 International Conference -Modern Problems of Radio Engineering, Telecommunications, and Computer Science, pp.103-104, 2006.

[. Schleicher, T. Anstett, F. Leymann, and R. Mietzner, Maintaining Compliance in Customizable Process Models, pp.60-75, 2009.
DOI : 10.1007/978-3-642-05148-7_7

[. Schmidt, C. Bartsch, and R. Oberhauser, Ontologybased representation of compliance requirements for service processes, Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management SBPM 2007, held in conjunction with the 3rd European Semantic Web Conference, 2007.

. Simos, C. Creps, . Klingler, D. Levine, and . Allemang, Organization Domain Modeling (ODM) Guidebook Version 2.0, p.32, 1996.
DOI : 10.1145/223427.211845

. Sem-], SQu] International organization for standardization (iso) iso, p.25000

D. Schumm, O. Türetken, and N. Kokash, Amal Elgammal , Frank Leymann, and Willem-Jan van den Heuvel. Business process compliance through reusable units of compliant processes

. P. Stm, Y. Spyns, R. Tang, and . Meersman, A model theory inspired collaborative ontology engineering methodology, Journal of Applied Ontology

. Swr-], Semantic web rule language. https://www.w3.org/Submission

[. Thaddeus and S. V. Kasmir-raja, Ontology-driven model for knowledge-based software engineering, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), pp.337-342, 2006.

T. [. Babu, M. Seetha-ramaiah, T. V. Prabhakar, and D. Rambabu, ArchVoc--Towards an Ontology for Software Architecture, Second Workshop on Sharing and Reusing Architectural Knowledge, Architecture, Rationale, and Design Intent (SHARK/ADI'07: ICSE Workshops 2007), pp.5-5, 2007.
DOI : 10.1109/SHARK-ADI.2007.5

M. Uschold and R. Jasper, A framework for understanding and classifying ontology applications, 1999.

M. Uschold, Knowledge level modelling: concepts and terminology, The Knowledge Engineering Review, vol.13, issue.1, pp.5-29, 1998.
DOI : 10.1017/S0269888998001040

M. P. Wil and . Van-der-aalst, The application of petri nets to workflow management, Journal of Circuits, Systems, and Computers, vol.8, issue.49, pp.21-66, 1998.

[. Wang, N. Guarino, G. Guizzardi, and J. Mylopoulos, Towards an ontology of software: a requirements engineering perspective, Formal Ontology in Information Systems -Proceedings of the Eighth International Conference, pp.317-329, 2014.

H. H. Wang, Y. Li, J. Sun, H. Zhang, and J. Pan, Verifying feature models using OWL, Web Semantics: Science, Services and Agents on the World Wide Web, pp.117-129, 2007.
DOI : 10.1016/j.websem.2006.11.006

[. Witte, Y. Zhang, and J. Rilling, Empowering Software Maintainers with Semantic Web Technologies, European Semantic Web Conf, pp.37-52, 2007.
DOI : 10.1007/978-3-540-72667-8_5

J. Yu, Y. Han, J. Han, Y. Jin, P. Falcarin et al., Synthesizing Service Composition Models on the Basis of Temporal Business Rules, Journal of Computer Science and Technology, vol.29, issue.2, pp.885-894, 2008.
DOI : 10.1007/s11390-008-9196-x

J. Wang, Pattern based property specification and verification for service composition, Web Information Systems, 2006.