Abstract:Abstract. Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition is proposed as a feasible approach. The knowledge representation framework used in the RENISYS specification method is introduced, using conceptual graph theory as its underlying formalism. The role of ontological and normative knowledge is explained. The presented theory is used to show how legitimate process definitions c… Show more
“…The rationale, characteristics of, and methodological support for the legitimate user-driven specification process are described in detail in [10,11,13]. In the current article, we focus on the formal foundation that enables the selection of relevant members and the support of the conversations for specification.…”
Section: The Renisys Specification Methodsmentioning
confidence: 99%
“…1), theory-grounded conversation protocols are therefore needed that prescribe the allowed conversational moves for the participant whose turn it is to speak. The Specification Process Model embedded in the RENISYS method provides such a protocol [10,13].…”
“…Communication acts and transaction states are renamed into the more precise terms conversation acts and conversation states. A complete overview of all conversation acts making up the SPM is given in [10]. For each of these acts, it is discussed there which conversational roles can perform as speakers and hearers of the act.…”
Section: The Specification Process Modelmentioning
confidence: 99%
“…The types defined by the ontology are partially ordered in a type hierachy. A comprehensive description of the ontological framework is given in [10] and not repeated here. An example of a type hierarchy is shown in the example given in Sect.…”
Section: A Formal Definition Of Composition Normsmentioning
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more complex over time. To ensure that changes to these complex socio-technical systems are meaningful and acceptable to the community as a whole, the relevant members of the community need to be involved in their specification. The RENISYS method conceptualizes community specification processes as conversations for specification by relevant members. It supports this process in two steps. First, it uses formal composition norms to select the relevant community members who need to be involved in a particular conversation for specification. It then uses a formal model of conversations for specification to determine the acceptable conversational moves that the selected community members can make, as well as the status of their responsibilities and accomplishments at each point in time. By combining composition norms with conversations for specification, the specification processes can be precisely tailored to the specification support needs of the community.
“…The rationale, characteristics of, and methodological support for the legitimate user-driven specification process are described in detail in [10,11,13]. In the current article, we focus on the formal foundation that enables the selection of relevant members and the support of the conversations for specification.…”
Section: The Renisys Specification Methodsmentioning
confidence: 99%
“…1), theory-grounded conversation protocols are therefore needed that prescribe the allowed conversational moves for the participant whose turn it is to speak. The Specification Process Model embedded in the RENISYS method provides such a protocol [10,13].…”
“…Communication acts and transaction states are renamed into the more precise terms conversation acts and conversation states. A complete overview of all conversation acts making up the SPM is given in [10]. For each of these acts, it is discussed there which conversational roles can perform as speakers and hearers of the act.…”
Section: The Specification Process Modelmentioning
confidence: 99%
“…The types defined by the ontology are partially ordered in a type hierachy. A comprehensive description of the ontological framework is given in [10] and not repeated here. An example of a type hierarchy is shown in the example given in Sect.…”
Section: A Formal Definition Of Composition Normsmentioning
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more complex over time. To ensure that changes to these complex socio-technical systems are meaningful and acceptable to the community as a whole, the relevant members of the community need to be involved in their specification. The RENISYS method conceptualizes community specification processes as conversations for specification by relevant members. It supports this process in two steps. First, it uses formal composition norms to select the relevant community members who need to be involved in a particular conversation for specification. It then uses a formal model of conversations for specification to determine the acceptable conversational moves that the selected community members can make, as well as the status of their responsibilities and accomplishments at each point in time. By combining composition norms with conversations for specification, the specification processes can be precisely tailored to the specification support needs of the community.
“…A termination removes the definition from the ontology. These operations where described in detail in terms of pre and post conditions in [4]. Still lacking were formal definitions of the micro-processes of explicitly linking ontologies and elements from ontologies and selecting relevant definitions from a (growing) ontology.…”
Abstract. In this paper, we explore the process of interorganizational ontology engineering. Scalable ontology engineering is hard to do in interorganizational settings where there are many pre-existing organizational ontologies and rapidly changing collaborative requirements. A complex socio-technical process of ontology alignment and meaning negotiation is therefore required. In particular, we are interested in how to increase the efficiency and relevance of this process using context dependencies between ontological elements. We describe the DOGMA-MESS methodology and system for scalable, community-grounded ontology engineering. We illustrate this methodology with examples taken from a case of interorganizational competency ontology evolution in the vocational training domain.
Abstract. Network information system specification in virtual professional communities requires a legitimate user-driven approach. In such an approach, only specification changes are produced that are not only meaningful but also acceptable to all users. To do so, for each requested change, a relevant user group needs to be selected to work out the required knowledge definition changes. This paper describes the mechanism through which such a relevant user group can be calculated. The dynamics of the composition norms that guide the required specification behaviour are explained. The conceptual graph notation for four categories of specification knowledge is given. The Peirce conceptual graph workbench is used to demonstrate the composition norm dynamics calculation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.