Filters








562 Hits in 11.0 sec

An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems [chapter]

Bran Selic
<span title="">1993</span> <i title="Elsevier"> Computer Hardware Description Languages and their Applications </i> &nbsp;
The ROOM (Real-Time Object-Oriented Modeling) methodology was developed specifically for dealing with distributed real-time systems based on the object paradigm.  ...  For describing high-level concurrent behavior of systems, ROOM uses a variation of the basic statechart visual formalism. This variation was driven by two sets of requirements.  ...  An Overview of ROOM ROOM is a methodology that was developed primarily for distributed real-time systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-0-444-81641-2.50030-7">doi:10.1016/b978-0-444-81641-2.50030-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iqy7idvirnebxoi6tw2eefa7by">fatcat:iqy7idvirnebxoi6tw2eefa7by</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030412071031/http://www.cis.upenn.edu:80/~lee/99cis642/papers/efficient.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/f2/73f25df20a42405fa74c23d6ae094d26c727b1fc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-0-444-81641-2.50030-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Code Generation from UML Models with Semantic Variation Points [chapter]

Franck Chauvel, Jean-Marc Jézéquel
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics.  ...  In this paper, we propose to reify the various semantic variation points of UML 2.0 statecharts into models of their own to avoid hardcoding the semantic choices in the tools.  ...  in a library business application has some differences with the statecharts of a CD player in a real-time system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11557432_5">doi:10.1007/11557432_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3lsb4bslsbcxdjmbe4lg7tcapi">fatcat:3lsb4bslsbcxdjmbe4lg7tcapi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924072757/https://hal.inria.fr/hal-00795105/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/89/9c89a77e9fbb79de228170cd090a50e36b22f8cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11557432_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Semantics of Higraphs for Process Modeling and Analysis

Elena Kushnareva, Irina Rychkova, Benedicte Le Grand
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/afan4xqyr5hb5mye3ruovjpaku" style="color: black;">2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)</a> </i> &nbsp;
In this work, we formalise the state-oriented models with higraphs: higraphs provide mathematical foundation for statecharts and eventually enable a wide panoply of algorithms for process analysis and  ...  In our previous work, we defined the statecharts semantics for visualisation and simulation of CMP scenarios.  ...  for modeling real-time event-driven systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/edocw.2016.7584385">doi:10.1109/edocw.2016.7584385</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/edoc/KushnarevaRG16.html">dblp:conf/edoc/KushnarevaRG16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/el3vngzborbodexokdkfxzmljm">fatcat:el3vngzborbodexokdkfxzmljm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502205638/https://hal.archives-ouvertes.fr/hal-01366350/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/5c/d85c484e1725c2dc198b5845a6529b2d8f0849af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/edocw.2016.7584385"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Debugging UML Designs with Model Checking

María del Mar Gallardo, Pedro Merino, Ernesto Pimentel
<span title="">2002</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
Model Checking is currently one of the most exciting techniques to improve the quality of complex software systems.  ...  Although this technique is successfully applied to many formal description techniques, it is not commonly used by the object oriented programming community, in general, nor by UML developers, in particular  ...  For example, the statechart of Figure 4 represents a real user (an actor) of the CD system. Verification must start by identifying an initial global state.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2002.1.2.a1">doi:10.5381/jot.2002.1.2.a1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vpeyq7yqdzhkvkai3ej2y2nw7a">fatcat:vpeyq7yqdzhkvkai3ej2y2nw7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721074838/http://www.jot.fm/issues/issue_2002_07/article1/article1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/64/8064fd204352feed4b6f8e844b8935d9a896497c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2002.1.2.a1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

PATTERN MATCHING IN MODELS

Cristian GEORGESCU
<span title="">2005</span> <i title="Dunarea de Jos University of Galati"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wf2hgvt42na6ho4vxbfpuo36lq" style="color: black;">Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics</a> </i> &nbsp;
Componentsoffer the possibility to radically change the behaviors and services offered by an application bysubstitution or addition of new components, even a long time after deployment.  ...  The goal of this paper is to investigate how such a pattern matching could be performed on models,including the definition of the input language as well as the elaboration of efficient matchingalgorithms  ...  , which become even dominating in the field of reactive systems, which are often distributed and real-time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://doaj.org/article/3f68f41908bc4731b0db1ca5f223b04d">doaj:3f68f41908bc4731b0db1ca5f223b04d</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6bdtid4zqve5ribbt3wy32i4hu">fatcat:6bdtid4zqve5ribbt3wy32i4hu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171202060621/http://www.ann.ugal.ro/eco/Doc2005/georgescu.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/14/37/14372e96901d3ad5ee8b9790a4877419dc1f4399.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Integrating runtime validation and hardware-in-the-loop (HiL) testing with V & V in complex hybrid systems

S.D. Dewasurendra, A.C. Vidanapathirana, S.G. Abeyratne
<span title="2019-12-17">2019</span> <i title="Sri Lanka Journals Online (JOL)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oieykljqlvcbblomngskthlgqq" style="color: black;">Journal of the National Science Foundation of Sri Lanka</a> </i> &nbsp;
Specifically, a compositional formal verification methodology developed earlier for discrete event dynamic systems (DEDS) was elevated to hybrid dynamics, successfully overcoming the risk of false transitivity  ...  This study addresses the problem of assuring provably safe and correct behaviour of safety-critical complex hybrid systems (CHS) throughout their life-cycles when physical system dynamics tend to change  ...  Acknowledgement The authors acknowledge the University of Peradeniya for the Research Grant (RG/2006/32/E), the staff of the Department of Electrical and Electronic Engineering, sub-warden of the Ramanathan  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4038/jnsfsr.v47i4.9678">doi:10.4038/jnsfsr.v47i4.9678</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jlqubuqeznauxnp2ifvu6r6oam">fatcat:jlqubuqeznauxnp2ifvu6r6oam</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507153950/https://jnsfsl.sljol.info/articles/10.4038/jnsfsr.v47i4.9678/galley/6764/download/" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4038/jnsfsr.v47i4.9678"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Design validation of embedded dependable systems

A. Bondavalli, A. Fantechi, D. Latella, L. Simoncini
<span title="">2001</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gvjkwgwwvnakpbfssxpqjozbqm" style="color: black;">IEEE Micro</a> </i> &nbsp;
Manufacturers must verify the qualities of both product and process design; the product-in-aprocess approach is an evolutionary one that must account for changes and modifications. • An integrated and  ...  A common characteristic of such embedded systems is their increasing complexity in intrinsic terms-distribution management, redundancy, functionality layering, and so on-and of their in-the-field operation-environmental  ...  The hard real-time-hierarchical object-oriented design (HRT-HOOD) 15 methodology takes a step in this direction by explicitly addressing the design of hard real-time systems in an objectbased framework  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/40.958699">doi:10.1109/40.958699</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wghik64werc27lhq3tyumg2xn4">fatcat:wghik64werc27lhq3tyumg2xn4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060510170434/http://bonda.cnuce.cnr.it/Documentation/Papers/file-BFLS01-IEEEMICRO-136.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/37/6337e23e5229d132a05ae81f0e37e66ce9a58ff8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/40.958699"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Design Pattern for Model Based Software Development for Automatic Machinery

Cesare Fantuzzi, Marcello Bonfè, Cristian Secchi
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
The paper presents the results of the application of object-oriented modeling techniques to the control software design of complex manufacturing systems, with particular focus on automatic machineries  ...  for production and packaging of food stuff, as milk, snacks, etc.  ...  , preserving efficiency under real-time constraints.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20090603-3-ru-2001.0467">doi:10.3182/20090603-3-ru-2001.0467</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h6xh53hqrrfpba4vzhrlrvlxz4">fatcat:h6xh53hqrrfpba4vzhrlrvlxz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810112750/http://www.arscontrol.org/publications/2009-06-INCOM-Moskow.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/f5/2bf5fcb91100f9a9583068731fb280880d11e34c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20090603-3-ru-2001.0467"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Propositional Statecharts for Agent Interaction Protocols

H.R. Dunn-Davies, R.J. Cunningham, S. Paurobally
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Propositional statecharts take advantage of the intuitive nature of the statechart formalism, and include labelling conventions to ensure that interaction protocols are defined unambiguously while remaining  ...  Here we give a brief description of propositional statecharts, a restricted form of David Harel's statechart formalism [13] designed to represent agent interaction protocols.  ...  for designing object-oriented systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.02.020">doi:10.1016/j.entcs.2005.02.020</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lisn5clj3bcufd2k5mikl4gk6m">fatcat:lisn5clj3bcufd2k5mikl4gk6m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925060549/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/234/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNTA1MDQyNQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/19/d819daeae03771db3b07c8e54899e700de727d8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.02.020"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems [chapter]

Simon Van Mierlo, Hans Vangheluwe
<span title="">2020</span> <i title="Springer International Publishing"> Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems </i> &nbsp;
Throughout the sections of this chapter, we introduce the constructs of the Statechart formalism by incrementally building the model of the behaviour of an example system.  ...  Statecharts, introduced by David Harel in 1987, is a formalism used to specify the behaviour of timed, autonomous, and reactive systems using a discrete-event abstraction.  ...  Acknowledgements This work was partly funded by Flanders Make vzw, the strategic research centre for the manufacturing industry.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-43946-0_6">doi:10.1007/978-3-030-43946-0_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2iscarri7jhgng2yfjjc7ina5i">fatcat:2iscarri7jhgng2yfjjc7ina5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200711224037/https://link.springer.com/content/pdf/10.1007%2F978-3-030-43946-0_6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/2c/932c674b7aad69e0b91e60f58780f70892c88577.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-43946-0_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Meta-modelling and graph grammars for multi-paradigm modelling in AToM3

