For a positive integer k and a non-negative integer t a class of simplicial complexes, to be denoted by k-CMt, is introduced. This class generalizes two notions for simplicial complexes: being k-Cohen-Macaulay and k-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of CMt(=1-CMt) complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is k-CMt if and only if the links of its nonempty faces are k-CM t−1 . We prove that for an integer s ≤ d, the (d−s−1)-skeleton of a (d−1)-dimensional k-CMt complex is (k+s)-CMt. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes.2000 Mathematics Subject Classification. 05C75, 13H10.
Object-Z is an extension of the Z notation which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made so far to map Object-Z to various object-oriented languages. However, the given mapping approaches do not cover several Object-Z specification constructs, such as class union, object aggregation, object containment and some of the operation operators. Also, in much of the existing work, mapping rules are given in a very abstract form. In other words, they do not consider all cases in a detailed way needed to automate the mapping procedure. In our previous work, we partially tackled these issues; however, in this paper, we present a much more comprehensive way to animate Object-Z specifications using C++. The given method covers some constructs that have not been addressed in our previous work. Also, mapping rules are described with enough details facilitating automation. Finally, we consider some level of user interaction in our new method which increases the flexibility and efficiency of final codes from the user point of view.
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.