D. C. Kung, "The Behavior Network Model for Conceptual Information Modeling", Information Systems, 18(1), pp. 1-21, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Workflow Modeling for Virtual Processes: an Order-Preserving.. - Liu, Shen (2002) (Correct)
....the modeling of activity, data, and 24 organization. ARIS [21] describes business processes from the aspects of function, organization, data, output, and control. Moreover, some studies have exploited object oriented technology or Petri nets to combine the modeling of control and data flow [10, 12, 27, 28]. Such enhancements concern the integration of multiple aspects in a workflow model. However, this work focuses on deriving abstracted processes for different organizational roles. Notably, the term view used in some of above works represents an aspect of process modeling, while herein it ....
D. C. Kung, "The Behavior Network Model for Conceptual Information Modeling", Information Systems, 18(1), pp. 1-21, 1993.
Explaining Conceptual Models - Using Toulmin's.. - Dalianis, Johannesson (Correct)
....and validating a model. Furthermore, the sheer size and complexity of a model may make it difficult even for experienced designers to validate a model. In order to ease the validation process, several different techniques have been proposed. One approach is to introduce graphical symbols, [Kung93], or user defined concepts, Mylopoulos90] Another approach is to paraphrase parts of a conceptual model in natural language, Rolland92] Dalianis92] Dalianis96] In order to validate large models, a technique called complexity reduction has been proposed, which presents views of a conceptual ....
D. Kung, "The Behavior Network Model for Conceptual Information Modelling", Information Systems, vol. 18, no. 1, pp. 1 - 21, 1993.
Augmented Petri Nets for Verification of Real-Time.. - Oksanen, Kung, Lin Self-citation (Kung) (Correct)
....the modeling of a piece of reality, extensions have been proposed to allow it to model time dependent systems [10, 11, 12] The advantage of using ECM specifications is that ECM allows one to model a system at a high level and then decompose it into a low level specification. A method is given in [9] to analyze low level ECM specifications, but this method has not been extended to deal with real time issues. In this paper ECM is extended to include timing issues, and timing and temporal logic features are added to Petri nets. An algorithm is presented to convert low level ECM specifications ....
....be incremented by 5. The tokens will be removed from p3 and placed in p1 and p2. Transition t1 is not enabled from this state, since its precondition is not satisfied by the token in p2 which now has a y value of 6. B. Petri net temporal logic Kung discusses a temporal logic for use with ECM in [9]. This logic uses the temporal operators 2 (always) and 3 (eventually) The operators are modified by adding the superscripts p, p 0 , f and f 0 to refer to the past, the past including the present, the future, and the future including the present, respectively. The temporal logic is extended ....
C. Kung, "The Behavior Network Model for Conceptual Information Modeling," Information Systems, Vol. 18, 1993, pp. 1-21.
Class Firewall, Test Order, and Regression Testing of.. - Kung, Gao, Hsia, al. (1993) (1 citation) Self-citation (Kung) (Correct)
....cost effective test order for testing the affected classes. The ORG is only a part of our formal test model, which describes also the control structure of the member functions and the state dependent behaviors of the objects. A detailed description of the complete formal test model can be found in [Kung 1993]. Before we proceed to describe ORG, we first briefly review the inheritance, aggregation, and association concepts used in OO modeling [Booch 1991] Rumbaugh 1991] The purpose is to provide the necessary background for those readers who are not familiar with the OO paradigm. We also provide ....
.... MonoScene Control ButtonState TextButton Button ButtonList ControlState Subject InteractorItr Changed Affected Legend: Figure 6: The Test Order for the Firewall of Class Subject 6 A Large Example We have implemented an object oriented testing environment using the reverse engineering approach [Kung 1993]. In the testing environment, a test support tool, called firewall identifier, is developed based on the class firewall concept to automatically identify all possibly affected classes for a changed class. After a class firewall is recognized, a test order generator, which is designed based on the ....
D. Kung, "The behavior network model for conceptual information modeling." Journal of Information Systems, Vol. 18, No. 1, pp. 1 -- 21, 1993.
Object-Oriented Real Time Systems Modeling and Verification - Kung, Lin, Hsia, Carroll Self-citation (Kung) (Correct)
No context found.
D. Kung, "The behavior network model for conceptual information modeling." Journal of Information Systems, Vol. 18, No. 1, pp. 1 - 21, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC