Formalization and Testing of Reference Point Facets
نویسندگان
چکیده
The paper introduces a new concept to express the architecture and behavior of distributed systems in a formal, detailed and extensible manner in terms of reference point facets (RP-facets). RP-facets are based on the well-established concept of reference points as used in ODP and TINA. Facets describe statical and dynamic aspects of reference points as well as preand post-conditions for their use. The paper gives a mathematical characterization of RP-facets, defines a specification template for the definition of RP-facets and derives a conformance test method for their validation. An example taken from the TINA retailer reference point shows the application and practical use of RP-facets.
منابع مشابه
On the Substantive and Predictive Validity Facets of the University Entrance Exam for English Majors
This study examined the substantive and predictive validity facets of the University Entrance Examination for English Major (UEEEM) students. To that aim, 111 English major students were recruited to report their scores on each of the subtests of the test as well as their grade point average. Sequential multiple regressions and factor analysis were used in the analysis of the data. Results ackn...
متن کاملWork Facets Predicting Overall Job Satisfaction among Resident Doctors in Selected Teaching Hospitals in Southern Nigeria: A Minnesota Satisfaction Questionnaire Survey
Background: Job satisfaction could be assessed using the single-item global approach or the multidimensional approach. This study aims to assess the work facets predicting the overall single-item job satisfaction measure among resident doctors. Materials and Methods: This descriptive study was conducted from August to October 2018 among 195 resident doctors. The survey instrument, i.e. the Min...
متن کاملA visual token-based formalization of BPMN 2.0 based on in-place transformations
Context The Business Process Model and Notation (BPMN) standard informally defines a precise execution semantics. It defines how process instances should be updated in a model during execution. Existing formalizations of the standard are incomplete and rely on mappings to other languages. Objective This paper provides a BPMN 2.0 semantics formalization that is more complete and intuitive than e...
متن کاملFaceted Information Representation
This paper presents an abstract formalization of the notion of “facets”. Facets are relational structures of units, relations and other facets selected for a certain purpose. Facets can be used to structure large knowledge representation systems into a hierarchical arrangement of consistent and independent subsystems (facets) that facilitate flexibility and combinations of different viewpoints ...
متن کاملTHE P REPARATION AND EVALUATION OF REFERENCE LEISHMANIN FROM LEISHMANIA MAJOR FOR USE IN MAN FOR DIAGNOS TIC AND EXPERIMENTAL PURPOSES
Cell-mediated immunity (CMI) plays an important role in resistance against leishmaniasis. Delayed-type hypersensitivity (DTH) reaction measured by skin testing is a practical method of evaluation of CMI and is used as an aid to diagnosis and for epidemiological assessment of exposure to leishmanial infection. Skin testing in leishmaniasis, generally known as Montenegro or leishmanin test, r...
متن کامل