Abstract
The paper extends the TRIO logical specification formalism with the notion of time granularity. Such an extension provides the specifier with the ability of dealing with different time granularities within a single specification. It allows one to maintain the description of the dynamics of processes that evolve according to different time constants as separate as possible. It also makes it possible to model the dynamics of a given process with respect to different time scales. The paper first introduces time granularity in a completely general way, that is, it defines the weakest semantics of time granularity. Then a number of possible specializations of such a semantics taking into account both common-sense and domain-specific knowledge are identified. They result in a taxonomic classification of predicates that makes the formalism more expressive and easier to use. >
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
