A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Filters
Process Choreography Modeling
[chapter]
2010
Handbook on Business Process Management 1
The reader is referred to (Hettel et al. 2008) where a formalization of SOM and model checking is presented. ...
To show how they can be supported and are closely related, the extension of Semantic Object Model (Ferstl and Sinz 2006) for choreographies, as proposed in (Hettel et al. 2008) , is presented. ...
doi:10.1007/978-3-642-00416-2_12
fatcat:avyngnk4tzbwzkjw4gm6filjby
Towards Model Round-Trip Engineering: An Abductive Approach
[chapter]
2009
Lecture Notes in Computer Science
Providing support for reversible transformations as a basis for round-trip engineering is a significant challenge in model transformation research. While there are a number of current approaches, they require the underlying transformation to exhibit an injective behaviour when reversing changes. This however, does not serve all practical transformations well. In this paper, we present a novel approach to round-trip engineering that does not place restrictions on the nature of the underlying
doi:10.1007/978-3-642-02408-5_8
fatcat:lccgzi75wnbhnpjhextde2pssu
more »
... sformation. Based on abductive logic programming, it allows us to compute a set of legitimate source changes that equate to a given change to the target model. Encouraging results are derived from an initial prototype that supports most concepts of the Tefkat transformation language.
Model Synchronisation: Definitions for Round-Trip Engineering
[chapter]
Lecture Notes in Computer Science
In a model-centric software development environment, a multitude of different models are used to describe a software system on different abstraction layers and from different perspectives. Following the MDA vision, model transformation is used to support the gradual refinement from abstract models into more concrete models. However, target models do not stay untouched but may be changed due to maintenance work or evolution of the software. Therefore, in order to preserve a coherent description
doi:10.1007/978-3-540-69927-9_3
fatcat:dz47yebntzcpbli5h7djzb2tf4
more »
... f the whole system, it is necessary to propagate certain changes to a target model back to the source model. However, as transformations in general are partial and not injective, they cannot be easily reversed to propagate changes. This paper presents a formal definition of round-trip engineering and the semantics of target changes in the context of partial and non-injective transformations.
OCL Support in an Industrial Environment
[chapter]
Models in Software Engineering
In this paper, we report on our experiences integrating OCL evaluation support in an industrial-strength (meta-)modeling infrastructure. We focus on the approach taken to improve efficiency through what we call impact analysis of model changes to decrease the number of necessary (re-)evaluations. We show how requirements derived from application scenarios have led to design decisions that depart from or resp. extend solutions found in (academic) literature. SAP and SAP NetWeaver are trademarks
doi:10.1007/978-3-540-69489-2_21
dblp:conf/models/AltenhofenHK06
fatcat:nf6uncp4gjbn7gorropmwfvje4
more »
... r registered trademarks of SAP AG in Germany and in several other countries.
Semantics of Standard Process Models with OR-Joins
[chapter]
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. Like its predecessors, BPMN lacks a formal semantics and many of its features are subject to interpretation. One construct of BPMN that has an ambiguous semantics is the OR-join. Several formal semantics of this construct have been proposed for similar languages such as EPCs and YAWL. However, these existing semantics are computationally expensive. This paper formulates a semantics of the
doi:10.1007/978-3-540-76848-7_5
dblp:conf/otm/DumasGHW07
fatcat:6os32qj6rffyfcyfkjxgkezp74
more »
... oin in BPMN for which enablement of an OR-join in a process model can be evaluated in quadratic time in terms of the total number of elements in the model. This complexity can be reduced down to linear-time after materializing a quadratic-sized data structure at design-time. The paper also shows how to efficiently detect the enablement of an OR-join incrementally as the execution of a process instance unfolds.
EIN WICHTIGES REGENSBURGER ZEUGNIS FÜR DIE HILDESAGE IM 12. JAHRHUNDERT
1908
Beiträge zur Geschichte der Deutschen Sprache und Literatur
Dass die sage von Hettel und Hilde schon in der zweiten hälfte des 11. ...
Hagen, Hettel, Hilde, Wate und Horant werden darin vorgekommen sein. ...
doi:10.1515/bgsl.1908.1908.33.570
fatcat:3k4tulzjajbjlltetmubxrlh5u
Study of Ultra-low Emittance Design for SPEAR3
2014
Since its 2003 construction, the SPEAR3 synchrotron light source at SLAC has continuously improved its performance by raising beam current, top-off injection, small alpha and smaller emittance. This makes SPEAR3 one of the most productive light sources in the world. Now to further enhance the operation of SPEAR3, we are looking into the possibility of converting SPEAR3 to a multi-bend achromat storage ring within its site constraint.
doi:10.18429/jacow-ipac2014-mopro105
fatcat:ybis3uvvsjhv5jlii5x7adtese
Thrombosis of the jugular vein during pregnancy
2011
Orvosi Hetilap
JIV
Nem
Gr.s. 9
Thomas és mtsai (2001)
IVF
Nem
Jobb JIV
PT He., Pr. S def.
ET után 2 héttel
Jesudason és mtsai (2003)
IVF
Igen
Mko. ...
ET után 5 héttel
Ulug és mtsai (2003)
IVF/ICSI
Nem
Mko. ...
doi:10.1556/oh.2011.29219
pmid:21979224
fatcat:2za36lfwafdoxmkkkw5lrqipwa
Page 359 of East Anglian; Or, Notes and Queries on Subjects Connected With the Counties of Suffolk, Cambridge, Essex and Norfolk Vol. 3, Issue
[page]
1889
East Anglian; Or, Notes and Queries on Subjects Connected With the Counties of Suffolk, Cambridge, Essex and Norfolk
Thomas Jesson.
[The parish appears to have sold the entire set of Plate in 1878 in order to buy a new Service! (Vide Norf, Arch. x. 397.) ...
Weny’eve or Wynyeve
W'asenham
West, Comard
West, Lord Delawar
Western
Westhorpe
W ESTLEY
Weston, Portland „ Poslingford
Wbyland Wharton Whelnetham Whetcrofte W hettell Whimper, Bentley
„ Glevering, Alderton ...
Page 89 of Bench & Bar Vol. 10, Issue 1
[page]
1945
Bench & Bar
Hettel, 629
Ave., Newport
Finance Bidg., New-
Thomas
Newport Lexington ...
Helen McCabe Cook, Fort Thomas
*Henry J. Cook, Newport
John Curry, Ft. Thomas
J. P. ...
Page 85 of Bench & Bar Vol. 11, Issue 2
[page]
1947
Bench & Bar
Hettel, 629 Lexington Ave., New- port
Fourth S&t.,
Annual Meeting, April
3 and 4, 1947, Kentucky Hotel, Louisville, Kentucky ...
Carey, 156 Burnet Ridge, Fort Thomas
Helen McCabe Cook, Fort Thomas
Henry J. Cook, Newport
Clay Copeland, 1039 N. Ft. Thomas Ave., Fort Thomas
John Curry, Fort Thomas
J. P. ...
Page 19 of Bench & Bar Vol. 21, Issue 1
[page]
1956
Bench & Bar
Thomas F. N. Dittrich, 112 Mg Ft. Thomas wrence V. W. Fourth St. ...
H Jr., 401 York St., Newport Webster Helm,
oe = H - - — St., Newport Richard lia fe Hettel, 629 Bag: — a ohn Heuver, 089 Lasingtn, ive. St., Newport Russell _ "Howard, 8 Fifth St., Newport
Peter F. ...
Page 89 of Bench & Bar Vol. 12, Issue 2
[page]
1948
Bench & Bar
Hettel, 629 Lexington Ave., New-
port
hn William Heuver, 10 W. Fourth St., New- port
omas D. Hirschfield, Newport
artin J. Hogan, 303 Third Ave., Dayton
ssell L. Howard, 8 E. ...
Thomas F. Schnorr, Newport *L. W. Seott, Newport Wiliam R. Seidenfaden, 6 Riverview Ave., Fort Thomas Leroy J. Sendelback, Fourth & York Sts., Newport Ben S. ...
Page 160 of National Union Catalog Vol. 20, Issue
[page]
1958
National Union Catalog
Hettel, Henry John.
Quantitative separation of small amounts of rare earths from thorium, uranium, and zirconium by ion exchange, by Henry John Hettel ;and, V.A. Fassel. ...
Thomas. Dubuque, Towa, W.C. Brown Co, ;cl1958,
193 p. illus, 29 cm.
1, Cookery—Laboratory manuals. I, Thomas, Isabelle Rose, joint author. MH, Title. IdU
Hettler, Frances Marie. ...
Page 33 of Bench & Bar Vol. 24, Issue 1
[page]
1959
Bench & Bar
Hettel, 629 Lexington Ave., Newport John William Heuver, Carmel Manor, Ft. Thomas Thomas D. Hirschfield, 331 York St., Newport Russell L. Howard, 8 E. Fifth St., Newport Peter F. ...
Thomas
Jno. G. Debbeler, 16 Wesley Hills Drive, Ft. Thomas
F. N. Dittrich, 112 Forest Ave., Ft. Thomas J. J. Donovan, 404 Schmidt Bldg., Cincimati, Ohio
Lawrence V. Drahman, 10 W. ...
« Previous
Showing results 1 — 15 out of 318 results