Filters








20,486 Hits in 4.3 sec

A graphical interval logic for specifying concurrent systems

L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994 ACM Transactions on Software Engineering and Methodology  
This article describes a graphical interval logic that is the foundation of a tool set supporting formal specification and verification of concurrent software systems.  ...  The objective of this article is to enable software engineers to specify and reason about temporal properties of concurrent systems more easily by providing them with a logic that has an intuitive graphical  ...  CONCLUSION This article describes a visual logic for specifying concurrent software sys- tems that aids formal reasoning about temporal properties of system.  ... 
doi:10.1145/192218.192226 fatcat:627yamkmkjfklhqmvpr3yqofiq

Oracles for checking temporal properties of concurrent systems

Laura K. Dillon, Qing Yu
1994 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94  
It is posted here by permission of ACM for your personal use. Not for redistribution.  ...  Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be 140 © ACM, (1994). This is the author's version of the work.  ...  Acknowledgements: The authors would like to acknowledge John Gannon for his advice and helpful comments on the first draft of this paper.  ... 
doi:10.1145/193173.195401 dblp:conf/sigsoft/DillonY94 fatcat:yfn76kjs3jakpbihilfyltcspm

Oracles for checking temporal properties of concurrent systems

Laura K. Dillon, Qing Yu
1994 Software engineering notes  
It is posted here by permission of ACM for your personal use. Not for redistribution.  ...  Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be 140 © ACM, (1994). This is the author's version of the work.  ...  Acknowledgements: The authors would like to acknowledge John Gannon for his advice and helpful comments on the first draft of this paper.  ... 
doi:10.1145/195274.195401 fatcat:byx7wm7i6jgjfimgofyp5mjbcu

A Graphical Interval Logic toolset for verifying concurrent systems [chapter]

G. Kutty, Y. S. Ramakrishna, L. E. Moser, L. K. Dillon, P. M. Melliar-Smith
1993 Lecture Notes in Computer Science  
Graphical Interval Logic is the foundation of a toolset we have developed to support formal specification and verification of concurrent systems.  ...  The logic is a discrete linear-time temporal logic with the distinguishing feature that formulas in the logic have an intuitive graphical representation.  ...  These graphical formulas provide a pictorial representation of the relative ordering of events in a concurrent system.  ... 
doi:10.1007/3-540-56922-7_12 fatcat:3bd72g3mangfrdx4lingyesttu

The Real-Time Graphical Interval Logic toolset [chapter]

L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, L. K. Dillon
1996 Lecture Notes in Computer Science  
Introduction The tools that we have developed for Real-Time Graphical Interval Logic (RTGIL) are intended for specifying and reasoning about time-bounded safety and liveness properties of concurrent real-time  ...  Conclusion Our experience in using the RTGIL tools has shown that these tools and the graphical representation of the logic are very helpful for specifying and verifying properties of concurrent real-time  ... 
doi:10.1007/3-540-61474-5_99 fatcat:wijxukys3vbm7njfqgh3vdkkwi

A Temporal Synchronization Model For Heterogeneous Data In Distributed Systems

Jorge Estudillo Ramirez, Saul E. Pomares Hernandez
2008 Zenodo  
Multimedia distributed systems deal with heterogeneous data, such as texts, images, graphics, video and audio.  ...  This paper proposes a fully distributed synchronization model to be used in multimedia systems.  ...  INTRODUCTION M ULTIMEDIA systems deal with heterogeneous data such as texts, graphics, images, audio, video and animations.  ... 
doi:10.5281/zenodo.1062758 fatcat:ooreevqtb5h3rdpr2kpqdojjmi

Event-Based Programming Structures for Multimedia Information Flows [chapter]

Kaliappa Ravindran, Ali Sabbir
2004 Lecture Notes in Computer Science  
A coherent effect of these actions requires enforcing deadlines on the event processing over prescribed time intervals.  ...  In this paper, we propose a programming model based on 'timed event dissemination' for structuring a distributed real-time multimedia presentation.  ...  In one scenario for example, user annotation on a graphics image may be generated right after the text or voice information, specified as: ((graphics, 3.25), Occurs Af ter(text ∨ voice, 2.5, 3.5)).  ... 
doi:10.1007/978-3-540-30189-9_21 fatcat:lu2qogxrjrhz5abhocinj7gakq

Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems

Saul E. Pomares Hernandez, Luis A. Morales Rosales, Jorge Estudillo Ramirez, Gustavo Rodriguez Gomez
2008 Journal of Multimedia  
In this paper we propose a logical synchronization model able to specify at runtime any kind of temporal relationship among the distributed multimedia data involved in a temporal scenario.  ...  A logical mapping, in general terms, translates a temporal relation based on a timeline to be expressed according to its causal dependencies.  ...  In this paper we propose a logical synchronization model that specifies at runtime any kind of temporal relationship among the multimedia data involved: interval-interval relations for continuous media  ... 
doi:10.4304/jmm.3.5.33-41 fatcat:ghjswt4hojbilnp7d3dwnejmm4

Analyzing partially-implemented real-time systems

George S. Avrunin, James C. Corbett, Laura K. Dillon
1997 Proceedings of the 19th international conference on Software engineering - ICSE '97  
Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time  ...  We propose a method for analyzing partially-implemented real-time systems.  ...  We consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL) [9] , a realtime  ... 
doi:10.1145/253228.253275 dblp:conf/icse/AvruninCD97 fatcat:yyia2hagjjfqfnfoobuqp2wxom

Analyzing partially-implemented real-time systems

G.S. Avrunin, J.C. Corbett, L.K. Dillon
1998 IEEE Transactions on Software Engineering  
Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time  ...  We propose a method for analyzing partially-implemented real-time systems.  ...  We consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL) [9] , a realtime  ... 
doi:10.1109/32.707696 fatcat:5vbnmy2n2na4lbcfo6pobpy7b4

A model-driven approach for processing complex events [article]

Istvan David
2012 arXiv   pre-print
An example application area is management of IT systems for maintaining required dependability attributes of services based on the infrastructure.  ...  In this paper, I present a novel, model-driven approach to define complex event patterns and directly generate event processing configuration for an open source CEP engine widely used in the industry.  ...  Interval events are happening concurrently. CONCURRENT_T (params; τ) interval only Interval events are happening concurrently regarding an interval with length of τ. TABLE II .  ... 
arXiv:1204.2203v3 fatcat:wvn3vkcuzncu3jjtqxrxdvmwmu

An Environment for the Development of Concurrent Object-Based Applications

Fernando L. Dotti, Lucio M. Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar M. dos Santos
2005 Electronical Notes in Theoretical Computer Science  
Object-Based Graph Grammars (OBGG) is a formal specification language suitable for modeling concurrent object-based systems.  ...  With this environment, we support the specification and analysis of concurrent object-based systems specified using OBGG.  ...  The maximum time is supported for situations where one wants to specify systems with temporal restrictions, i.e. if a message is not consumed in a certain time interval, the system fails (real-time systems  ... 
doi:10.1016/j.entcs.2004.12.026 fatcat:z2wgeakauffznldexjndybfyaq

ALPHA/Sim simulation software tutorial

Kendra E. Moore, John E. Brennan
1995 Proceedings of the 27th conference on Winter simulation - WSC '95  
ALPHA/Sim allows a user to graphically build a simulation model, enter input data via integrated forms, execute the simulation model, and view the simulation results, within a single graphical environment  ...  In this paper, we introduce ALPHA/Sim and describe how to use ALPHA/Sim to build, simulate, and analyze a simple manufacturing system.  ...  X Window System is a trademark of the Massachusetts Institute of Technology.  ... 
doi:10.1145/224401.224641 fatcat:3fjerl6mf5fddket6rusub5o3q

ALPHA/SIM simulation software tutorial

Kendra E. Moore, John E. Brennan
1996 Proceedings of the 28th conference on Winter simulation - WSC '96  
ALPHA/Sim allows a user to graphically build a simulation model, enter input data via integrated forms, execute the simulation model, and view the simulation results, within a single graphical environment  ...  In this paper, we introduce ALPHA/Sim and describe how to use ALPHA/Sim to build, simulate, and analyze a simple manufacturing system.  ...  X Window System is a trademark of the Massachusetts Institute of Technology.  ... 
doi:10.1145/256562.256736 fatcat:6f7y6hbrzjcdtfdugdh6r4ueu4

Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic

Irfan Chishti, Jixin Ma, Brian Knight
2014 International Journal of Advanced Computer Science and Applications  
Being a formal system, first order logic assists in thorough understanding of process modeling and its application.  ...  A business process is the combination of a set of activities with logical order and dependence, whose objective is to produce a desired goal.  ...  Since firing is nondeterministic, Petri nets are well suited for modeling the concurrent behavior of distributed systems [12] . H.  ... 
doi:10.14569/ijacsa.2014.050715 fatcat:3n6wsbwaf5frfohkosxczet5f4
« Previous Showing results 1 — 15 out of 20,486 results