Integrating four-dimensional ontology and systems requirements modelling

References

• Allen, J. 1983. “Maintaining Knowledge about Temporal Intervals.” Communications of the ACM 26 (11): 832–843. doi: 10.1145/182.358434
   Web of Science ®Google Scholar
• Ameri, F., Debasish, D., 2006. “An Upper Ontology for Manufacturing Service Description.” In Proceedings of the 26th Computers and Information in Engineering Conference (Sep), 651–661. doi:10.1115/DETC2006-99600.
   Google Scholar
• Arp, R., B. Smith, and A. Spear. 2015. Building Ontologies with Basic Formal Ontology. Cambridge, MA: MIT Press.
   Google Scholar
• Baader, F., D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. 2010. The Description Logic Handbook: Theory, Implementation, and Applications. 2nd ed. New York: Cambridge University Press. doi:10.1017/CBO9780511711787.
   Google Scholar
• Banach, R., H. Zhu, W. Su, and R. Huang. 2014. “Continuous KAOS, ASM, and Formal Control System Design across the Continuous/Discrete Modeling Interface.” Formal Aspects of Computing 26 (2): 319–366. doi:10.1007/s00165-012-0263-2.
   Web of Science ®Google Scholar
• Barbedienne, R., Penas, O., Choley, J., Rivière, A., Warniez, A., Monica, F., 2014. “Introduction of Geometrical Constraints Modeling in SysML for Mechatronic Design.” In Proceedings of 10th France-Japan/8th Europe-Asia Congress on Mechatronics. doi:10.1109/MECATRONICS.2014.7018580.
   Google Scholar
• Benavides, D., S. Segura, and A. Ruiz-Corte. 2010. “Automated Analysis of Feature Models 20 Years Later: A Literature Review.” Information Systems 35 (6): 615–636. doi:10.1016/j.is.2010.01.001.
   Web of Science ®Google Scholar
• Berardi, D., D. Calvanese, and G. De Giacomo. 2005. “Reasoning on UML Class Diagrams.” Artificial Intelligence 168 (1-2): 70–118. doi:10.1016/j.artint.2005.05.003.
   Web of Science ®Google Scholar
• Bernard, Y. 2012. “Requirements Management within a Full Model-Based Engineering Approach.” Systems Engineering 15 (2): 119–139. doi:10.1002/sys.20198.
   Web of Science ®Google Scholar
• Bock, C. 2000. “A More Object-oriented State Machine.” Journal of Object-Oriented Programming 12 (8): 36–38.
   Google Scholar
• Bock, C. 2003a. “UML 2 Activity and Action Models.” Journal of Object Technology 2 (4): 43–53. doi:10.5381/jot.2003.2.4.c3.
   Google Scholar
• Bock, C. 2003b. “UML without Pictures.” IEEE Software Special Issue on Model-Driven Development 20 (5): 33–35. doi:10.1109/MS.2003.1231148.
   Web of Science ®Google Scholar
• Bock, C. 2004. “UML 2 Composition Model.” Journal of Object Technology 3 (10): 47–73. doi:10.5381/jot.2004.3.10.c5.
   Google Scholar
• Bock, C. 2005a. “Systems Engineering in the Product Lifecycle.” International Journal of Product Development 2 (1): 123–137. doi:10.1504/IJPD.2005.006672.
   Google Scholar
• Bock, C. 2013. “Componentization in the Systems Modeling Language.” Systems Engineering 17 (4): 392–406. doi:10.1002/sys.21276.
   Web of Science ®Google Scholar
• Bock, C., R. Barbau, I. Matei, and M. Dadfarnia. 2017. “An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation.” Systems Engineering 20 (5): 395–431. doi:10.1002/sys.21380.
   Web of Science ®Google Scholar
• Bock, C., and M. Gruninger. 2005b. “PSL: A Semantic Domain for Flow Models.” Journal on Software and Systems Modeling 4 (2): 209–231. doi:10.1007/s10270-004-0066-x.
   Google Scholar
• Bock, C., M. Gruninger, D. Libes, J. Lubell, and E. Subrahmanian. 2006. Evaluating Reasoning Systems. U.S National Institute of Standards and Technology Interagency Report 7310. doi:10.6028/NIST.IR.7310.
   Google Scholar
• Bock, C., and J. Odell. 2011. “Ontological Behavior Modeling.” Journal of Object Technology 10 (3): 1–36. doi:10.5381/jot.2011.10.1.a3.
   Google Scholar
