
	Where results make sense

Topic: Specification and Description Language

In the News (Wed 23 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Web Service Definition Language (WSDL)
		This is used to attach a specific protocol or data format or structure to an abstract message, operation, or endpoint.
		The specific locations in the document where extensibility elements can appear are described in detail in section A3.
		The SOAP specification states that errors pertaining to headers must be returned in headers, and this mechanism allows specification of the format of such headers.
	www.w3.org /TR/wsdl (7553 words)

	Interface description language - Wikipedia, the free encyclopedia
		An interface description language, (alternatively interface definition language) (IDL), is a computer language or simple syntax for describing the interface of a software component.
		It is essentially a common language for writing the "manual" on how to use a piece of software from another piece of software, in much the same fashion that a user manual describes how to use a piece of software to the user.
		For instance, C and Pascal have different ways of calling routines, and in general cannot call code written in the other language.
	en.wikipedia.org /wiki/Interface_description_language (263 words)

	SDL
		SDL is a Specification and Description Language standardized as ITU (International Telecommunication Union) Recommendation Z.100.
		Although SDL is widely used in the telecommunications field, it is also now being applied to a diverse number of other areas ranging over aircraft, train control, medical and packaging systems.
		SDL is a general purpose description language for communicating systems.
	www.sdl-forum.org /SDL/index.htm (776 words)

	Resource Description Framework (RDF) Schema Specification 1.0
		The schema specification language is a declarative representation language influenced by ideas from knowledge representation (e.g., semantic nets, frames, predicate logic) as well as database schema specification languages (e.g.
		The RDF schema specification language is less expressive, but much simpler to implement, than full predicate calculus languages such as CycL [CycL] and KIF [KIF].
		The schema description language is simply a set of resources and properties defined by the RDF Schema Specification and implicitly part of every RDF model using the RDF schema machinery.
	www.w3.org /TR/2000/CR-rdf-schema-20000327 (6151 words)

	XML Resource Directory Description Language (RDDL)
		Descriptions of the origins and historical context of RDDL may be found at the XML Cover Pages, , and xml.com.
		The language of the text contained by an element is specified by the xml:lang attribute.
		When the related resource is an XML language for which a namespace name has been defined, and for which the namespace name adequately distinguishes the nature of the resource, the namespace name should be used as its nature.
	www.rddl.org (1584 words)

	A Method-Description Language:
		Although their specification language is similar to our ideas, they do not include explicit mapping components, and instead aim at automatically adapting and configuring components to match the needs of a specific task.
		Again, the advantage of a method-description language specification is that the requirements of the subtask, and the semantics of its input-output transformations (in the "Competence" slot) are made explicit and formal.
		For a method-description language to be a successful part of a method library, there needs to be a critical mass of developers and researchers that approve of the language (or are at least willing to follow its conventions).
	ksi.cpsc.ucalgary.ca /KAW/KAW98/gennari (6599 words)

	[No title]
		SDL (Specification and Description Language) was birthed in such a context — the telecommunications industry.
		SDL defines time and timers in an ingenious and conceptual manner, which is especially useful in both real-time and distributed systems.
		SDL Strengths And Weaknesses From the limited literature perused for this survey article, it is quite evident that SDL possesses a plethora of strengths and positive qualities.
	www.andrews.edu /~lajoya/Lab11/SDL.doc (2900 words)

	IEC
		Specification and description language (SDL) is an object-oriented, formal language defined by The International Telecommunications Union—Telecommunications Standardization Sector (ITU—T) (formerly Comité Consultatif International Telegraphique et Telephonique [CCITT]) as recommendation Z.100.
		The language is intended for the specification of complex, event-driven, real-time, and interactive applications involving many concurrent activities that communicate using discrete signals.
		SDL is an object-oriented formal language defined by the ITU—T for specification of complex, real-time applications.
	www.iec.org /online/tutorials/sdl (316 words)

	CV: Specification Language (Site not responding. Last check: 2007-10-29)
		This page provides a description of the language in which you can specify the how VHDL descriptions should behave when they are simulated.
		A specification is composed of a set of assumptions and commitments about a VHDL description.
		After the description of the language, we give a set of examples together with comments to guide the reader in its first steps with the language.
	www-2.cs.cmu.edu /~cmuvhdl/specification-language.html (2118 words)

	Specification And Description Language (Site not responding. Last check: 2007-10-29)
		SDL (Specification and Description Language) is a modern, high-level
		SDL is intended for the description of complex, event-driven, real-time, and communicating systems.
		SDL has a number of advantages compared to other high-level languages and to traditional low-level languages such as C, C++, or Java.
	c2.com /cgi/wiki?SpecificationAndDescriptionLanguage (321 words)

	SDL Web Page index file (starter page) (Site not responding. Last check: 2007-10-29)
		These SDL models were created to test the protocols' behavior during the development cycle (i.e., letter balloting periods).
		The results of the creation and testing of these SDL models were used to improve the draft standard (e.g., clarify text or remove ambiguity,) by submitting comments during the letter balloting periods.
		Since the SDL models were based on one version of the draft standard and were used as input to create the next version of the draft standard, the SDL models were obsolete just as soon as the next version of the draft standard was released.
	www.itl.nist.gov /div892/tg4 (311 words)

	Bitstream Syntax Description Language: Application of XML-Schema to Multimedia Content Adaptation
		Assuming that we can produce the XML description of a scalable bitstream, we apply one or several XSLT style sheet(s) to produce a transformed XML description, from which it is possible to re-generate an adapted and compliant bitstream.
		This is why we chose this language to write the document models or schemas defining the family of XML documents describing a same bitstream format and we call it a Bitstream Schema.
		The Bitstream Syntax Description Language (BSDL) uses a set of XML-Schema components for which a semantics may be assigned in the context of the bitstream generation.
	www2002.org /CDROM/alternate/334 (7189 words)

	[No title]
		SDL Components And Features SDL is a graphical (or textual) formal language designed to specify and describe telecommunication system behavior such as call processing, maintenance, error handling, system control, and data communication protocol design.
		ADTs in SDL are also useful to hide data manipulation (via operators) and algorithmic components of a specification as well as creating external routine interfaces.
		At the ripe old age of 29, SDL has grown from a parochial telecommunications specification and description language to a more-involved polyglot-centered maturer language possessing capabilities applicable to just about every phase of the traditional software development life cycle.
	www.andrews.edu /~vlosak/INFS215/215Assignments/SDLInsert.doc (2649 words)

	A common compiler for LOTOS and SDL specifications - Language of Temporal Ordering Specification; Specification and ...
		Both languages are translated Into a common intermediate representation in the form of e network of state machines with both synchronous and asynchronous communications.
		The approach of SPECS is based on the use of formal languages very early in the development process to overcome the problems stemming from the inherent ambiguity of natural language and to allow the early application of semantic tools on formal specifications for their verification and validation.
		To overcome the inherent inefficiency of a straightforward implemenration of the powerful communication mechanism of LOTOS (multiway synchronization with value negotiation), specific optimization techniques had to be developed, e.g., the merging of closely coupled processes into a single state machine, and the transformation of tail recursion into loops.
	www.findarticles.com /p/articles/mi_m0ISJ/is_n4_v31/ai_13229644 (914 words)

	Ulf's Programming Language List
		SDL can describe complex concurrent behavior by decomposing the system into blocks and processes connected by channels and signal routes, and describes the sequential stimulus-response behavior by means of extended finite state machines.
		ASL (Activity Structures Language), a software process language (modelling formalism), is a proper superset of MSL (Marvel Strategy Language) -- used to express the "local" constraints and policies on individual tools and data -- extended by Roddle's "acticivity structures" for global control flow and synchronization.
		Cyclone is a programming language that is as C-like as possible while preventing unsafe behavior (buffer overflows, dangling pointers, format string attacks, and so on).
	www.cs.mun.ca /~ulf/pld/pls.html (2275 words)

	Cover Pages: Web Services Description Language (WSDL)
		WSDL enables one to separate the description of the abstract functionality offered by a service from concrete details of a service description such as 'how' and 'where' that functionality is offered.
		This specification defines a language for describing the abstract functionality of a service as well as a framework for describing the concrete details of a service description.
		Web services are Internet applications that fulfill a specific task or a set of tasks that work with many other web services in an interoperable manner to carry out their part of a complex workflow or a business transaction.
	xml.coverpages.org /wsdl.html (13967 words)

	sdl - tutorials free design (specification and description language)
		Created by one of UML’s founders and a key UML specification author, Modeler enables users to improve communication by specifying, visualizing and documenting their system and software designs using a standard graphical language.
		Cinderella SDL is a visual modeling tool for developing embedded software systems, communications services, protocols, or any kind of message/signal based system.
		Specification and Description Language standardized by the ITU-T (Z.100) The SITE tools supply an open development environment and analysis components for SDL with various extensions, e.g.
	www.eg3.com /embeddedsoftware/sdl.htm (249 words)

	SDL - FOLDOC Definition (Site not responding. Last check: 2007-10-29)
		Defined by the ITU-T (recommendation Z100) to provide a tool for unambiguous specification and description of the behaviour of telecommunications systems.
		SDL provides a Graphic Representation (SDL/GR) and a textual Phrase Representation (SDL/PR), which are equivalent representations of the same semantics.
		Specification language with both graphical and character-based syntaxes for defining interacting extended finite state machines.
	www.nightflight.com /foldoc-bin/foldoc.cgi?SDL (214 words)

	Japan HQ : Japanese Language Support
		Japanese Language School - Study Abroad in Japan - Japanese...
		Essay on "Manifestations of Gender Distinction in the Japanese Language"
		Specializes in providing Japanese language services in support of patent litigationfor law firms in the Washington, DC area.
	japanhq.com /japaneselanguagesupport/index.php (768 words)

	The Java Language Specification
		He is well known as the co-creator of the Scheme programming language and for his reference books for the C programming language (with Samuel Harbison) and for the Common Lisp programming language.
		Steele received the ACM Grace Murray Hopper Award in 1988 and was named an ACM Fellow in 1994, a member of the National Academy of Engineering in 2001, and a fellow of the American Academy of Arts and Science in 2002.
		It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.
	java.sun.com /docs/books/jls/index.html (750 words)

	Formal Methods Virtual Library (Site not responding. Last check: 2007-10-29)
		UML, Catalysis, Fusion, OMT and Syntropy, strongly influenced by the Z specification language.
		Larch family of languages and tools supporting a two-tiered definitional style of specification.
		CSML and MCB, a language for compositional description of finite state machines and a (non-symbolic) model checker for CTL.
	www.afm.lsbu.ac.uk /fm (1633 words)

	SDL - Service Description Language, Specification and Description Language, System Design Language
		SDL is a acronym that can contains many meanings which are listed below.
		There may be many popular meanings for SDL with the most popular definition being that of Service Description Language, Specification and Description Language, System Design Language
		SDL is also derived from Specification and Description Language
	www.auditmypc.com /acronym/SDL.asp (233 words)

	What is the Common Language Specification?
		To fully interact with other objects regardless of the language they were implemented in, objects must expose to callers only those features that are common to all the languages they must interoperate with.
		The CLS was designed to be large enough to include the language constructs that are commonly needed by developers, yet small enough that most languages are able to support it.
		In addition, any language construct that makes it impossible to rapidly verify the type safety of code was excluded from the CLS so that all CLS-compliant languages can produce verifiable code if they choose to do so.
	msdn2.microsoft.com /en-us/library/12a7a7h3(vs.71).aspx (1724 words)

	A SDL specification of a MSL implementation
		Such a specification provides great insight in how the datas necessary for MSL can be obtained in a present GSM network.
		The Specification and Description Language (SDL) was developed by CCITT (now ITU) to have a common language for precise and unambigous communication about telecommunication systems.
		Although this procedure is not included in the SDL specification, section 6.4.2 shows that the procedure is similar to locating a MS.
	www.willassen.no /msl/node8.html (1240 words)

	CLiXML.org (Site not responding. Last check: 2007-10-29)
		CLiX is the Constraint Language in XML, used to constrain the content of XML documents.
		The CLiX language allows constraints to be described using a mixture of:
		Many types of constraints that relate distant parts of documents, or relate elements based on content cannot be expressed in most schema languages.
	www.clixml.org (113 words)

	Web Services Description Language @ SYS-CON Media (Site not responding. Last check: 2007-10-29)
		It's time to look at the details of the Web Services Description Language (WSDL) specification and, in particular, how abstract information about Web services is represented in XML and which extensibility mechanisms enable the binding of abstract specifications to concrete implementations.
		The specific implementation of an abstract specification is defined via a binding, which specifies in detail how the abstract information is mapped to a specific representation in a given protocol.
		The documentation element provides a simple description of the service and can be used liberally throughout the specification.
	www.sys-con.com /read/40194.htm (1828 words)

	Composing Software from an Architecture Description Language (xADL) (Site not responding. Last check: 2007-10-29)
		In this example the "xADL" Architecture Description Language is used to specify an abstract architecture composed of components and connectors...
		A DTD is a weak specification which doesn't reflect either type or binding information.
		Hence, the focus of this experiment (below), was to map xADL into an XML "binding schema" which strongly specifies the mapping from a specification to a specific binding context.
	aai.bbn.com /xADL_1/xADL_1.html (238 words)

	Unified Modeling Language
		There are two specifications that comprise the UML 2.1.1 specification: Superstructure and Infrastructure.
		There are also two specifications that relate to the UML2 specification (Diagram Interchange and Object Constraint Language).
		OMG is pleased to announce that the UML specification (version 1.4.2, OMG document: formal/05-04-01) is now an accepted ISO specification.
	www.omg.org /technology/documents/formal/uml.htm (119 words)

	languages
		These are the languages I know something about.
		My experience ranges from a couple of days playing with them to more than 15 years of professional use.
		My interest in programming languages originates from an embedded project which also included a FORTH "compiler" implementation - from scratch.
	members.fortunecity.com /ftpsite2/languages.html (93 words)

	Motorola WEAVR
		They define operations that support the synchronous manipulation of objects, the generation and handling of signals, and the logical constructs that support the specification of algorithms.
		They have been used for a long time in the embedded and real-time modeling communities, such as in the Specification and Description Language (SDL) community.
		Action languages are rather used to glue these primitives together into executable views of the system, which can be separately tested and verified.
	www.iit.edu /~concur/weavr/actionsemantics.html (281 words)

Try your search on: Qwika (all wikis)