skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.


Abstract not provided.

Publication Date:
Research Org.:
Sandia National Lab. (SNL-CA), Livermore, CA (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
Report Number(s):
DOE Contract Number:
Resource Type:
Resource Relation:
Conference: Proposed for presentation at the Workshop on High-Consequence Control Verification held July 18, 2016 in Toronto, ON, Canada.
Country of Publication:
United States

Citation Formats

Morris, Karla Vanessa, and Snook, Colin. Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.. United States: N. p., 2016. Web.
Morris, Karla Vanessa, & Snook, Colin. Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.. United States.
Morris, Karla Vanessa, and Snook, Colin. Fri . "Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.". United States. doi:.
title = {Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.},
author = {Morris, Karla Vanessa and Snook, Colin},
abstractNote = {Abstract not provided.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Fri Jul 01 00:00:00 EDT 2016},
month = {Fri Jul 01 00:00:00 EDT 2016}

Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share:
  • Abstract not provided.
  • After Neocomian regional denudation, Aptian Telemim (= Blanche) carbonates onlapped the Arabian subplate, followed by Yavne-Tammun regression and Albian transgression. Near the Levant coast, the Albian-early Coniacian Judea carbonate platform interfingers with the Talme Yaffe basin to the west. To the south and east, Judea-type carbonates gradually onlap the mainly continental Kurnub (Nubia type) clastics of the peri-Arabian belt. Detailed analysis of the cyclic sedimentation within the 700-m thick Judea Limestone reveals a regressive trend near the top of the Albian Yagur Formation in Galilee, the Hevyon Formation in the Negev, and the ledge of the Kesalon formation in centralmore » Israel Judean Hills, which represents the end of the Early Cretaceous sedimentary cycle. The early Cenomanian marly chalk of the En Yorqeam Formation starts the Cenomanian cycle, followed by bedded and massive dolomite and ammonoid-bearing limestone. Platform sedimentation before this Kesalon event is dominated by bank facies with some rudistid bioherms of presumable Albian age. After the Kesalon event, Cenomanian and Turonian platforms have fast-changing paleogeography on basinal chalks, shales, bioherms and backreef lagoons. Facies boundaries, running mainly east-west to southwest-northeast up to the Early Cretaceous, became close to north-south in the Late Cretaceous. Albian-Cenomanian regressive-transgressive cycles in Israel match fairly well with global sea level changes, in particular the Kesalon event, which corresponds to the Ka-Kb sea level change of Vail et al. Late Turonian-early Senonian thrusting of the peri-Arabian alpine belt and folding in the Syrian arc heavily affect the unraveling of global sea level changes on the Arabian subplate.« less
  • The hemipelagic and pelagic sediments of the eastern Vocontian basin show a stratigraphic level of laminated horizons rich in organic matter around the Cenomanian-Turonian boundary (Whiteinella archeocretacea zone) referred to as the Thomel level. The lack of any benthic activity in the sediment, preserving both original lamination and marine organic matter, and the selective scarcity of certain species within the planktonic microfaunal assemblages, which consists only of radiolarians and tiny globular morphotypes of foraminifers characteristic of surficial marine waters, together show the Thomel level was deposited under deep-water anoxic conditions. That level reflects a worldwide anoxic event, known in themore » Alpine Tethys and in the north Atlantic, referred to as CTOAE (Cenomanian-Turonian Oceanic Anoxic Event), CTBE (Cenomanian-Turonian Boundary Event), E2 Event, Bahloul Horizon, Livello Bonarelli, or CTBSH (Cenomanian-Turonian Black Shale Horizon). The Thomel level seems to represent the basinal sedimentary record of the lowstand of a major eustatic oscillation, marked by a rapid decrease of input into the basin. The detrital sediments were trapped on the platform, and surficial water planktonic productivity decreased. Poor oceanic circulation and O/sub 2/ turnover by deep oceanic currents are believed to have initiated an extended, stable, and intense deep-sea anoxic water column.« less
  • The crests of beach ridges deposited on Sanibel and La Costa Islands during the 2,000--1,500 BP interval are elevated 90 to 150 cm above the crests of historic beach ridges formed over the past 100 years. These elevated swash zone deposits record a sea-level position of perhaps +1 meter MSL. The stratigraphy of the Solana Site estuarine midden at the head of Charlotte Harbor independently suggests that sea level about 1,600 years BP also has higher than present, at least by as much as 50 cm. Newly documented stratigraphic sequences at the Wightman Site on Sanibel Island and the Pinelandmore » Site on Pine Island for the 2,000--1,500 BP time period are similar to each other in that they exhibit a natural sand event sandwiched between two human occupational episodes. At Wightman, the lower midden dates to 1,510 [plus minus] 70 BP and the upper midden to 1,290 [plus minus] 60 BP. At Pineland, the lower midden dates to 1,760 [plus minus] 60 and the upper midden dates to 1,430 [plus minus] 50 BP. The natural sand layer at Wightman is 55--125 cm MSL and at Pineland it is 40--100 cm MSL. In southwest Florida, independent archeologic and geologic evidence document a 1,500 BP, higher-than-present, sea-level event that reached at least one meter above present-day MSL.« less