• Bock, C., X. Zha, H. Suh, and J. Lee. 2009. Ontological Product Modeling for Collaborative Design. U.S. National Institute of Standards Interagency Report 7643. doi:10.6028/NIST.IR.7643.
   Google Scholar
• Bock, C., X. Zha, H. Suh, and J. Lee. 2010. “Ontological Product Modeling for Collaborative Design.” Advanced Engineering Informatics 24 (4): 510–524. doi:10.1016/j.aei.2010.06.011.
   Web of Science ®Google Scholar
• Borgida, A., and R. Brachman. 2010. “Conceptual Modeling with Description Logics.” In The Description Logic Handbook: Theory, Implementation, and Applications, edited by F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, 375–401. New York: Cambridge University Press.
   Google Scholar
• Borgo, S., and C. Masolo. 2010. “Ontological Foundations of Dolce.” In Theory and Applications of Ontology: Computer Applications, edited by R. Poli, M. Healy, and A. Kameas, 279–295. Dordrecht: Springer.
   Google Scholar
• Buhne, S., Lauenroth, K., Pohl, K., 2004. “Why is it not Sufficient to Model Requirements Variability with Feature Models?” In Proceedings of Automotive Requirements Engineering Workshop, 5–12.
   Google Scholar
• Castaneda, V., L. Ballejos, L. Caliusco, and R. Galli. 2010. “The Use of Ontologies in Requirements Engineering.” Global Journal of Researches in Engineering 10 (6): 2–6.
   Google Scholar
• Catterson, V., Davidson, E., McArthur, S., 2005. “Issues in Integrating Existing Multi-Agent Systems for Power Engineering Applications”, In Proceedings of the 13th International Conference on Intelligent Systems Application to Power Systems (Nov). doi:10.1109/ISAP.2005.1599296.
   Google Scholar
• Chen, R., Y. Liu, Y. Cao, J. Zhao, L. Yuan, and H. Fan. 2018. “ArchME: A Systems Modeling Language Extension for Mechatronic System Architecture Modeling.” Artificial Intelligence for Engineering Design Analysis and Manufacturing 32 (1): 75–91. doi:10.1017/S0890060417000245.
   Web of Science ®Google Scholar
• Chen, S., J. Yi, H. Jiang, and X. Zhu. 2016. “Ontology and CBR Based Automated Decision-Making Method for the Disassembly of Mechanical Products.” Advanced Engineering Informatics 30 (3): 564–584. doi:10.1016/j.aei.2016.06.005.
   Web of Science ®Google Scholar
• Classen, A., Heymans, P., Schobbens, P., 2008. “What’s in a Feature: A Requirements Engineering Perspective.” In Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (Mar–Apr), 16–30.
   Google Scholar
• Cohn, A., and A. Varzi. 2003. “Mereotopological Connection.” Journal of Philosophical Logic 32 (4): 357–390. doi:10.1023/A:1024895012224.
   Web of Science ®Google Scholar
• Czarnecki, K., and U. Eisenecker. 2000. Generative Programming: Methods, Tools, and Applications. Boston: Addison-Wesley.
   Google Scholar
• Dermeval, D., J. Vilela, J. Castro, S. Isotani, P. Brito, and A. Silva. 2016. “Applications of Ontologies in Requirements Engineering: A Systematic Review of the Literature.” Requirements Engineering 21 (4): 405–437. doi:10.1007/s00766-015-0222-6.
   Web of Science ®Google Scholar
• Dorf, R., and R. Bishop. 2017. Modern Control Systems. 13th ed. London: Pearson.
   Google Scholar
• Dvorak, D., Amador, A., Starbird, T., 2008. “Comparison of Goal-Based Operations and Command Sequencing,” In Proceedings of the SpaceOps Conference, AIAA-2008-3335 (May). doi:10.2514/6.2008-3335.
   Google Scholar
• Fiorentini, X., S. Rachuri, H. Suh, J. Lee, and R. Sriram. 2010. “An Analysis of Description Logic Augmented with Domain Rules for the Development of Product Models.” Journal of Computing and Information Science in Engineering 10 (2): 021008–021008-13. doi:10.1115/1.3385794.
   Web of Science ®Google Scholar
• Flatscher, R. 2002. “Metamodeling in EIA/CDIF—Meta-metamodel and Metamodels.” Association of Computing Machinery Transactions on Modeling and Computer Simulation 12 (4): 322–342. doi:10.1145/643120.643124.
   Google Scholar
• Fortineau, V., T. Paviot, and S. Lamouri. 2013. “Improving the Interoperability of Industrial Information Systems with Description Logic-Based Models - The State of the art.” Computers in Industry 64 (4): 363–375. doi:10.1016/j.compind.2013.01.001.
   Web of Science ®Google Scholar
• Fowler, M. 2010. Domain-Specific Languages. Boston: Addison-Wesley.
   Google Scholar
• Friedenthal, S., A. Moore, and R. Steiner. 2014. A Practical Guide to SysML. 3rd ed. Waltham: Morgan Kaufman OMG Press.
   Google Scholar
• Friedenthal, S., and C. Oster. 2017. Architecting Spacecraft with SysML: A Model-based Systems Engineering Approach. Scotts Valley: CreateSpace.
   Google Scholar
• Genesereth, M., and N. Nilsson. 1987. Logical Foundations of Artificial Intelligence. Palo Alto: Morgan Kaufman.
   Google Scholar
• Glinz, M., 2000. “Improving the Quality of Requirements with Scenarios.” In Proceedings of the Second World Congress for Software Quality, 55–60.
   Google Scholar
• Grenon, P., and B. Smith. 2004. “SNAP and SPAN: Towards Dynamic Spatial Ontology.” Spatial Cognition and Computation 4 (1): 69–103. doi:10.1207/s15427633scc0401_5.
   Google Scholar
• Gruhier, E., F. Demoly, K. Kim, S. Abboudi, and S. Gomes. 2016. “A Theoretical Framework for Product Relationships Description over Space and Time in Integrated Design.” Journal of Engineering Design 27 (4): 269–305. doi:10.1080/09544828.2016.1144049.
   Web of Science ®Google Scholar
• Gruninger, M., and C. Menzel. 2003. “The Process Specification Language (PSL): Theory and Applications.” Artificial Intelligence Magazine 24: 3.
   Google Scholar
• Guizzardi, G. Wagner, and H. Herre. 2004. ““On the Foundations of UML as an Ontology Representation Language.” Lecture Notes in Computer Science 3257: 47–62. doi:10.1007/978-3-540-30202-5_4.
   Google Scholar
• Harbelot, B., Arenas, H., Cruz, C. 2013. “A Semantic Model to Query Spatial-Temporal Data.” In Proceedings of the 6th International Workshop on Information Fusion and Geographic Information Systems: Environmental and Urban Challenges, 75–89. doi:10.1007/978-3-642-31833-7_5.
   Google Scholar
• Harel, D. 1987. “Statecharts: A Visual Formalism for Complex Systems.” Science of Computer Programming 8 (3): 231–274. doi:10.1016/0167-6423(87)90035-9.
   Web of Science ®Google Scholar
• Havelund, K., Kumar, R., Delp, C., Clement, B., 2016. “K: A Wide Spectrum Language for Modeling, Programming and Analysis.” In Proceedings of 4th International Conference on Model-Driven Engineering and Software Development (Feb), 111–122. doi:10.5220/0005741401110122.
   Google Scholar
• Horrocks, I., O. Kutz, and U. Sattler. 2006. “The Even More Irresistible SROIQ.” In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (Jun). American Association for Artificial Intelligence, 57-67.
   Google Scholar
• Ingham, M., R. Rasmussen, M. Bennett, and A. Moncada. 2005. ““Engineering Complex Embedded Systems with State Analysis and the Mission Data System.” Journal of Aerospace Computing, Information, and Communication 2 (12): 507–536. doi:10.2514/1.15265.
   Google Scholar
• International Organization for Standardization. 2018. ISO/IEC/IEEE 29148, Systems and Software Engineering — Life Cycle Processes — Requirements Engineering. https://www.iso.org/standard/72089.html.
   Google Scholar
• International Telecommunication Union. 2011. Message Sequence Chart. ITU-T Z.120. https://www.itu.int/rec/T-REC-Z.120-201102-I.
   Google Scholar
• Jacobson, I., M. Christerson, P. Jonsson, and G. Övergaard. 2004. Object-Oriented Software Engineering: A Use Case Driven Approach. Redwood City: Addison Wesley.
   Google Scholar
• Jin, Z. 2018. Environment Modeling-Based Requirements Engineering for Software Intensive Systems. Cambridge, MA: Morgan Kaufmann.
   Google Scholar
• Jureta, I., J. Mylopoulos, and S. Faulkner. 2009. “A Core Ontology for Requirements.” Applied Ontology 4 (3): 169–244. doi:10.3233/AO-2009-0069.
   Web of Science ®Google Scholar
• Kang, K., Cohen, S., Hess, J, Novak, W., Peterson, A., 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Software Engineering Institute Technical Report CMU/SEI-90-TR-21.
   Google Scholar
