Welcome!

Industrial IoT Authors: William Schmarzo, Elizabeth White, Stackify Blog, Yeshim Deniz, SmartBear Blog

RSS Feed Item

"vocabulary constraints" and other constraints (was: Re: RE: D

On 26 Feb 2009, at 11:19 , G. Ken Holman wrote:

...

 > I thought I was explicit when I said "all of the constraints for
 > XSLT as an XML vocabulary".  I wasn't saying "all of the constraints
 > for XSLT as an XSLT stylesheet".  And I added "as an XML vocabulary"
 > expressly to indicate I was not talking about stylesheet
 > constraints, only vocabulary constraints: the presence and absence
 > of elements and attributes.  I even gave an example of the kinds of
 > constraints I was speaking of.

 > Never would I expect any generic schema language to express the
 > constraints on the semantic interpretation of values found within
 > its elements and attributes.  That is the purview of the
 > applications interpreting the semantics of the instances. ...

 > Those are not the purview of generic applications tasked with simple
 > requirements (such as for editing XML documents) where the author is
 > guided in avoiding the improper creation of instances based on
 > explicit rules for the presence and absence of attributes.  Seems to
 > me to be a good role for schema constraints.

Hmm.  An interesting distinction here that you're attempting to
draw between the job of the editor and the job of the application.
I don't buy it, though.

Do you mean that if you had an emacs mode that could detect syntax
errors in your match patterns, or type errors in your XPath
expressions, without slowing you down and without getting in your way,
that you would turn it off, because it's not really within the purview
of an editor to know that much about constraints on specific values?
Do you turn off ID/IDREF checking in your editors, too?

Not me.  Every error the editor detects for me, before I try to
compile and run the stylesheet, is an error caught earlier in the
cycle and (usually) more easily fixed.  I don't believe in the
existence of the distinction you make between a vocabulary "as an XML
vocabulary" and as an application vocabulary (or whatever one might
call the other thing), except as a rough and ready distinction like
the one we conventionally make in programming languages between syntax
and semantics.  As Michael Kay has already pointed out, the key to
that distinction is: if we know how to specify it formally --
especially if we can specify it in a way that doesn't require a Turing
machine -- and check it automatically and conveniently, we tend to
call it (whatever it is) syntax.  If we don't know how, then it's
semantics.

One of the great themes of computer science over the last sixty years
has been the long-running campaign to move more and more things out of
the "must be checked by eyeball" / semantics area, and into the "can
readily be checked by machine" / syntax area.

It was not so long ago, for example, that many experts in markup would
have said that if a vocabulary wanted to impose a rule that either
attribute A or attribute B must be present, but not both, then that
was an application convention or semantic matter, and was not part of
the syntax properly understood, since "the syntax" was what a DTD
checked, and DTDs didn't handle co-constraints.

If you believe that the boundary between what a schema language should
do and what it should not do is always clear, then it's no wonder you
confused people.  Particularly since pretty much every schema language
ever used with XML does more than constraining the presence or absence
of particular elements and attributes, so none of them sticks with
what you now seem to be saying is their only real business.

As I said when I was firing flak at you offline, we can't help having
our tools influence the way we think.  But it's dangerous not to be
aware of it and to confuse a distinction rooted in the contingent
properties of our current or recent toolset with a distinction rooted
in essentials.  Hence my friendly warning shot.


-- 
****************************************************************
* C. M. Sperberg-McQueen, Black Mesa Technologies LLC
* http://www.blackmesatech.com
* http://cmsmcq.com/mib
* http://balisage.net
****************************************************************

-- 
  C. M. Sperberg-McQueen
  http://www.blackmesatech.com
  http://cmsmcq.com/mib



Read the original blog entry...

IoT & Smart Cities Stories
At CloudEXPO Silicon Valley, June 24-26, 2019, Digital Transformation (DX) is a major focus with expanded DevOpsSUMMIT and FinTechEXPO programs within the DXWorldEXPO agenda. Successful transformation requires a laser focus on being data-driven and on using all the tools available that enable transformation if they plan to survive over the long term. A total of 88% of Fortune 500 companies from a generation ago are now out of business. Only 12% still survive. Similar percentages are found throug...
Every organization is facing their own Digital Transformation as they attempt to stay ahead of the competition, or worse, just keep up. Each new opportunity, whether embracing machine learning, IoT, or a cloud migration, seems to bring new development, deployment, and management models. The results are more diverse and federated computing models than any time in our history.
At CloudEXPO Silicon Valley, June 24-26, 2019, Digital Transformation (DX) is a major focus with expanded DevOpsSUMMIT and FinTechEXPO programs within the DXWorldEXPO agenda. Successful transformation requires a laser focus on being data-driven and on using all the tools available that enable transformation if they plan to survive over the long term. A total of 88% of Fortune 500 companies from a generation ago are now out of business. Only 12% still survive. Similar percentages are found throug...
Dion Hinchcliffe is an internationally recognized digital expert, bestselling book author, frequent keynote speaker, analyst, futurist, and transformation expert based in Washington, DC. He is currently Chief Strategy Officer at the industry-leading digital strategy and online community solutions firm, 7Summits.
Digital Transformation is much more than a buzzword. The radical shift to digital mechanisms for almost every process is evident across all industries and verticals. This is often especially true in financial services, where the legacy environment is many times unable to keep up with the rapidly shifting demands of the consumer. The constant pressure to provide complete, omnichannel delivery of customer-facing solutions to meet both regulatory and customer demands is putting enormous pressure on...
IoT is rapidly becoming mainstream as more and more investments are made into the platforms and technology. As this movement continues to expand and gain momentum it creates a massive wall of noise that can be difficult to sift through. Unfortunately, this inevitably makes IoT less approachable for people to get started with and can hamper efforts to integrate this key technology into your own portfolio. There are so many connected products already in place today with many hundreds more on the h...
The standardization of container runtimes and images has sparked the creation of an almost overwhelming number of new open source projects that build on and otherwise work with these specifications. Of course, there's Kubernetes, which orchestrates and manages collections of containers. It was one of the first and best-known examples of projects that make containers truly useful for production use. However, more recently, the container ecosystem has truly exploded. A service mesh like Istio addr...
Digital Transformation: Preparing Cloud & IoT Security for the Age of Artificial Intelligence. As automation and artificial intelligence (AI) power solution development and delivery, many businesses need to build backend cloud capabilities. Well-poised organizations, marketing smart devices with AI and BlockChain capabilities prepare to refine compliance and regulatory capabilities in 2018. Volumes of health, financial, technical and privacy data, along with tightening compliance requirements by...
Charles Araujo is an industry analyst, internationally recognized authority on the Digital Enterprise and author of The Quantum Age of IT: Why Everything You Know About IT is About to Change. As Principal Analyst with Intellyx, he writes, speaks and advises organizations on how to navigate through this time of disruption. He is also the founder of The Institute for Digital Transformation and a sought after keynote speaker. He has been a regular contributor to both InformationWeek and CIO Insight...
Andrew Keys is Co-Founder of ConsenSys Enterprise. He comes to ConsenSys Enterprise with capital markets, technology and entrepreneurial experience. Previously, he worked for UBS investment bank in equities analysis. Later, he was responsible for the creation and distribution of life settlement products to hedge funds and investment banks. After, he co-founded a revenue cycle management company where he learned about Bitcoin and eventually Ethereal. Andrew's role at ConsenSys Enterprise is a mul...