Filters








318 Hits in 0.91 sec

Process Choreography Modeling [chapter]

Alistair Barros, Thomas Hettel, Christian Flender
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]

Thomas Hettel, Michael Lawley, Kerry Raymond
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
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.
doi:10.1007/978-3-642-02408-5_8 fatcat:lccgzi75wnbhnpjhextde2pssu

Model Synchronisation: Definitions for Round-Trip Engineering [chapter]

Thomas Hettel, Michael Lawley, Kerry Raymond
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
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.
doi:10.1007/978-3-540-69927-9_3 fatcat:dz47yebntzcpbli5h7djzb2tf4

OCL Support in an Industrial Environment [chapter]

Michael Altenhofen, Thomas Hettel, Stefan Kusterer
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
more » ... r registered trademarks of SAP AG in Germany and in several other countries.
doi:10.1007/978-3-540-69489-2_21 dblp:conf/models/AltenhofenHK06 fatcat:nf6uncp4gjbn7gorropmwfvje4

Semantics of Standard Process Models with OR-Joins [chapter]

Marlon Dumas, Alexander Grosskopf, Thomas Hettel, Moe Wynn
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
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.
doi:10.1007/978-3-540-76848-7_5 dblp:conf/otm/DumasGHW07 fatcat:6os32qj6rffyfcyfkjxgkezp74

EIN WICHTIGES REGENSBURGER ZEUGNIS FÜR DIE HILDESAGE IM 12. JAHRHUNDERT

FRIEDRICH WILHELM
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

Min-Huey Wang, Robert Hettel, Xiaobiao Huang, Thomas Rabedeau, James Safranek, Kai Tian, Petit-Jean-Genaz, Christine (Ed.), Arduini, Gianluigi (Ed.), Michel, Peter (Ed.), Schaa, Volker RW (Ed.)
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

Eszter Vonnák, Zoltán Langmár, Miklós Sipos, Attila Pajor
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