1,481,078 Hits in 7.2 sec

Integrated modeling of process- and data-centric software systems with PHILharmonicFlows

Carolina Ming Chiao, Vera Kunzle, Manfred Reichert
2013 2013 IEEE 1st International Workshop on Communicating Business Process and Software Models Quality, Understandability, and Maintainability (CPSM)  
While traditional software modeling languages do not allow for an explicit integration of data and process models, activity-centric process modeling languages tend to neglect the role of data as a driver  ...  Thereby, the behavioral perspective is described by process models, while the information perspective is captured in a data model.  ...  Consequently, object states serve as an abstract interface between micro and macro processes. 1) Behavior Modeling: When referring to behavior modeling, not only the behavior of a single object type  ... 
doi:10.1109/cpsm.2013.6703085 dblp:conf/icsm/ChiaoKR13 fatcat:xnzbtcugzjggbf4kqv4cztyrze

A Modeling Paradigm for Integrating Processes and Data at the Micro Level [chapter]

Vera Künzle, Manfred Reichert
2011 Lecture Notes in Business Information Processing  
Our approach applies the well established concept of modeling object behavior in terms of states and state transitions.  ...  This paper focuses on micro processes capturing object behavior and constituting a fundamental pillar of our framework for object-aware process management.  ...  This section introduces our modeling approach for micro process types capturing object behavior.  ... 
doi:10.1007/978-3-642-21759-3_15 fatcat:cnhcnsnotvblvg4zohy6er6nzm

Towards Requirements Engineering of Active Database Systems

José H. Canós, Javier Jaén Martínez, Isidro Ramos
1998 Workshop em Engenharia de Requisitos  
architectures by translating the active concepts of our model to those of particular active database systems (relational, object-relational or object-oriented).  ...  We define both a syntax and semantics to formalize different dimensions of active behavior.  ...  states of an object for an event to occur; Ft are the triggering rules, defining a very limited type of active behavior in OASIS objects; and Fc are integrity constraints expressed as temporal formulae  ... 
dblp:conf/wer/CerdaMR98 fatcat:ntu2smnu7jh3zlosyzd2irbuny

A framework of intelligent environment with smart-active objects (IESAO) for flexible and efficient crowd simulation

Anson Yuanxi Liang, Malcolm Yoke Hean Low, Michael Harold Lees, Wentong Cai, Suiping Zhou
2010 Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10  
In this paper, we propose a flexible and efficient framework of Intelligent Environment with Smart and Active Objects (IESAO).  ...  We properly define different types of entities and interactions, and describe the approach of modeling environment-related behavior in the intelligent environment.  ...  The states of environmentrelated behavior of the original FSM are now modeled inside smart and active objects.  ... 
doi:10.1145/1878537.1878557 fatcat:tp435ynqsbdl7icrmdl2bj25y4

Page 275 of Psychological Review Vol. 40, Issue 3 [page]

1933 Psychological Review  
INFLUENCE OF GoAL-OBJECTS UPON BEHAVIOR The readiness with which the responses to goal objects of the second type are conditioned to substitute stimuli and the presence of internal states upon which these  ...  .* This internal state persists until the goal-object is reacted to, and consequently the heightened activity also persists.  ... 

Towards a Framework for Behavioral Specifications of OSGi Components

Jan Olaf Blech
2013 Electronic Proceedings in Theoretical Computer Science  
We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms.  ...  Behavioral specifications can be used to find appropriate components to interact with, detect incompatibilities between communication protocols of components and potential problems resulting from the interplay  ...  Conclusion We presented a first version of a framework for behavioral types for OSGi systems.  ... 
doi:10.4204/eptcs.108.6 fatcat:pdmwglrajzaehpvr7rj5eyoqd4

Medial septal GABAergic projection neurons promote object exploration behavior and type 2 theta rhythm

Gireesh Gangadharan, Jonghan Shin, Seong-Wook Kim, Angela Kim, Afshin Paydar, Duk-Soo Kim, Taisuke Miyazaki, Masahiko Watanabe, Yuchio Yanagawa, Jinhyun Kim, Yeon-Soo Kim, Daesoo Kim (+1 others)
2016 Proceedings of the National Academy of Sciences of the United States of America  
Furthermore, optogenetic activation of the septo-hippocampal GABAergic pathway in WT mice also selectively enhanced object exploration behavior and type 2 theta rhythm, whereas inhibition of the same pathway  ...  Diverse exploratory behaviors have been described, although their heterogeneity is not certain because of the lack of solid experimental evidence for their distinction.  ...  Il-hwan Choe, and Jong-Hyun Kim for technical and intellectual support. This work was supported by the grants from Institute for Basic Science (IBS), Korea (IBS-R001-D1-2016-a00).  ... 
doi:10.1073/pnas.1605019113 pmid:27208094 pmcid:PMC4988581 fatcat:pxt6vwv4znhktb6f7qj2z5nyai