• Krdzavac, N., and C. Bock. 2008. Reasoning in Manufacturing Part – Part Examples with OWL 2. U.S National Institute of Standards and Technology Interagency Report 7535 (Oct). doi:10.6028/NIST.IR.7535.
   Google Scholar
• Lee, J., S. Fenves, C. Bock, R. Sudarsan, H. Suh, X. Fiorentini, and R. Sriram. 2012. “Product Modeling Framework and Language for Behavior Evaluation.” IEEE Transactions on Robotics and Automation 9 (1): 110–123. doi:10.1109/TASE.2011.2165210.
   Google Scholar
• Lee, K., Kang, K., Lee, J., 2002. “Concepts and Guidelines of Feature Modeling for Product Line Software Engineering” In Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools (Apr), 62–77.
   Google Scholar
• Lin, J., M. Fox, and T. Bilgic. 1996. “A Requirement Ontology for Engineering Design.” Concurrent Engineering 4 (3): 279–291. doi:10.1177/1063293X9600400307.
   Web of Science ®Google Scholar
• Marquardt, W., J. Morbach, A. Wiesner, and A. Yang. 2010. “OntoCAPE: A Re-usable Ontology for Chemical Process Engineering.” Springer. doi:10.1007/978-3-642-04655-1.
   Google Scholar
• Morse, A. 1995. “Control Using Logic-Based Switching.” In Trends in Control, edited by A. Isidori, 69–113. doi:10.1007/978-1-4471-3061-1_4.
   Google Scholar
• Negri, P., Souza, V., Leal, A., Falbo, R., Guizzardi, G., 2017. “Towards an Ontology of Goal-Oriented Requirements.” In Proceedings of 20th Conferencia Iberoamericana en Software Engineering (May), 165–178.
   Google Scholar
• Nguyen, T., J. Grundy, and M. Almorsy. 2016. “Ontology-based Automated Support for Goal-use Case Model Analysis.” Journal Software Quality 24 (3): 635–673. doi:10.1007/s11219-015-9281-7.
   Web of Science ®Google Scholar
• Niles, I., and A. Pease. 2001. “Toward a Standard Upper Ontology.” In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (Oct), 2–9, Association of Computing Machinery.
   Google Scholar
• Object Management Group. 2010. Unified Modeling Language: Infrastructure. http://doc.omg.org/formal/2010-05-03.
   Google Scholar
• Object Management Group. 2014. Ontology Definition Metamodel, version 1.1. http://www.omg.org/spec/ODM/1.1.
   Google Scholar
• Object Management Group. 2015a. OMG Unified Modeling Language, version 2.5. http://www.omg.org/spec/UML/2.5.
   Google Scholar
• Object Management Group. 2015b. Diagram Definition, version 1.1. http://www.omg.org/spec/DD/1.1.
   Google Scholar
• Object Management Group. 2017a. OMG Systems Modeling Language, Version 1.5. http://www.omg.org/spec/SysML/1.5.
   Google Scholar
• Object Management Group. 2017b. Semantics of a Foundational Subset for Executable UML Models. https://www.omg.org/spec/FUML/1.3.
   Google Scholar
• Object Management Group. 2017c. Systems Modeling Language v2, Request for Proposal. http://doc.omg.org/ad/17-12-02.
   Google Scholar
• Object Management Group. 2018. SysML Extension for Physical Interaction and Signal Flow Simulation. https://www.omg.org/spec/SysPhS.
   Google Scholar
• Odell, J. 1994. “Six Different Kinds of Composition.” Journal of Object-Oriented Programming 5: 8.
   Google Scholar
• Panetto, H., M. Dassisti, and A. Tursi. 2012. “ONTO-PDM: Product-Driven ONTOlogy for Product Data Management Interoperability within Manufacturing Process Environment.” Advanced Engineering Informatics 26 (2): 334–348. doi:10.1016/j.aei.2011.12.002.
   Web of Science ®Google Scholar
• Partridge, C. 2005. Business Objects: Re-engineering for Re-use. London: The BORO Centre.
   Google Scholar
• Paul, N., P. Bradley, and M. Breunig. 2015. “Integrating Space, Time, Version and Scale Using Alexandrov Topologies.” International Journal of 3-D Information Modeling 4 (4): 64–85. doi:10.4018/IJ3DIM.2015100104.
   Google Scholar
• Randell, D., Cui, Z, Cohn, A., 1992. “A Spatial Logic based on Regions and Connection” In Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning.
   Google Scholar
