A Process Model for XBRL Taxonomy Development XBRL taxonomy is the latest technology for the high quality exchange of business and other reports on the Internet. How to quickly develop high quality XBRL taxonomy is a hot research topic of business information domain. In this study, the problems of XBRL taxonomy development are considered and a process model for XBRL taxonomy development is proposed. The model use the idea of knowledge engineering, domain ontology building and software engineering for reference to some extent. The phases of the model and their main task are proposed to provide a orderd framework for XBRL taxonomy development. An application case is presented to show the effectiveness of this model. The key benifits of this model are to improve the qulaty of XBRL taxonomy and reduce the workload of development process.

Formal Ontologies in Information Systems Development: A Systematic Review Computational ontologies are machineprocessable structures which represent particular domains of interest. They integrate knowledge which can be used by humans or machines for decision making and problem solving. The main aim of this systematic review is to investigate the role of formal ontologies in information systems development, i.e., how these graphsbased structures can be beneficial during the analysis and design of the information systems. Specific online databases were used to identify studies focused on the interconnections between ontologies and systems engineering. Onehundred eightyseven studies were found during the first phase of the investigation. Twentyseven studies were examined after the elimination of duplicate and irrelevant documents. Mind mapping was substantially helpful in organising the basic ideas and in identifying five thematic groups that show the main roles of formal ontologies in information systems development. Formal ontologies are mainly used in the interoperability of information systems, human resource management, domain knowledge representation, the involvement of semantics in unified modelling language (UML)based modelling, and the management of programming code and documentation. We explain the main ideas in the reviewed studies and suggest possible extensions to this research.