Juan de Lara, Hans Vangheluwe, Manuel Alfonseca
<span title="">2004</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
As an example of multi-paradigm modelling we present a meta-model for the Object-Oriented Continuous Simulation Language OOCSMP, in which we combine ideas from UML class diagrams (to express the OOCSMP  ...  This paper presents the combined use of meta-modelling and graph grammars for the generation of visual modelling tools for simulation formalisms.  ...  Juan de Lara and Manuel Alfonseca gratefully acknowledge partial sponsorship for this work by the Spanish Ministry of Science and Technology (MCYT), project number TIC2002-01948.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-003-0047-5">doi:10.1007/s10270-003-0047-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vpk5s4b7ojcazjiryf45i2hg4i">fatcat:vpk5s4b7ojcazjiryf45i2hg4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070216011700/http://www.cs.mcgill.ca:80/~hv/publications/03.SoSyM.AToM3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/4b/f34b7a9a38679cbea242c1f3b1c5206cfa9ee884.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-003-0047-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Behavioural Views for Software Requirements Engineering

A. Isazadeh, D.A. Lamb, T. Shepard
<span title="">1999</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ksueo6d4evgydaetaqy5yhvtfq" style="color: black;">Requirements Engineering</a> </i> &nbsp;
We show that Viewcharts reasonably capture the informal idea of a view by giving an example: a manufacturing control system.  ...  This paper introduces the idea of a software behavioural view: intuitively, this is a complete description of the behaviour of the system observable from a specific point of view.  ...  Statecharts is designed for real-time event-driven reactive systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/pl00013710">doi:10.1007/pl00013710</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2e745rlu2bfwfpllnl26nc6onu">fatcat:2e745rlu2bfwfpllnl26nc6onu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809130059/http://lnl.ir/wp-content/uploads/2013/11/main2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/54/cc54eb0a81c49aa0c278c7e321a638b9b9cd7c62.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/pl00013710"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Designing state-based systems with entity-life modeling

Bo Sandén, Janusz Zalewski
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with associated activities.  ...  Using a cruise controller for a car as an example, we show that entity-life modeling is a more direct and less ceremonious approach that produces a much simpler architecture.  ...  Anhtuan Dinh gave us the idea for this article. The anonymous reviewers provided many suggestions that made the text clearer.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2005.02.004">doi:10.1016/j.jss.2005.02.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dgdtarhpkjbufoaqrsyhmz65ru">fatcat:dgdtarhpkjbufoaqrsyhmz65ru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808133111/http://itech.fgcu.edu/faculty/zalewski/COP4931/PDF/SandenZalewski.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/74/33/74334ac37b607c11893866f91cf69b98515eb6f0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2005.02.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Framework for Statechart Based Component Reconfiguration

Xabier Elkorobarrutia, Mikel Muxika, Goiuri Sagardui, Frank Barbier, Xabier Aretxandieta
<span title="">2008</span> <i title="IEEE"> Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008) </i> &nbsp;
This reflectiveness adds the ability to modify the component's statechart model at run-time and can be used as a basis for a self healing mechanism.  ...  This framework helps creating statechart based components that reside in the middle ground between a blackbox component and an statechart interpreter.  ...  The StatechartDefinition is an object structure that To illustrate this with a small example let us imagine that we have a distributed system to control the temperature of the rooms of an entire building  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ease.2008.11">doi:10.1109/ease.2008.11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nz7quztpzffptiddmgfsejyede">fatcat:nz7quztpzffptiddmgfsejyede</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150921141517/http://www.csee.wvu.edu:80/~ammar/rts/adv%20rts/statecharts%20patterns%20papers%20and%20%20examples/A%20Framework%20for%20Statechart%20Based%20Component%20Reconfiguration.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/47/fc47fa3517442b492849deb8aef75cc3808fb454.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ease.2008.11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A survey of structured and object-oriented software specification methods and techniques

Roel Wieringa
<span title="1998-12-01">1998</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
The article ends with a plea for simplicity in diagram techniques and for the use of formal semantics to define these techniques.  ...  The appendices show how the reviewed techniques are used in 6 structured and 19 object-oriented specification methods.  ...  ACKNOWLEDGMENTS The survey benefited from detailed comments by Michael Jackson and Frank Dehne. The anonymous referees gave useful comments for further improvement.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/299917.299919">doi:10.1145/299917.299919</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4j6vfv5w6rchbnqpdc6c4vpgvu">fatcat:4j6vfv5w6rchbnqpdc6c4vpgvu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812040454/http://www.inf.ed.ac.uk/teaching/courses/seoc/2006_2007/resources/Arc_Survey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/c4/22c446edef983150604c9b0726166612202ad86e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/299917.299919"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 562 results