76,929 Hits in 6.2 sec

Toward a semantic anchoring infrastructure for domain-specific modeling languages

Kai Chen, Janos Sztipanovits, Sandeep Neema
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
In this paper we use a mathematical model, Abstract State Machines, a common semantic framework to define the semantic domains of DSML-s.  ...  The main contribution of our approach is that it moves toward an infrastructure for DSML design that integrates formal methods with practical engineering tools.  ...  ADDITIONAL AUTHORS Matthew Emerson (Institute for Software Integrated Systems, Vanderbilt Univ.) and Sherif Abdelwahed (Institute for Software Integrated Systems, Vanderbilt Univ.).  ... 
doi:10.1145/1086228.1086236 dblp:conf/emsoft/ChenSN05 fatcat:ettwxhp6rvctvjn3na37wg64my

Discovering Hierarchical Process Models Using ProM [chapter]

R. P. Jagadeesh Chandra Bose, Eric H. M. W. Verbeek, Wil M. P. van der Aalst
2012 Lecture Notes in Business Information Processing  
In this paper, we demonstrate the discovery of hierarchical process models using a set of interrelated plugins implemented in ProM. 1 The hierarchy is enabled through the automated discovery of abstractions  ...  (of activities) with domain significance.  ...  Bose and W.M.P. van der Aalst are grateful to Philips Healthcare for funding the research in process mining.  ... 
doi:10.1007/978-3-642-29749-6_3 fatcat:chkt2aedbvawfbyvwvzkhw467u

Improving Business Process Models with Agent-Based Simulation and Process Mining [chapter]

Fernando Szimanski, Célia G. Ralha, Gerd Wagner, Diogo R. Ferreira
2013 Lecture Notes in Business Information Processing  
Business processes are usually modeled at a high level of abstraction, while the analysis of their run-time behavior through process mining techniques is based on low-level events recorded in an event  ...  For this purpose, the model is evaluated based on a set of metrics. We illustrate the approach in an application scenario involving a purchase process.  ...  Rather than deploying the model in the organization and waiting for an event log to be recorded over a long period of time, we use the AOR framework to build an agent-based simulation scenario based on  ... 
doi:10.1007/978-3-642-38484-4_10 fatcat:3xtsdqzsvncphiwhuxwf2mp6pe

COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems

Xu Ke, Krzysztof Sierszecki, Christo Angelov
2007 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007)  
The paper presents a generative development methodology and component models of COMDES-II, a component-based software framework for distributed embedded control systems with real-time constraints.  ...  The adopted methodology allows for rapid modeling and validation of control software at a higher level of abstraction, from which a system implementation in C can be automatically synthesized.  ...  An actor is activated by an execution trigger, which may be a periodic or sporadic event.  ... 
doi:10.1109/rtcsa.2007.29 dblp:conf/rtcsa/KeSA07 fatcat:7amk2tujejb6lofnldmp7nlrv4

Combining multiple sensors for event recognition of older people

Carlos Fernando Crispim-Junior, Baptiste Fosty, Rim Romdhane, Qiao Ma, Francois Bremond, Monique Thonnat
2013 Proceedings of the 1st ACM international workshop on Multimedia indexing and information retrieval for healthcare - MIIRH '13  
We herein present a hierarchical model-based framework for event recognition using multiple sensors.  ...  The results show the framework improves the event recognition rate in both cases.  ...  Event Recognition Framework The framework is composed of two main components a hierarchical model-based framework for event modeling and a temporal event recognition algorithm [18] .  ... 
doi:10.1145/2505323.2505329 dblp:conf/mm/JuniorFRMBT13 fatcat:dc54m4otejeddhawpo6h7ag7cq

An object-oriented framework for dynamically configuring extensible distributed systems

D C Schmidt, T Suda
1994 Distributed Systems Engineering  
To help alleviate this complexity, we have developed the ADAPTIVE Service eXecutive (ASX) framework. ASX is an object-oriented framework composed of automated tools and reusable components.  ...  This paper describes the features and objectoriented architecture of the ASX framework.  ...  We would also like to thank the anonymous reviewers for their suggestions that improved the structure and content of this paper.  ... 
doi:10.1088/0967-1846/1/5/003 fatcat:du5wv3wtprbotkia4px4h5smeq

Semantic Anchoring with Model Transformations [chapter]

Kai Chen, Janos Sztipanovits, Sherif Abdelwalhed, Ethan Jackson
2005 Lecture Notes in Computer Science  
Using a mathematical model, Abstract State Machine (ASM), as a common semantic framework, we have developed formal operational semantics for a set of basic models of computations, called semantic units  ...  Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems.  ...  A FSM instance waits for input events. Whenever an allowed input event arrives, the FSM instance reacts in a well-defined manner by updating its data fields and activating enabled transitions.  ... 
doi:10.1007/11581741_10 fatcat:j2z53d5y65funelqqwtwoxljpi

Expressiveness and Understandability Considerations of Hierarchy in Declarative Business Process Models [chapter]