• Sanya, I., and E. Shehab. 2014. “A Framework for Developing Engineering Design Ontologies within the Aerospace Industry.” International Journal of Production Research 53 (8): 2383–2409. doi:10.1080/00207543.2014.965352.
   Web of Science ®Google Scholar
• Schmitz, D., Nissen, H., Jarke, M., Rose, T., Drews, P., Hesseler, F., Reke, M, 2008. “Requirements Engineering for Control Systems Development in Small and Medium-Sized Enterprises.” In Proceedings of the 16th IEEE International Requirements Engineering Conference. doi:10.1109/RE.2008.27.
   Google Scholar
• Schneidera, F., and B. Berenbach. 2013. “A Literature Survey on International Standards for Systems Requirements Engineering.” Procedia Computer Science 16 (1): 796–805. doi:10.1016/j.procs.2013.01.083.
   Google Scholar
• Schobbens, P., P. Heymans, J. Trigaux, and Y. Bontemps. 2007. “Generic Semantics of Feature Diagrams.” Computer Networks 51 (2): 456–479. doi:10.1016/j.comnet.2006.08.008.
   Web of Science ®Google Scholar
• Scott, K., A. Uhl, D. Weise, and S. Mellor. 2004. MDA Distilled: Principles of Model-Driven Architecture. Boston: Addison-Wesley.
   Google Scholar
• Sima, W., and P. Brouseb. 2014. “Towards an Ontology-Based Persona-Driven Requirements and Knowledge Engineering.” Procedia Computer Science 36: 314–321. doi:10.1016/j.procs.2014.09.099.
   Google Scholar
• Singh, A., B. Gurumoorthy, and L. Christie. 2017. “Empty Space Modelling for Detecting Spatial Conflicts across Multiple Design Domains.” In Proceedings of Product Lifecycle Management and the Industry of the Future, 223–230. doi:10.1007/978-3-319-72905-3_20.
   Google Scholar
• Sutcliffe, A., 2003. “Scenario-based Requirements Engineering.” In Proceedings of the 11th IEEE International Requirements Engineering Conference. doi:10.1109/ICRE.2003.1232776.
   Google Scholar
• Terziyan, V., and O. Kaikova. 2016. “Ontology for Temporal Reasoning Based on Extended Allen’s Interval Algebra.” International Journal of Metadata, Semantics and Ontologies 11 (2): 3–109. doi: 10.1504/IJMSO.2016.080348.
   Google Scholar
• van Lamsweerde, A. 2009. Requirements Engineering: From System Goals to UML Models to Software Specifications. Chichester: Wiley.
   Google Scholar
• van Ruijven, L. 2015. “Ontology for Systems Engineering as a Base for MBSE.” International Council on Systems Engineering International Symposium 25: 1. doi:10.1002/j.2334-5837.2015.00061.x.
   Google Scholar
• Wagner, D., M. Bennett, R. Karban, N. Rouquette, S. Jenkins, and M. Ingham. 2012. “An Ontology for State Analysis: Formalizing the Mapping to SysML.” IEEE Aerospace Conference. doi:10.1109/AERO.2012.6187335.
   Google Scholar
• Welty, C., and R. Fikes. 2006. “A Reusable Ontology for Fluents in OWL.” In Proceedings of the Fourth International Conference on Formal Ontology in Information Systems, 226–236.
   Google Scholar
• West, M. 2011. Developing High Quality Data Models. Burlington, MA: Morgan Kaufmann.
   Google Scholar
• Winston, M., R. Chaffin, and D. Herrmann. 1987. “A Taxonomy of Part-Whole Relations.” Cognitive Science 11: 417–444. doi:10.1207/s15516709cog1104_2.
   Web of Science ®Google Scholar
• World Wide Web Consortium. 2012. OWL 2 Web Ontology Language, Document Overview. http://www.w3.org/TR/owl2-overview.
   Google Scholar
• Zave, P., and M. Jackson. 1997. “Four Dark Corners of Requirements Engineering.” Association for Computing Machinery Transactions on Software Engineering and Methodology 6 (1): 1–30. doi:10.1145/237432.237434.
   Google Scholar
• Zeng, Y. 2015. “Environment-Based Design (EBD): a Methodology for Transdisciplinary Design.” Journal of Integrated Design and Process Science 19 (1): 5–24. doi:10.3233/jid-2015-0004.
   Web of Science ®Google Scholar
• Zhang, Z., Z. Liu, Y. Chen, and Y. Xie. 2012. “Knowledge Flow in Engineering Design: An Ontological Framework.” Journal of Mechanical Engineering Science 227 (4): 760–770. doi:10.1177/0954406212454967.
   Web of Science ®Google Scholar