Extending UML for modeling of multimedia applications

S. Sauer, G. Engels
1999 Proceedings 1999 IEEE Symposium on Visual Languages  
As a result, we present OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications that is based on the Unified Modeling Language (UML).  ...  The structural and behavioral diagram types of UML have been analyzed and are adapted and extended according to multimedia application characteristics.  ...  UML allows to specify structural aspects in class and object diagrams. Behavior can be described using sequence, collaboration, state, and activity diagrams.  ... 
doi:10.1109/vl.1999.795878 dblp:conf/vl/SauerE99 fatcat:xt2r7c7rkbegnex3tjrhud7dwy

PHILharmonicFlows: towards a framework for object-aware process management

Vera Künzle, Manfred Reichert
2011 Journal of Software Maintenance and Evolution Research and Practice  
In particular, process support has to consider object behavior as well as object interactions, and should therefore be based on two levels of granularity.  ...  This paper presents basic properties of object-aware processes as well as fundamental requirements for their operational support.  ...  Consequently, for each object type its behavior should be definable in terms of states and transitions.  ... 
doi:10.1002/smr.524 fatcat:eiednf3jabc6fnnl5r4b65sdpu

Criminal Law Impact as A Purposeful Special Activity

2021 Revista GEINTEC  
The paper continues to study the phenomenon of criminal law impact as a specific type of human activity carried out by the competent state authorities (special state activities) as a response to criminal  ...  behavior and crime.  ...  Acknowledgments The article was supported by the Russian Foundation for Basic Research (RFBR) in the framework of project No. 20-011-00141 A "Criminal law impact as a state response to crimes and criminality  ... 
doi:10.47059/revistageintec.v11i3.2065 fatcat:oxr6bvwsafh5rb6v5ruryfzc7u

Synthesizing data-centric models from business process models

Rik Eshuis, Pieter Van Gorp
2015 Computing  
To support this vision, we define a semi-automated approach to synthesize an object-centric design from a business process model that specifies the flow of multiple stateful objects between activities.  ...  The object-centric design specifies in an imperative way the life cycles of the objects and the object interactions.  ...  In activity diagrams, parallelism inside an object life cycle for object type O is introduced by an activity node that outputs multiple object nodes belonging to O.  ... 
doi:10.1007/s00607-015-0442-0 fatcat:2rrwsvcl4vcrhghxskbxcqedyq

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems

Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar
2008 Journal of Object Technology  
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development.  ...  It has sub components of type 'port', 'state' and 'service'.  ...  Active objects are quasi-concurrent; an executing method can explicitly yield the control, for example, while waiting for an event.  ... 
doi:10.5381/jot.2008.7.8.a7 fatcat:6yt7mmfwljfenpz5yuhkqfkrnm

UML 2 Activity and Action Models, Part 4: Object Nodes

Conrad Bock
2004 Journal of Object Technology  
This article covers object nodes, which hold data and objects temporarily as they wait to move through an activity.  ...  The first article gives an overview of activities and actions [2], while the second two cover actions generally and control nodes [3] [4] .  ...  If no type is specified, they can hold values of any type. Object nodes can also specify the state that their objects must be in, as provided by a state machine for the type of object being held.  ... 
doi:10.5381/jot.2004.3.1.c3 fatcat:xsobh7nezjgpfcxp4iefsj57je

Executable Protocol Models as a Requirements Engineering Tool

Ashley McNeile, Ella Roubtsova
2008 41st Annual Simulation Symposium (anss-41 2008)  
Using Protocol Modeling, a behavioral entity (business object or process) is modeled in terms of its event protocol: the conditions under which it accepts or refuses events.  ...  Functional prototypes and simulations are a well recognized and valued tool for building a shared understanding of requirements between users and developers.  ...  Activity Diagrams are not, however, capable of representing the behavior of an object model.  ... 
doi:10.1109/anss-41.2008.20 dblp:conf/anss/McNeileR08 fatcat:eq7u4i3mv5fyxbniwhs6pyh7i4

Model-based behavioral attestation

Masoom Alam, Xinwen Zhang, Mohammad Nauman, Tamleek Ali, Jean-Pierre Seifert
2008 Proceedings of the 13th ACM symposium on Access control models and technologies - SACMAT '08  
Existing approaches for the realization of remote attestation measure the trustworthiness of a target platform from its binaries, configurations, properties or security policies.  ...  Thus, the attestation feature is not tied to a specific software or hardware platform, or to a particular remote attestation technique, or to an individual type of security policy.  ...  Active subject/object behaviors capture the behaviors of all subjects and objects and their corresponding rights, which are active for a given system state.  ... 
doi:10.1145/1377836.1377864 dblp:conf/sacmat/AlamZNAS08 fatcat:bfptnanq6vf5dlwtfju3hm6egu
« Previous Showing results 1 — 15 out of 1,481,078 results