Stefan Zugal, Pnina Soffer, Jakob Pinggera, Barbara Weber
2012 Lecture Notes in Business Information Processing  
For instance, in declarative business process models, hierarchy is realized by sub-processes.  ...  To systematically assess this impact, we present a cognitive-psychology based framework that allows to assess the possible impact of hierarchy on the understandability of the process model.  ...  For instance, an activity must be executed at least once before the process can be terminated.  ... 
doi:10.1007/978-3-642-31072-0_12 fatcat:27k4fmkbonhpxjlu47czp3ppdm

A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, Frederic Mallet
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
We illustrate the use of B-COOL with the definition of coordination operators between timed finite state machines and activity diagrams.  ...  In modeldriven engineering, the coordination of behavioral models to produce a single integrated model is necessary to provide support for validation and verification.  ...  This interface exposes an abstraction of the language behavioral semantics in terms of Events.  ... 
doi:10.1109/models.2015.7338249 dblp:conf/models/LarsenDCM15 fatcat:bgcixboumfdjdk67ccbmbt242m

CMS offline conditions framework and services

G Govi, V Innocente, Z Xie, the Cms collaboration
2010 Journal of Physics, Conference Series  
A mini-framework is available for handling data coming from external sources. Efficient data distribution over the worldwide network is guaranteed by a system of hierarchical web caches.  ...  They are accessible by physicists within the offline event-processing applications for precise calibration of reconstructed data as well as for data-quality control purposes.  ...  Introduction This paper gives an overview on the offline software framework and services for conditions data management in the CMS experiment.  ... 
doi:10.1088/1742-6596/219/4/042027 fatcat:zfmdr2ptafajpp5pch2gsknyya

Building the Presentation-Tier of Rich Web Applications with Hierarchical Components [chapter]

Reda Kadri, Chouki Tibermacine, Vincent Le Gloahec
2007 Lecture Notes in Computer Science  
Without any doubt, the World Wide Web represents the de facto standard platform for hosting such distributed systems.  ...  These architecture design models can be reused together with their corresponding code using an association mechanism.  ...  The same events occur for the last ListBox component. This Ajax-based functioning of the application is illustrated here using hierarchical components.  ... 
doi:10.1007/978-3-540-76993-4_11 fatcat:sfagi27zjbcbbkgnaraw37dlmi

Cognitive control, hierarchy, and the rostro–caudal organization of the frontal lobes

David Badre
2008 Trends in Cognitive Sciences  
Distinctions among these frameworks are considered as a basis for future research.  ...  , the temporal organization of behavior and abstract representational hierarchy.  ...  Van Veen for their valuable comments and discussions while writing this review. My work is supported by a National Research Service Award (F32 NS053337).  ... 
doi:10.1016/j.tics.2008.02.004 pmid:18403252 fatcat:mxtommomtbcg5dcztbbyrayptu

A statecharts-based software development process for mobile agents

Giancarlo Fortino, Wilma Russo, Eugenio Zimeo
2004 Information and Software Technology  
This paper proposes a Statecharts-based development process for mobile agents, which allows for a seamless transition from the specification of mobile agent behaviour to its implementation and adaptation  ...  In particular, modelling of the mobile agent behaviour is visual and its coding is seamlessly supported by the Mobile Active Object Framework.  ...  For instance, if an event is of the Asynchronous Message-based Coordination type, it is forwarded to its target mobile agent by invoking, by means of the platform-dependent primitive for remote method  ... 
doi:10.1016/j.infsof.2004.04.005 fatcat:tvxkzo4kcncu5b2i2udg2r766e


Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
2013 ACM Transactions on Embedded Computing Systems  
We present here Platform-Based Design as the CPS methodology of choice and METROII, a design environment that supports it.  ...  We need a methodology, tools and environments where heterogeneity can be dealt with at all levels of abstraction and where different tools can be integrated.  ...  , Edward Lee, Jan Rabaey, and Joseph Sifakis for the many interactions on embedded systems over the years.  ... 
doi:10.1145/2435227.2435245 fatcat:goi4vowamfef7agnx2izmlhonq

A Markov logic framework for recognizing complex events from multimodal data

Young Chol Song, Henry Kautz, James Allen, Mary Swift, Yuncheng Li, Jiebo Luo, Ce Zhang
2013 Proceedings of the 15th ACM on International conference on multimodal interaction - ICMI '13  
We present a general framework for complex event recognition that is well-suited for integrating information that varies widely in detail and granularity.  ...  We demonstrate the effectiveness of the approach for tracking kitchen activities in the presence of noisy and incomplete observations.  ...  Abstraction Event types are organized into a hierarchy; an instance of a type is also an instance of all abstractions of the type.  ... 
doi:10.1145/2522848.2522883 dblp:conf/icmi/SongKASLLZ13 fatcat:wbzhvdununeqhcrawmqt7fqnsy
« Previous Showing results 1 — 15 out of 76,929 results